From f7decfaebbcb8522fcb39b03a391a5c2cb64f460 Mon Sep 17 00:00:00 2001
From: David Malcolm <dmalcolm@redhat.com>
Date: Thu, 22 Oct 2020 06:16:28 -0400
Subject: 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.
---
 gcc/analyzer/engine.cc | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'gcc/analyzer')

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);
-- 
cgit v1.1