[Bug tree-optimization/90122] inequality of addresses of distinct objects not folded

[msebor at gcc dot gnu.org]

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

Martin Sebor <msebor at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |DUPLICATE

--- Comment #2 from Martin Sebor <msebor at gcc dot gnu.org> ---
Thanks for the pointer!  I forgot about that ancient bug.  It looks like an
exact duplicate of pr43565.

A and b's addresses must be different because they are distinct declarations of
different objects.  There's no way (in standard C) to make them refer to the
same object.  That GCC itself relies on different declarations denoting
distinct objects is evident from the second if being eliminated.

*** This bug has been marked as a duplicate of bug 43565 ***