[Bug tree-optimization/57511] [4.8/4.9 Regression] Missing SCEV final value replacement

[amonakov at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57511

--- Comment #1 from Alexander Monakov <amonakov at gcc dot gnu.org> ---
The loop invokes signed integer overflow, but changing 10000 to 10 still keeps
the missed optimization there.