https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115161
Roger Sayle <roger at nextmovesoftware dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Ever confirmed|0 |1
Status|UNCONFIRMED |NEW
Last reconfirmed| |2024-05-20
--- Comment #2 from Roger Sayle <roger at nextmovesoftware dot com> ---
I can confirm that I can reproduce this and see the same thing.
Adding
vi tmp1 = Set_i32(INT32_MAX);
d_i("tmp1",tmp1.raw);
at multiple places in bug.cc, reveals that sometimes the result is the correct
[0x7ffffff x 4], and at other places is the incorrect [0x80000000 x 4], even
though this affected snippet doesn't involve binary operation simplification.
