[Bug analyzer/124375] [14/15/16 Regression] computed gotos and taking address of labels vs -fanalyzer

[cvs-commit at gcc dot gnu.org]

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

--- Comment #4 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by David Malcolm <dmalcolm@gcc.gnu.org>:

https://gcc.gnu.org/g:92d50d749171932420e1de5bc01ea8f92bcad08d

commit r16-8019-g92d50d749171932420e1de5bc01ea8f92bcad08d
Author: David Malcolm <dmalcolm@redhat.com>
Date:   Wed Mar 11 20:45:29 2026 -0400

    analyzer: fix ICE on computed goto [PR124375]

    gcc/analyzer/ChangeLog:
            PR analyzer/124375
            * ops.cc (ggoto_edge_op::apply_constraints): Ensure that we write
            back a rejected_constraint if the edge is infeasible.
            * region-model.cc (region_model::add_constraint): Convert
            rejected_op_constraint from tree to const svalue *.
            (rejected_op_constraint::dump_to_pp): Likewise.
            * region-model.h (class rejected_op_constraint): Likewise.

    gcc/testsuite/ChangeLog:
            PR analyzer/124375
            * gcc.dg/analyzer/ice-pr124375-1.c: New test.
            * gcc.dg/analyzer/ice-pr124375-2.c: New test.

    Signed-off-by: David Malcolm <dmalcolm@redhat.com>