https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94857
Jakub Jelinek <jakub at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |jakub at gcc dot gnu.org --- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> --- The add-overflow expansion, while it could through TER see the memory load, doesn't see the uses (and there could be multiple of them). The combiner doesn't deal with this because the insn has multiple SETs (flags and a pseudo). I think this is usually handled through peephole2s and in this particular case can be handled that way, though perhaps we could get better results if combine or some other pre-RA pass could deal with the cases of MEM stores from insn with multiple sets.