[Bug tree-optimization/78035] Inconsistency between address comparison and alias analysis

[amonakov at gcc dot gnu.org]

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

Alexander Monakov <amonakov at gcc dot gnu.org> changed:

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

--- Comment #5 from Alexander Monakov <amonakov at gcc dot gnu.org> ---
Note that for external function symbols from the standard library there's an
old DR that clarifies that their addresses may compare equal, since the library
may be implemented in a language other than C. See point c) in
http://www.open-std.org/jtc1/sc22/wg14/www/docs/dr_078.html

But that is only for function declarations, I don't know if for object
declarations it's the same or different. Credit goes to Szabolcs Nagy for
pointing me to this DR.