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 ***
