1  #include <stdlib.h>
       2  
       3  int
       4  __attribute__((noinline))
       5  foo1 (int a, int b)
       6  {
       7    return a + b;
       8  }
       9  
      10  int
      11  main (void)
      12  {
      13    if (foo1 (1, 2) != 3)
      14      abort ();
      15  
      16    return 0;
      17  }