https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96792
--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by David Malcolm <dmalc...@gcc.gnu.org>: https://gcc.gnu.org/g:49bfbf18c0bb9d83934f0ce765dc031ebfbda38e commit r11-2968-g49bfbf18c0bb9d83934f0ce765dc031ebfbda38e Author: David Malcolm <dmalc...@redhat.com> Date: Thu Aug 27 07:42:27 2020 -0400 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.