]> git.ipfire.org Git - thirdparty/gcc.git/commit
analyzer: fix ICE seen with -fsanitize=undefined [PR114899]
authorDavid Malcolm <dmalcolm@redhat.com>
Wed, 15 May 2024 22:40:56 +0000 (18:40 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Wed, 15 May 2024 22:40:56 +0000 (18:40 -0400)
commit1779e22150b917e28e959623c819ef943fab02df
tree9915985364863c6e985809a5389292ec24767e1b
parent1fbbae1d4ba3618a3da829a6d7e11a1606a583b3
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 <dmalcolm@redhat.com>
gcc/analyzer/access-diagram.cc
gcc/testsuite/c-c++-common/analyzer/out-of-bounds-diagram-pr114899.c [new file with mode: 0644]