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 <[email protected]>: https://gcc.gnu.org/g:92d50d749171932420e1de5bc01ea8f92bcad08d commit r16-8019-g92d50d749171932420e1de5bc01ea8f92bcad08d Author: David Malcolm <[email protected]> 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 <[email protected]>
