blob: 8f5b1718890d5ba081cbb567ca38d2a8d554575f (
plain)
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);
}
}
|