Let tree_single_nonzero_warnv_p use range information

[official-gcc.git] / gcc / testsuite / gcc.dg / pr71636-1.c

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

unsigned f(unsigned x, unsigned b)
{
  return x & ((1U << b) - 1);
}

/* { dg-final { scan-tree-dump-not "1 <<" "gimple" } } */