aboutsummaryrefslogtreecommitdiff
path: root/gcc/tree-vect-loop.c
diff options
context:
space:
mode:
authorDavid Malcolm <dmalcolm@redhat.com>2021-08-23 14:07:39 -0400
committerDavid Malcolm <dmalcolm@redhat.com>2021-08-23 14:07:39 -0400
commite82e0f149b0aba660896ea9aa12c442c07a16d12 (patch)
treebc133a101b92b4371785c28962ffd69e0781045c /gcc/tree-vect-loop.c
parent4892b3087412e6afc261cc9977ef4b54c799660f (diff)
downloadgcc-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