/* PR tree-optimization/61839.  */
/* { dg-do run } */
/* { dg-options "-O2 -fdump-tree-vrp1 -fdisable-tree-evrp -fdump-tree-optimized" } */
/* { dg-require-effective-target int32plus } */

__attribute__ ((noinline))
int foo (int a, unsigned b)
{
  unsigned c = 1;
  if (b >= 1 && b <= ((unsigned)(-1) - 1))
    return 0;
  c = b >> 4;
  if (c == 268435455)
    ;
  else
    __builtin_abort ();
  return 0;
}

int main ()
{
  volatile unsigned b = (unsigned)(-1);
  foo (-1, b);
}

/* Scan for ~[1, 4294967294] >> 4 in function foo.  */
/* { dg-final { scan-tree-dump-times "0 : 268435455" 1  "vrp1" } } */
/* { dg-final { scan-tree-dump-times "268435455" 0  "optimized" } } */