/* Generated by CIL v. 1.7.3 */ /* print_CIL_Input is true */ #line 1 "cilcode.tmp/ex44.c" __inline int foo(void) ; #line 2 "cilcode.tmp/ex44.c" int firstuse(void) { int tmp ; { #line 2 tmp = foo(); #line 2 return (tmp); } } #line 5 "cilcode.tmp/ex44.c" __inline int foo(void) { { #line 5 return (2); } } #line 7 "cilcode.tmp/ex44.c" int main(void) { int tmp ; int tmp___0 ; { #line 8 tmp = foo(); #line 8 tmp___0 = firstuse(); #line 8 return (tmp + tmp___0); } }