1  extern void abort (void);
       2  
       3  void __attribute__((noinline,noclone))
       4       test1(int i)
       5  {
       6    if (i == 12)
       7      return;
       8    if (i != 17)
       9      {
      10        if (i == 15)
      11  	return;
      12        abort ();
      13      }
      14  }
      15  
      16  int main() { test1 (15); return 0; }