[Bug tree-optimization/58326] [4.9 Regression] ICE in check_loop_closed_ssa_use, at tree-ssa-loop-manip.c:551

[su at cs dot ucdavis.edu]

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

--- Comment #2 from Zhendong Su <su at cs dot ucdavis.edu> ---
For additional info, please find below a variant that fails only at -O3: 

---------------------------------

int a, b, c, d;

void foo ()
{
  int e;

 lbl:
  for (c = 0; c < 2; c++)
    {
      e = d;
      for (; a; a++)
        {
      d = e;
      if (b)
        goto lbl; 
        }
    }
}