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