[Bug tree-optimization/125501] [14/15/16/17 Regression] wrong code at -O3 that crashes at runtime

[cvs-commit at gcc dot gnu.org]

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 <amacleod@gcc.gnu.org>:

https://gcc.gnu.org/g:eeaf2211377a55b1126b04ebf27b46535e79c771

commit r17-1381-geeaf2211377a55b1126b04ebf27b46535e79c771
Author: Andrew MacLeod <amacleod@redhat.com>
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.