https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107345
--- 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:18faaeb3af42f3d7dc609b9b91df77d0d59b16f6 commit r13-3468-g18faaeb3af42f3d7dc609b9b91df77d0d59b16f6 Author: David Malcolm <dmalc...@redhat.com> Date: Mon Oct 24 16:38:23 2022 -0400 analyzer: handle (NULL == &VAR) [PR107345] gcc/analyzer/ChangeLog: PR analyzer/107345 * region-model.cc (region_model::eval_condition_without_cm): Ensure that constants are on the right-hand side before checking for them. gcc/testsuite/ChangeLog: PR analyzer/107345 * gcc.dg/analyzer/pr107345.c: New test. Signed-off-by: David Malcolm <dmalc...@redhat.com>