[Bug ipa/122610] [13/14/15/16 regression] Load after store incorrectly deleted with -O2 -fno-strict-aliasing

[redi at gcc dot gnu.org]

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

--- Comment #9 from Jonathan Wakely <redi at gcc dot gnu.org> ---
(In reply to liu zhenyu from comment #8)
> I have synthesized a minimal, dependency-free C reproducer for this
> regression.

Your code has undefined behaviour:

a.c:43:31: runtime error: signed integer overflow: 3 * 827312095 cannot be
represented in type 'int'