On Thu, Feb 07, 2013 at 09:01:15PM -0500, David Miller wrote:
> From: Jakub Jelinek <ja...@redhat.com>
> Date: Fri, 8 Feb 2013 01:27:02 +0100
>
> > +void
> > +fn (void)
> > +{
> > + if (b)
> > + {
> > + int *p, *q;
> > + char g;
> > +
> > + if (f++)
> > + for (;; e++);
> > + lbl:
> > + for (b = 0; b < 2; b++)
> > + t /= d + 1 ? : i || a < c < (d = f) ? : 1 | (j = 2);
> > +
> > + *p = g >= *q ^ c != a ^ *p;
>
> I know this is "just a testcase" but it looks like both 'p' and 'q'
> can be uninitialized at this point.
Yeah, that is why it is just an dg-do assemble testcase, not dg-do run.
The uninitialized vars are necessary to reproduce the problem, at least
I haven't managed to adjust the testcase to reproduce without those.
Jakub
