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.
