cert_exp10.res.oracle

[kernel] Parsing cert_exp10.c (with preprocessing)
[kernel:CERT:EXP:10] cert_exp10.c:11: Warning: 
  Potential unsequenced side-effects
[kernel:CERT:EXP:10] cert_exp10.c:13: Warning: 
  Potential unsequenced side-effects
/* Generated by Frama-C */
extern int f(int);

int main(void)
{
  int __retres;
  int tmp_0;
  int tmp_1;
  int i = 3;
  int z = 3;
  int m1 = f(1);
  tmp_0 = f(2);
  tmp_1 = f(3);
  int m2 = tmp_0 + tmp_1;
  if (i > 0) {
    i ++;
    z = i;
  }
  else z = i;
  __retres = 0;
  return __retres;
}