analyzer: fix ICE merging dereferencing unknown ptrs [PR98628]
authorDavid Malcolm <dmalcolm@redhat.com>
Tue, 12 Jan 2021 01:23:41 +0000 (20:23 -0500)
committerDavid Malcolm <dmalcolm@redhat.com>
Tue, 12 Jan 2021 01:23:41 +0000 (20:23 -0500)
commitab88f3607233376c3145c320e92e71943a495bb5
tree95414ba8655c1c890bf7eaf910e2ea0a48d84af5
parent67fbb7f0fda1fc46253efc31592ffcdda0765098
analyzer: fix ICE merging dereferencing unknown ptrs [PR98628]

gcc/analyzer/ChangeLog:
PR analyzer/98628
* store.cc (binding_cluster::make_unknown_relative_to): Don't mark
dereferenced unknown pointers as having escaped.

gcc/testsuite/ChangeLog:
PR analyzer/98628
* gcc.dg/analyzer/pr98628.c: New test.
gcc/analyzer/store.cc
gcc/testsuite/gcc.dg/analyzer/pr98628.c [new file with mode: 0644]