https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100011
--- 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:ec633d3777bd71f7bde5e671b61ec18e5b7b43ea commit r11-8117-gec633d3777bd71f7bde5e671b61ec18e5b7b43ea Author: David Malcolm <dmalc...@redhat.com> Date: Sat Apr 10 16:23:23 2021 -0400 analyzer: fix ICE on assignment from STRING_CST when building path [PR100011] gcc/analyzer/ChangeLog: PR analyzer/100011 * region-model.cc (region_model::on_assignment): Avoid NULL dereference if ctxt is NULL when assigning from a STRING_CST. gcc/testsuite/ChangeLog: PR analyzer/100011 * gcc.dg/analyzer/pr100011.c: New test.