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