1  int __attribute__ ((noinline, noclone))
       2  foo (float a)
       3  {
       4    return a * 4.9f;
       5  }
       6  
       7  
       8  int
       9  main (void)
      10  {
      11    if (foo (10.0f) != 49)
      12      __builtin_abort ();
      13  
      14    return 0;
      15  }