https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125501
--- Comment #24 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-16 branch has been updated by Andrew Macleod <[email protected]>: https://gcc.gnu.org/g:399a004250d6ad463d157155f011bfa7a4e879d0 commit r16-9123-g399a004250d6ad463d157155f011bfa7a4e879d0 Author: Andrew MacLeod <[email protected]> Date: Tue Jun 9 09:40:36 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.
