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