[Bug analyzer/114899] [14 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 #3 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-14 branch has been updated by Richard Biener
<rgue...@gcc.gnu.org>:

https://gcc.gnu.org/g:b0452ed2fdc8bd9d5e911b6ea3166e4cd4be5256

commit r14-10457-gb0452ed2fdc8bd9d5e911b6ea3166e4cd4be5256
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>
    (cherry picked from commit 1779e22150b917e28e959623c819ef943fab02df)