cil/doc/examples/ex26.txt


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

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

#line 1 "cilcode.tmp/ex26.c"
int foo(int predicate ) 
{ int __retres ;

  {
#line 2
  if (predicate <= 0) {
#line 3
    __retres = 1;
    goto return_label;
  } else {
#line 5
    if (predicate > 5) {
#line 6
      __retres = 2;
      goto return_label;
    }
#line 7
    __retres = 3;
    goto return_label;
  }
  return_label: /* CIL Label */ 
#line 1
  return (__retres);
}
}