/* { dg-do compile } */
/* { dg-options "-O2 -fdump-tree-evrp" } */

void kill (void);

void foo (unsigned int arg)
{
  unsigned int C000003FE = 4;

  if (arg + 1 < 4)  // work for if (arg < 3)
     C000003FE = 0x1 << arg;

  if (C000003FE >= 5)
    kill ();
}

/* { dg-final { scan-tree-dump-not "kill" "evrp" } } */