[Bug tree-optimization/126936] [17 Regression] ICE at -O3 on x86_64-linux-gnu during SLP pass: verify_ssa failed due to definition following use

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126936

--- Comment #2 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Richard Biener <[email protected]>:

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

commit r17-3410-gf678eab4f721ee3da1730e6c637b90a40aeb9d4d
Author: Richard Biener <[email protected]>
Date:   Wed Aug 19 11:38:57 2026 +0200

    tree-optimization/126936 - schedule verification for live lanes

    The testcase shows both live lane extraction and (reduction) root
    schedule verification errorneously allow the use/root stmt to be
    the same as the placement point.  But as we insert vector defs
    after the placement point we have to exclude it.

            PR tree-optimization/126936
            * tree-vect-slp.cc (vect_bb_slp_mark_live_stmts): Exclude
            use_stmt from dominance check.
            (vect_schedule_slp): Likewise for root.

            * gcc.dg/vect/bb-slp-pr126936.c: New testcase.