diff options
author | David Malcolm <dmalcolm@redhat.com> | 2020-10-22 06:16:28 -0400 |
---|---|---|
committer | David Malcolm <dmalcolm@redhat.com> | 2020-10-22 06:16:28 -0400 |
commit | f7decfaebbcb8522fcb39b03a391a5c2cb64f460 (patch) | |
tree | 4404023a457a7decb2e44f45be88eef4d8b6404e /gcc/analyzer/engine.cc | |
parent | 9ed7b339c97dffd6f491aeb7052d6601b9d01ae0 (diff) | |
download | gcc-f7decfaebbcb8522fcb39b03a391a5c2cb64f460.zip gcc-f7decfaebbcb8522fcb39b03a391a5c2cb64f460.tar.gz gcc-f7decfaebbcb8522fcb39b03a391a5c2cb64f460.tar.bz2 |
analyzer: fix ICE when handling callback exceeds enode limit [PR97514]
gcc/analyzer/ChangeLog:
PR analyzer/97514
* engine.cc (exploded_graph::add_function_entry): Handle failure
to create an enode, rather than asserting.
gcc/testsuite/ChangeLog:
PR analyzer/97514
* gcc.dg/analyzer/pr97514.c: New test.
Diffstat (limited to 'gcc/analyzer/engine.cc')
-rw-r--r-- | gcc/analyzer/engine.cc | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gcc/analyzer/engine.cc b/gcc/analyzer/engine.cc index b1c877e..d4c654a 100644 --- a/gcc/analyzer/engine.cc +++ b/gcc/analyzer/engine.cc @@ -1956,8 +1956,9 @@ exploded_graph::add_function_entry (function *fun) return NULL; exploded_node *enode = get_or_create_node (point, state, NULL); - /* We should never fail to add such a node. */ - gcc_assert (enode); + if (!enode) + return NULL; + add_edge (m_origin, enode, NULL); m_functions_with_enodes.add (fun); |