1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fdump-tree-forwprop-details" } */
       3  
       4  unsigned f(unsigned x, unsigned b)
       5  {
       6    unsigned t1 = 1U << b;
       7    unsigned t2 = t1 - 1;
       8    unsigned t3 = x & t2;
       9    return t3;
      10  }
      11  
      12  /* { dg-final { scan-tree-dump "_\[0-9\] = ~_\[0-9\]" "forwprop1" } } */