projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 83faf7e) | patch
analyzer: fix issue with symbolic reads with concrete bindings
authorDavid Malcolm <dmalcolm@redhat.com>
Fri, 18 Jun 2021 17:24:19 +0000 (13:24 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Fri, 18 Jun 2021 17:24:19 +0000 (13:24 -0400)
commit3bb85b868722e69aef0d37858c0dc3c88d92a0eb
tree623c7f644ade5186d0f594140fb23b53e973ce6btree | snapshot
parent83faf7eacd2081a373afb6069fd923c2dc497271commit | diff
analyzer: fix issue with symbolic reads with concrete bindings

gcc/analyzer/ChangeLog:
* store.cc (binding_cluster::get_any_binding): Make symbolic reads
from a cluster with concrete bindings return unknown.

gcc/testsuite/ChangeLog:
* gcc.dg/analyzer/symbolic-7.c: New test.

Signed-off-by: David Malcolm <dmalcolm@redhat.com>
gcc/analyzer/store.cc diff | blob | history
gcc/testsuite/gcc.dg/analyzer/symbolic-7.c [new file with mode: 0644] blob
Domain: System / Toolchain;