[Bug tree-optimization/54458] [4.8 Regression] ICE get_loop_body, at cfgloop.c:830

[jakub at gcc dot gnu.org]

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

--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-09-03 09:06:29 UTC ---
Cleaned up testcase (and no longer invalid):
unsigned int a, b, c;

void
foo (unsigned int x)
{
  do
    {
      if (a == 0 ? 1 : 1 % a)
        for (; b; b--)
          lab:;
      else
        while (x)
          ;
      if (c)
        goto lab;
    }
  while (1);
}