https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97489
--- 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:b7f2cfbf0fc7bcd5c1e60fca354de8bf60f9acfa commit r11-4220-gb7f2cfbf0fc7bcd5c1e60fca354de8bf60f9acfa Author: David Malcolm <dmalc...@redhat.com> Date: Thu Oct 22 06:12:31 2020 -0400 analyzer: fix ICE on dtor [PR97489] gcc/analyzer/ChangeLog: PR analyzer/97489 * engine.cc (exploded_graph::add_function_entry): Assert that we have a function body. (exploded_graph::on_escaped_function): Reject fndecls that don't have a function body. gcc/testsuite/ChangeLog: PR analyzer/97489 * g++.dg/analyzer/pr97489.C: New test.