/* Generated by CIL v. 1.3.7 */ /* print_CIL_Input is true */ #line 1 "cilcode.tmp/ex26.c" int foo(int predicate ) { int __retres2 ; { #line 2 if (predicate <= 0) { #line 3 __retres2 = 1; goto return_label; } else { #line 5 if (predicate > 5) { #line 6 __retres2 = 2; goto return_label; } #line 7 __retres2 = 3; goto return_label; } return_label: /* CIL Label */ #line 1 return (__retres2); } }