gcc/testsuite/gcc.dg/tree-ssa/pr93781-1.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-evrp" } */
   3
   4 void kill (void);
   5
   6 void foo (unsigned int arg)
   7 {
   8   int a = arg - 3;
   9   unsigned int b = 4;
  10   int x = 0x1 << arg;
  11
  12   if (a < 0)
  13     b = x;
  14
  15   if (b >=  5)
  16     kill ();;
  17 }
  18
  19 /* { dg-final { scan-tree-dump-not "kill" "evrp" } }  */
  20