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)