/* PR tree-optimization/80443 */

struct S { int a : 1; } b, c;
signed char d, e, f;

void
foo ()
{ 
  while (f)
    { 
      signed char g = b.a;
      if (g)
	b.a = ~(1 + (d || c.a));
      if (b.a < g && b.a)
	g = 0;
      if (b.a > c.a)
	b.a = g;
      c.a = e;
    }
}