[PATCH] Fix a VTA ICE caused by reload DEBUG_INSN substitution

[Jakub Jelinek]

On Tue, Sep 22, 2009 at 10:46:37AM +0200, Richard Guenther wrote:
> On Mon, Sep 21, 2009 at 8:14 PM, Jakub Jelinek <jakub@redhat.com> wrote:
> > Fixed thusly, bootstrapped/regtested on x86_64-linux and i686-linux. Â Ok for
> > trunk?
> 
> Ok.  I suppose you have a testcase?

It is reload, so coming with a reliable testcase is hard.
I only have a testcase that triggers on redhat/gcc-4_4-branch, so I'm not
sure it is that useful, as almost any small change in any preceeding pass
can make it disappear or appear again:

/* { dg-do compile } */
/* { dg-options "-O2 -g -funroll-loops -std=gnu99" } */

struct S
{
  unsigned long s1;
  int **s2;
};
struct T
{
  unsigned long t1, t2;
};
struct U
{
  int u1, u2;
  unsigned long u3;
};
struct V
{
  int v1, v3;
  struct T *v2;
  struct U *v4;
};
struct W
{
  int w1;
  struct V **w2;
};
struct S *foo1 (void);
int *foo2 (void);

void
test (struct W *w)
{
  for (int i = 0; i < w->w1; i++)
    {
      struct V *v = w->w2[i];
      struct S *t = foo1 ();
      if (!t)
	for (int j; j < v->v1;)
	  {
	    struct T *q = &v->v2[j];
	    t += (q->t2 - q->t1) * 45000L;
	  }
      for (; v->v3;)
	{
	  struct U *v4 = (struct U *) &v->v4;
	  if (v4->u1 && v4->u2 >= 0 && v4->u2)
	    {
	      int *s = foo2 ();
	      if (!s)
		for (int k = 0; k <= v4->u2; k++)
		  {
		    struct T *q = &v->v2[k];
		    if (k == v4->u2)
		      v4->u3 += (q->t1) * 1000000;
		  }
	      t->s2[t->s1] = s;
	    }
	}
      int *s = foo2 ();
      if (!t)
	t->s2[t->s1] = s;
    }
}


	Jakub