[Bug tree-optimization/126876] [17 regression] ice in ssa_range_in_phi since r17-3298

[cvs-commit at gcc dot gnu.org]

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

--- Comment #15 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Aldy Hernandez <aldyh@gcc.gnu.org>:

https://gcc.gnu.org/g:0ebadbad7c92133c467f7aed6f3c16a9e3b55774

commit r17-3357-g0ebadbad7c92133c467f7aed6f3c16a9e3b55774
Author: Aldy Hernandez <aldy@quesejoda.com>
Date:   Mon Aug 17 14:53:24 2026 +0000

    path solver: only compute ranges at the current path position [PR126876]

    Since r17-3298 the path ranger can become the current query while
    fold_using_range folds a statement, so match.pd simplifications can
    query with a context statement that can be from an arbitrary block on
    the path.  The solver's positional machinery is only meaningful at the
    block the walk is currently at.

    Only compute ranges at the current path position otherwise fall back
    to the global range.  Assert the positional invariant in
    range_defined_in_block, which I verified holds by testing the assert
    on a tree before r17-3298.

    Tested on ppc64le Linux.

            PR tree-optimization/126876

    gcc/ChangeLog:

            * gimple-range-path.cc
            (path_range_query::internal_range_of_expr): Only call
            range_defined_in_block at the current path position.
            (path_range_query::range_defined_in_block): Assert the current
            path position.