[Bug c++/97627] [9/10/11 Regression] loop end condition missing - endless loop with -fPIC

[jakub at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97627

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Further adjustment so that it just aborts when miscompiled.  The throw is there
only to avoid using __builtin_exit.

struct S { unsigned short x, y; } m = { 1, 0 };

__attribute__((noipa)) void
baz (int x, int y)
{
  if (x != 0 || y != 1)
    __builtin_abort ();
}

__attribute__((noipa)) void
bar ()
{
  throw 1;
}

void
foo ()
{
  while (1)
    {
      int a = m.x + 1;
      int b = m.y + 1;
      for (int c = 0; c < a; c++)
        for (int d = 0; d < b; d++)
          baz (d, b);
      bar ();
    }
}

int
main ()
{
  try
    {
      foo ();
    }
  catch (int)
    {
    }
  return 0;
}