[Bug middle-end/115551] [missed optimization] "c1 << (a + c2)" not optimized into "(c1 << c2) << a"

[burnus at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115551

--- Comment #6 from Tobias Burnus <burnus at gcc dot gnu.org> ---
Crossref: New Bug 115555 is for the range analysis to deduce from 'x << a' that
'a' must be nonnegative.