[Bug analyzer/124073] [16 Regression] ICE: in push_frame, at analyzer/region-model.cc:6375 on C++ code

[cvs-commit at gcc dot gnu.org]

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

--- Comment #1 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:c32489989b66718d5b422090582e6de527bf386f

commit r16-7468-gc32489989b66718d5b422090582e6de527bf386f
Author: David Malcolm <dmalcolm@redhat.com>
Date:   Wed Feb 11 20:49:43 2026 -0500

    analyzer: fix ICE in push_frame with missing return statement [PR124073]

    gcc/analyzer/ChangeLog:
            PR analyzer/124073
            * region-model.cc (region_model::push_frame): Bulletproof against
            DECL_RESULT having null SSA on function missing a return
            statement (-Wreturn-type).

    gcc/testsuite/ChangeLog:
            PR analyzer/124073
            * g++.dg/analyzer/ice-pr124073.C: New test.

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