[Bug analyzer/124139] [16 Regression] ICE: in call_info, at analyzer/call-info.cc:149 with -fanalyzer --param=analyzer-max-svalue-depth=0 and C++ throw

[cvs-commit at gcc dot gnu.org]

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

--- Comment #3 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:5869ac36fadbfac9a08e4bd15bff9503ebb00304

commit r16-7559-g5869ac36fadbfac9a08e4bd15bff9503ebb00304
Author: David Malcolm <dmalcolm@redhat.com>
Date:   Tue Feb 17 18:04:16 2026 -0500

    analyzer: fix ICE when throw-handling hits svalue complexity limit
[PR124139]

    gcc/analyzer/ChangeLog:
            PR analyzer/124139
            * engine.cc (exploded_node::on_throw): Bail out if we can't get
            the fndecl for the call.

    gcc/testsuite/ChangeLog:
            PR analyzer/124139
            * g++.dg/analyzer/exception-ice-pr124139.C: New test.

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