diff options
author | David Malcolm <dmalcolm@redhat.com> | 2021-08-23 14:07:39 -0400 |
---|---|---|
committer | David Malcolm <dmalcolm@redhat.com> | 2021-08-23 14:07:39 -0400 |
commit | e82e0f149b0aba660896ea9aa12c442c07a16d12 (patch) | |
tree | bc133a101b92b4371785c28962ffd69e0781045c /gcc/tree-vect-loop.c | |
parent | 4892b3087412e6afc261cc9977ef4b54c799660f (diff) | |
download | gcc-e82e0f149b0aba660896ea9aa12c442c07a16d12.zip gcc-e82e0f149b0aba660896ea9aa12c442c07a16d12.tar.gz gcc-e82e0f149b0aba660896ea9aa12c442c07a16d12.tar.bz2 |
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.
Diffstat (limited to 'gcc/tree-vect-loop.c')
0 files changed, 0 insertions, 0 deletions