[Bug analyzer/123880] [16 Regression] ICE with -fanalyzer on "throw;"

[cvs-commit at gcc dot gnu.org]

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

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

commit r16-7206-gb5d5cab8e4b8077386b820a5b6c25b5fe632fa6d
Author: David Malcolm <dmalcolm@redhat.com>
Date:   Fri Jan 30 23:27:40 2026 -0500

    analyzer: fix ICE on rethrow without throw [PR123880]

    gcc/analyzer/ChangeLog:
            PR analyzer/123880
            * engine.cc (throw_custom_edge::update_model): Gracefully handle
            not knowing the current exception in a rethrow.
            (exploded_node::on_throw): Likewise.

    gcc/testsuite/ChangeLog:
            PR analyzer/123880
            * g++.dg/analyzer/exception-rethrow-3.C: New test.

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