https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63900
Alexander Monakov <amonakov at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |amonakov at gcc dot gnu.org --- Comment #10 from Alexander Monakov <amonakov at gcc dot gnu.org> --- No, as mentioned in comment 3 there aren't any "full memory clobbers" anywhere, the title of the bug is inaccurate. The original testcase shows that under specific circumstances RTL optimizations fail to clean up redundant loads; your testcase does not reproduce those circumstances. FWIW it's a technically missed-optimization for GIMPLE passes as well, GCC could have cleaned this up without relying on RTL passes: PR 87728.