1  static int __attribute__((noinline)) ATTRIBUTE
       2  bar (int x)
       3  {
       4    return x + 3;
       5  }
       6  
       7  int __attribute__((noinline)) ATTRIBUTE
       8  foo (int y)
       9  {
      10    return y + bar (y);
      11  }
      12  
      13  int ATTRIBUTE
      14  main (void)
      15  {
      16    return !(foo (5) == 13);
      17  }