[Bug tree-optimization/115381] Missed deoptimization opportunity when comparing two different linker symbols

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2024-06-07
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1
                 CC|                            |hubicka at gcc dot gnu.org

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
Doesn't seem to help here.  Related testcase:

extern int x;
extern int y;

int z(){ return &x == &y; }

possibly -fno-semantic-interposition doesn't cover the definitions being
aliases of each other.  Defining TU:

int x(){}
int __attribute__((alias("x"))) y();

I believe this is wrong-code from clang.