cil/doc/examples/ex32.txt


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

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

#line 1 "cilcode.tmp/ex32.c"
int x  =    5;
#line 2 "cilcode.tmp/ex32.c"
int f(void) 
{ int x___0 ;

  {
#line 3
  x___0 = 3;
#line 6
  return (x);
}
}