1extern void abort(void); 2extern void exit(int); 3void foo(int) __attribute__((noinline)); 4void bar(void) __attribute__((noinline)); 5 6/* Make sure foo is not inlined or considered pure/const. */ 7int x; 8void foo(int i) { x = i; } 9void bar(void) { exit(0); } 10 11int 12main(int argc, char *argv[]) 13{ 14 int i; 15 int numbers[4] = { 0xdead, 0xbeef, 0x1337, 0x4242 }; 16 17 for (i = 1; i <= 12; i++) { 18 if (i <= 4) 19 foo(numbers[i-1]); 20 else if (i >= 7 && i <= 9) 21 bar(); 22 } 23 24 abort(); 25} 26 27