https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89074
--- Comment #9 from Patrick Palka <ppalka at gcc dot gnu.org> --- (In reply to Jakub Jelinek from comment #8) > At least when not constant evaluating that, a + 2 can be equal to b + 0 or > can be different, shouldn't we reject at least that? I think so, according to https://eel.is/c++draft/expr.eq#3.1 and http://eel.is/c++draft/expr.const#5.25