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;
       8  void foo(int i) { x = i; }
       9  void bar(void) { exit(0); }
      10  
      11  int
      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