projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a292e31) | patch
analyzer: fix false NULL deref warning after previous deref [PR96792]
authorDavid Malcolm <dmalcolm@redhat.com>
Thu, 27 Aug 2020 11:42:27 +0000 (07:42 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Tue, 1 Sep 2020 14:56:34 +0000 (10:56 -0400)
commit49bfbf18c0bb9d83934f0ce765dc031ebfbda38e
treea5ffca38c6d890175030acbc6ce63fd4382097fctree
parenta292e31dac72c20cda3478b866ccf6e07dfad1a4commit | diff
analyzer: fix false NULL deref warning after previous deref [PR96792]

gcc/analyzer/ChangeLog:
PR analyzer/96792
* region-model.cc (region_model::deref_rvalue): Add the constraint
that PTR_SVAL is non-NULL.

gcc/testsuite/ChangeLog:
PR analyzer/96792
* gcc.dg/analyzer/pr96792.c: New test.
gcc/analyzer/region-model.cc diff | blob | history
gcc/testsuite/gcc.dg/analyzer/pr96792.c [new file with mode: 0644] blob