From: David Malcolm <dmalcolm@redhat.com>
Date: Tue, 15 Sep 2020 13:57:36 +0000 (-0400)
Subject: analyzer: show program point in -Wanalyzer-too-complex
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6dd96e24ea3cb9919fedd4da35fbfd36ed98b0ea;p=gcc.git

analyzer: show program point in -Wanalyzer-too-complex

I found this useful when debugging.

gcc/analyzer/ChangeLog:
	* engine.cc (exploded_graph::get_or_create_node): Show the
	program point when issuing -Wanalyzer-too-complex due to hitting
	the per-program-point limit.
---

diff --git a/gcc/analyzer/engine.cc b/gcc/analyzer/engine.cc
index 49701b74fd4..8f5c5143ca5 100644
--- a/gcc/analyzer/engine.cc
+++ b/gcc/analyzer/engine.cc
@@ -1982,6 +1982,7 @@ exploded_graph::get_or_create_node (const program_point &point,
       > param_analyzer_max_enodes_per_program_point)
     {
       pretty_printer pp;
+      point.print (&pp, format (false));
       print_enode_indices (&pp, per_point_data->m_enodes);
       if (logger)
 	logger->log ("not creating enode; too many at program point: %s",