https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93052
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Blocks| |93051 --- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> --- I think for the integer issue there's an exact dup. Time to add a meta-bug linking all of them? All of the issues really point to the same very fundamental issue - provenance does not affect the actual value and since optimizing compilers track value equivalence provenance gets messed up. provenance is a dead end. Referenced Bugs: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93051 [Bug 93051] Wrong optimizations for pointers: `if (p == q) use p` -> `if (p == q) use q`