https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106884
--- Comment #6 from Krister Walfridsson <kristerw at gcc dot gnu.org> ---
One more similar case (that may be the same as comment #3):
int g;
void foo(int a, int b, int c, int d, int e)
{
if ((10 + a) * b)
{
g = (c || (g >> d)) << 1;
}
}
In this case, reassoc1 optimizes the IR for
c || (g >> d)
to do
(c | (g >> d)) != 0
and we are now always doing the shift, even when c is true.
