https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94356
--- Comment #6 from Marc Glisse <glisse at gcc dot gnu.org> --- (In reply to Andrew Pinski from comment #5) > Hmm, the following is worse: That looks like a separate issue. We have fold_comparison for GENERIC, and match.pd has related patterns for integers, or for pointers with ==, but not for pointers with <. Strange, I thought I had added those, possibly together with pointer_diff since the behavior is similar.