[Bug analyzer/114899] [14/15 regression] Segmentation fault with -fsanitize=undefined and -fanalyzer since r14-2029-g0e466e978c7

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

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

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

commit r15-526-g1779e22150b917e28e959623c819ef943fab02df
Author: David Malcolm <dmalc...@redhat.com>
Date:   Wed May 15 18:40:56 2024 -0400

    analyzer: fix ICE seen with -fsanitize=undefined [PR114899]

    gcc/analyzer/ChangeLog:
            PR analyzer/114899
            * access-diagram.cc
            (written_svalue_spatial_item::get_label_string): Bulletproof
            against SSA_NAME_VAR being null.

    gcc/testsuite/ChangeLog:
            PR analyzer/114899
            * c-c++-common/analyzer/out-of-bounds-diagram-pr114899.c: New test.

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