https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111591
--- Comment #31 from Kewen Lin <linkw at gcc dot gnu.org> --- Thanks for the explanation from both of you! (In reply to Richard Biener from comment #30) > Created attachment 56175 [details] > prototype patch I confirmed that this fix can make test case (#c9 + #c10) and its reduced case pass, but the original test case (#c1) can't pass with this, it can't pass with -fstack-reuse=none + -fno-strict-aliasing + -O2 either, I think the original case still suffers another latent bug.