1 extern void abort(void);
2 extern void exit(int);
3 void foo(int) __attribute__((noinline));
4 void bar(void) __attribute__((noinline));
5 
6 /* Make sure foo is not inlined or considered pure/const.  */
7 int x;
foo(int i)8 void foo(int i) { x = i; }
bar(void)9 void bar(void) { exit(0); }
10 
11 int
main(int argc,char * argv[])12 main(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