https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125501
--- Comment #23 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-15 branch has been updated by Andrew Macleod <[email protected]>: https://gcc.gnu.org/g:9d2e42c7e15702cf074dbd4dda923377fd4c2e2b commit r15-11284-g9d2e42c7e15702cf074dbd4dda923377fd4c2e2b Author: Andrew MacLeod <[email protected]> Date: Wed Jun 10 12:32:53 2026 -0400 DOM should not process unreachable if there is an SSA relation. DOM should follow VRP's lead and not attempt o assign global values to SSA names when the branch leading to a __builtin_unreachable () has 2 ssa-names. Relations elsewhere may lead to this being invalid. PR tree-optimization/125501 gcc/ * tree-ssa-dom.cc (set_global_ranges_from_unreachable_edges): Abort if there are 2 SSA_NAMES on the branch condition. gcc/testsuite/ * gcc.dg/pr125501.c: New.
