analyzer: fix ICE on assignment from STRING_CST when building path [PR100011]
authorDavid Malcolm <dmalcolm@redhat.com>
Sat, 10 Apr 2021 20:23:23 +0000 (16:23 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Sat, 10 Apr 2021 20:23:23 +0000 (16:23 -0400)
commitec633d3777bd71f7bde5e671b61ec18e5b7b43ea
treebfc479c7a90a3647f2b21df4fdc487f8e69c399d
parent9f7d77bd6d65aa1cf2e195d3776052705c6e636b
analyzer: fix ICE on assignment from STRING_CST when building path [PR100011]

gcc/analyzer/ChangeLog:
PR analyzer/100011
* region-model.cc (region_model::on_assignment): Avoid NULL
dereference if ctxt is NULL when assigning from a STRING_CST.

gcc/testsuite/ChangeLog:
PR analyzer/100011
* gcc.dg/analyzer/pr100011.c: New test.
gcc/analyzer/region-model.cc
gcc/testsuite/gcc.dg/analyzer/pr100011.c [new file with mode: 0644]