https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64164
--- Comment #12 from Alexandre Oliva <aoliva at gcc dot gnu.org> --- I just noticed that I reversed with and without -DOPT in my analysis in comment 6. Apologies for any confusion this may have caused.