[Bug middle-end/60597] [4.9 Regression] ICE in df_refs_verify, at df-scan.c:4323

[jakub at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60597

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Ah, but that one has undefined behavior in it (uninitialized i and j).
This one doesn't - -g -O2 -m32 again:

struct A
{
  int foo () const;
  int bar () const;
  int a;
};

struct B
{
  int foo ();
  int bar ();
};

int *c, d;

int
A::foo () const
{
  int b = a >> 16;
  return b;
}

int
A::bar () const
{
  int b = a;
  return b;
}

void
baz (A &x, B h, int i, int j)
{
  for (; i < h.bar (); ++i)
    for (; h.foo (); ++j)
      {
        int g = x.foo ();
        int f = x.bar ();
        int e = c[0] & 1;
        d = (e << 1) | (g << 16) | (f & 1);
        c[j] = 0;
      }
}