[Bug analyzer/126833] false -Wanalyzer-undefined-behavior-ptrdiff on linker-defined symbol pairs

[pinskia at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #2 from Drea Pinski <pinskia at gcc dot gnu.org> ---
>The subtraction is well-defined in practice

NO It is not. See PR 77964 for why it shows up as being invalid thing to do.