cil/doc/examples/ex40.txt


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

/* Generated by CIL v. 1.3.5 */
/* print_CIL_Input is true */

#line 1 "cilcode.tmp/ex40.c"
extern int f() ;
#line 1 "cilcode.tmp/ex40.c"
int main(void) 
{ int tmp___0 ;

  {
#line 2
  tmp___0 = f();
  if (! tmp___0) {
#line 2
    tmp___0 = -1;
  }
#line 2
  return (tmp___0);
}
}