gcc/testsuite/gcc.dg/tree-ssa/vrp43.c

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