Subversion Repositories openrisc

// This testcase used to hang the compiler in vt_find_locations.
// { dg-do compile }
// { dg-options "-O2 -g" }

struct S
{
  int a;
  S *b, *c, *d;
};

struct T
{
  void f1 (S *x);
  void f2 (S *x);
  void f3 (S *x, S *y);
  S *e;
};

void
T::f3 (S *x, S *y)
{
  while (x != this->e && (!x || x->a == 1))
    {
      if (x == y->c)
        {
          S *w = y->d;
          if (w && w->a == 0)
            {
              w->a = 1;
              y->a = 0;
              f2 (y);
              w = y->d;
            }
          if (w && (!w->c || w->c->a == 1) && (!w->d || w->d->a == 1))
            {
              w->a = 0;
              x = y;
              y = x->b;
            }
          else
            {
              if (w && (!w->d || w->d->a == 1))
                {
                  if (w->c)
                    w->c->a = 1;
                  w->a = 0;
                  f1 (w);
                  w = y->d;
                }
              if (w)
                {
                  w->a = y->a;
                  if (w->d)
                    w->d->a = 1;
                }
              y->a = 1;
              f2 (y);
              x = e;
            }
        }
      else
        {
          S *w = y->c;
          if (w && w->a == 0)
            {
              w->a = 1;
              y->a = 0;
              f1 (y);
              w = y->c;
            }
          if (w && (!w->c || w->c->a == 1) && (!w->d || w->d->a == 1))
            {
              w->a = 0;
              x = y;
              y = x->b;
            }
          else
            {
              if (w && (!w->c || w->c->a == 1))
                {
                  w->a = 0;
                  if (w->d)
                    w->d->a = 1;
                  f2 (w);
                  w = y->c;
                }
              if (w)
                {
                  w->a = y->a;
                  if (w->c)
                    w->c->a = 1;
                }
              y->a = 1;
              f1 (y);
              x = e;
            }
        }
    }
}