https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125501
--- Comment #21 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Andrew Macleod <[email protected]>: https://gcc.gnu.org/g:eeaf2211377a55b1126b04ebf27b46535e79c771 commit r17-1381-geeaf2211377a55b1126b04ebf27b46535e79c771 Author: Andrew MacLeod <[email protected]> Date: Wed Jun 3 17:46:03 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.
