[Bug analyzer/113509] ICE: SIGSEGV in c_tree_printer (c-objc-common.cc:341) with -fanalyzer -fanalyzer-verbose-state-changes

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

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

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

https://gcc.gnu.org/g:18aabe7d203aa1276e6cbacfb3ffc8d8fcb14966

commit r14-8640-g18aabe7d203aa1276e6cbacfb3ffc8d8fcb14966
Author: David Malcolm <dmalc...@redhat.com>
Date:   Tue Jan 30 20:06:31 2024 -0500

    analyzer: handle null "var" in state_change_event::get_desc [PR113509]

    Avoid ICE with  -fanalyzer-verbose-state-changes when
    region_model::get_representative_tree returns nullptr in
    state_change_event::get_desc.

    gcc/analyzer/ChangeLog:
            PR analyzer/113509
            * checker-event.cc (state_change_event::get_desc): Don't assume
            "var" is non-NULL.

    gcc/testsuite/ChangeLog:
            PR analyzer/113509
            * c-c++-common/analyzer/stdarg-pr113509.c: New test.

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