gcc/testsuite/gcc.dg/tree-ssa/pr93781-3.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
  11   if (a < 0)
  12     {
  13       int x = 0x1 << arg;
  14       b = x;
  15     }
  16
  17   if (b >=  5)
  18    kill ();
  19 }
  20
  21 /* { dg-final { scan-tree-dump-not "kill" "evrp" } } */