cil/doc/examples/ex16.txt


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

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

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

  {
#line 2
  tmp = x;
#line 2
  x ++;
#line 2
  tmp___0 = f(x);
#line 2
  return (tmp + tmp___0);
}
}