https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95152
--- Comment #6 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:6b31b6b52612a6d4a7a84e71f6331464d68400d4 commit r11-2792-g6b31b6b52612a6d4a7a84e71f6331464d68400d4 Author: David Malcolm <dmalc...@redhat.com> Date: Thu Aug 20 17:50:14 2020 -0400 analyzer: add regression tests [PR95152] PR analyzer/95152 reports various ICEs in region_model::get_or_create_mem_ref. I removed this function as part of the state rewrite in r11-2694-g808f4dfeb3a95f50f15e71148e5c1067f90a126d. I've verified that these two test cases reproduce the issue with 10.2 and don't ICE with trunk; adding them as regression tests. gcc/testsuite/ChangeLog: PR analyzer/95152 * gcc.dg/analyzer/pr95152-4.c: New test. * gcc.dg/analyzer/pr95152-5.c: New test.