/* PR tree-optimization/81003 */

unsigned int a, b;

void
foo (void)
{
  for (b = 0; b < 13; b += 2)
    a &= !!b;
}