1 extern void abort(void);
3 void foo(int) __attribute__((noinline));
4 void bar(void) __attribute__((noinline));
6 /* Make sure foo is not inlined or considered pure/const. */
8 void foo(int i) { x = i; }
9 void bar(void) { exit(0); }
12 main(int argc, char *argv[])
15 int numbers[4] = { 0xdead, 0xbeef, 0x1337, 0x4242 };
17 for (i = 1; i <= 12; i++) {
20 else if (i >= 7 && i <= 9)