analyzer: drop unused field exploded_node::m_num_processed_stmts

I believe this became redundant in r16-6063-g0b786d961d4426.

gcc/analyzer/ChangeLog:
	* engine.cc (exploded_node::status_to_str): Drop unused field
	m_num_processed_stmts.
	(exploded_node::dump): Likewise.
	(exploded_node::to_json): Likewise.
	* exploded-graph.h (exploded_node::m_num_processed_stmts):
	Likewise.

Signed-off-by: David Malcolm <dmalcolm@redhat.com>

diff --git a/gcc/analyzer/engine.cc b/gcc/analyzer/engine.cc
index 907a36af52be3f01b238caec91d1664a007b47b8..16af51e6ad705426f33cbf5f10185c7d19c4ae70 100644 (file)
--- a/gcc/analyzer/engine.cc
+++ b/gcc/analyzer/engine.cc
@@ -1028,8 +1028,7 @@ exploded_node::status_to_str (enum status s)
 
 exploded_node::exploded_node (const point_and_state &ps,
                              int index)
-: m_ps (ps), m_status (status::worklist), m_index (index),
-  m_num_processed_stmts (0)
+: m_ps (ps), m_status (status::worklist), m_index (index)
 {
   gcc_checking_assert (ps.get_state ().m_region_model->canonicalized_p ());
 }
@@ -1211,8 +1210,7 @@ exploded_node::dump (const extrinsic_state &ext_state) const
    {"point"  : object for program_point,
     "state"  : object for program_state,
     "status" : str,
-    "idx"    : int,
-    "processed_stmts" : int}.  */
+    "idx"    : int}.  */
 
 std::unique_ptr<json::object>
 exploded_node::to_json (const extrinsic_state &ext_state) const
@@ -1223,7 +1221,6 @@ exploded_node::to_json (const extrinsic_state &ext_state) const
   enode_obj->set ("state", get_state ().to_json (ext_state));
   enode_obj->set_string ("status", status_to_str (m_status));
   enode_obj->set_integer ("idx", m_index);
-  enode_obj->set_integer ("processed_stmts", m_num_processed_stmts);
 
   return enode_obj;
 }

diff --git a/gcc/analyzer/exploded-graph.h b/gcc/analyzer/exploded-graph.h
index 8fcc59a9ce090aa98beeb879a33a7fda031d552a..7a0060521db871956b9670493dfc651defcae3d7 100644 (file)
--- a/gcc/analyzer/exploded-graph.h
+++ b/gcc/analyzer/exploded-graph.h
@@ -322,10 +322,6 @@ private:
 public:
   /* The index of this exploded_node.  */
   const int m_index;
-
-  /* The number of stmts that were processed when process_node was
-     called on this enode.  */
-  unsigned m_num_processed_stmts;
 };
 
 /* An edge within the exploded graph.