https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101962
--- Comment #5 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-11 branch has been updated by David Malcolm <dmalc...@gcc.gnu.org>: https://gcc.gnu.org/g:de0656f98640a57cd9dfdb090264afaa06ba46cc commit r11-9374-gde0656f98640a57cd9dfdb090264afaa06ba46cc Author: David Malcolm <dmalc...@redhat.com> Date: Mon Aug 23 14:07:39 2021 -0400 analyzer: assume that POINTER_PLUS_EXPR of non-NULL is non-NULL [PR101962] Backported from commit r12-3094-ge82e0f149b0aba660896ea9aa12c442c07a16d12, dropping the expected "use of uninitialized value" warning from pr101962.c 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. Signed-off-by: David Malcolm <dmalc...@redhat.com>