[Bug tree-optimization/91227] pointer relational expression not folded but equivalent inequality is

[fw at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91227

Florian Weimer <fw at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |fw at gcc dot gnu.org

--- Comment #11 from Florian Weimer <fw at gcc dot gnu.org> ---
(In reply to Richard Biener from comment #3)
> Hmm, non-equality compares of different objects produce unspecified results,
> no?

GCC on ELF provides defined address ordering for separate objects via linker
ordering and section attributes.  I think part of these extensions is that it
is possible to check at run time whether an object falls into a specific
section, and where.  Support for this must be preserved in some fashion.