------- Comment #14 from pinskia at gcc dot gnu dot org 2007-03-30 22:04
-------
(In reply to comment #13)
> If aoliva is correct in comment# 11, then some information is being lost
> that could be retained with some additional effort. That would make this
> bug other than invalid - at best a wontfix.
Lets look at this again. A simplified testcase without inlining:
int main ()
{
int x1 = 3;
{
int x = x1;
int i = 0;
for (i = 0; i < x; ++i)
x += i;
return x;
}
}
This is basically the same as case 1 (though a constant instead of a call to
rand()), now do we want not to prop x1 into x? I say we always do want that
because otherwise we get an extra assignment. Plus this issue is not a
regression at all because the RTL level does the same.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23551
