/* PR tree-optimization/61839.  */
/* { dg-do run } */
/* { dg-options "-O2 -fdump-tree-vrp-thread1 -fdump-tree-optimized -fdisable-tree-ethread -fdisable-tree-thread1" } */

__attribute__ ((noinline))
int foo (int a, unsigned b)
{
  int c = 1;
  b =  a ? 12 : 13;
  c = b << 8;
  if (c == 3072)
    ;
  else
    __builtin_abort ();
  return 0;
}

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

/* Scan for c [12, 13] << 8 in function foo.  */
/* { dg-final { scan-tree-dump-times "3072 : 3328" 1  "vrp-thread1" } } */
/* { dg-final { scan-tree-dump-times "3072" 0  "optimized" } } */