summaryrefslogtreecommitdiff
path: root/cil/doc/examples/ex14.txt
blob: 72fc719ef1a9ded3b825df9b1d49ded3806ef45c (plain)
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/ex14.c"
int x  =    5;
#line 5
int main(void) ;
#line 5 "cilcode.tmp/ex14.c"
static int x___1  =    7;
#line 2 "cilcode.tmp/ex14.c"
int main(void) 
{ int x___0 ;

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