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

[user202729 at protonmail dot com via Gcc-bugs]

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

            Bug ID: 115381
           Summary: Missed deoptimization opportunity when comparing two
                    different linker symbols
           Product: gcc
           Version: 15.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: user202729 at protonmail dot com
  Target Milestone: ---

Code:

```
int x();
int y();

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

Clang optimizes this to 0. GCC doesn't.

Godbolt link: https://godbolt.org/z/8rGbbdrbe