https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88714
--- Comment #34 from Matthew Malcomson <matmal01 at gcc dot gnu.org> --- Yes, I needed to redo that check for an offset of 4 -- I compared the expression of the first MEM with the result of `plus_constant` with 4 on the expression of the second MEM in the condition.