------- Additional Comments From rakdver at atrey dot karlin dot mff dot cuni
dot cz 2005-07-12 14:58 -------
Subject: Re: New: scev cprop causes wrong code
> // fork from bug 22230
> // fails with -O1
> // doesn't fail with -O1 -fno-tree-ccp -fno-tree-dominator-opts
> // introduced between 2005-05-17 2005-05-18
>
> void abort (void);
>
> int main (void)
> {
> int a, i;
>
> for (i = 0; i < 5; i++)
> a = i * i;
> if (a != 16)
> abort ();
> return 0;
> }
this seems to be a bug in scev. It claims that evolution of a is
{{0, +, 1}_1, +, 2}_1. However, the evolution should be
{0, +, {1, +, 2}_1}_1, as far as I can tell.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22442
