[Bug tree-optimization/105679] [12 Regression] extra -Warray-bounds warning added with -fsanitize=shift due to jump threading

[cvs-commit at gcc dot gnu.org]

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

--- 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:c25dbfc56075ffb8fbe8e1437e15266b9082bbd7

commit r17-3860-gc25dbfc56075ffb8fbe8e1437e15266b9082bbd7
Author: Aldy Hernandez <aldy@quesejoda.com>
Date:   Tue Sep 1 20:44:26 2026 +0000

    Add testcase for backward threading from never-executed entry edges
[PR105679]

    r13-1891-g49ba4fdeb648c1 made the backward threader reject paths
    whose entry edge is probably never executed, but landed without a
    testcase.  Add one retroactively.

    [Also AI generated.]

    Assisted-by: Claude Fable 5 (Anthropic)

    gcc/testsuite/ChangeLog:

            PR tree-optimization/105679
            PR tree-optimization/126906
            * gcc.dg/tree-ssa/pr105679.c: New test.