https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101875
--- Comment #3 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:3d654ca3f421ff9646470d312097602037176352 commit r12-3096-g3d654ca3f421ff9646470d312097602037176352 Author: David Malcolm <dmalc...@redhat.com> Date: Mon Aug 23 14:11:58 2021 -0400 analyzer: fix ICE with NULL change.m_expr [PR101875] gcc/analyzer/ChangeLog: PR analyzer/101875 * sm-file.cc (file_diagnostic::describe_state_change): Handle change.m_expr being NULL. gcc/testsuite/ChangeLog: PR analyzer/101875 * gcc.dg/analyzer/pr101875.c: New test.