1 /* { dg-do run } */
2 /* { dg-options "-O2" } */
3 
4 int __attribute__((noinline))
foo(char c)5 foo(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()15 int main()
16 {
17   if (foo(1) == 1)
18     abort ();
19   return 0;
20 }
21 
22