]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4892b30) | patch
analyzer: assume that POINTER_PLUS_EXPR of non-NULL is non-NULL [PR101962]
authorDavid Malcolm <dmalcolm@redhat.com>
Mon, 23 Aug 2021 18:07:39 +0000 (14:07 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Mon, 23 Aug 2021 18:07:39 +0000 (14:07 -0400)
commite82e0f149b0aba660896ea9aa12c442c07a16d12
treebc133a101b92b4371785c28962ffd69e0781045ctree
parent4892b3087412e6afc261cc9977ef4b54c799660fcommit | diff
analyzer: assume that POINTER_PLUS_EXPR of non-NULL is non-NULL [PR101962]

gcc/analyzer/ChangeLog:
PR analyzer/101962
* region-model.cc (region_model::eval_condition_without_cm):
Refactor comparison against zero, adding a check for
POINTER_PLUS_EXPR of non-NULL.

gcc/testsuite/ChangeLog:
PR analyzer/101962
* gcc.dg/analyzer/data-model-23.c: New test.
* gcc.dg/analyzer/pr101962.c: New test.
gcc/analyzer/region-model.cc diff | blob | blame | history
gcc/testsuite/gcc.dg/analyzer/data-model-23.c [new file with mode: 0644] blob
gcc/testsuite/gcc.dg/analyzer/pr101962.c [new file with mode: 0644] blob
Mirror of https://gcc.gnu.org/git/gcc.git