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

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