1 /* { dg-do run } */ 2 /* { dg-options "-O2" } */ 3 4 int __attribute__((noinline)) foo(int i)5foo(int i) 6 { 7 if (i != 0) 8 { 9 char c = (char)i; 10 return c != 0; 11 } 12 return 0; 13 } 14 15 extern void abort (void); 16 main()17int main() 18 { 19 if (foo(0xff00)) 20 abort (); 21 return 0; 22 } 23