[pushed: r17-574] analyzer: drop unused field exploded_node::m_num_processed_stmts

[David Malcolm]

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

Successfully bootstrapped & regrtested on aarch64-unknown-linux-gnu.
Pushed to trunk as r17-574-g84d3cabfdacb38.

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 <dmalc...@redhat.com>
---
 gcc/analyzer/engine.cc        | 7 ++-----
 gcc/analyzer/exploded-graph.h | 4 ----
 2 files changed, 2 insertions(+), 9 deletions(-)

diff --git a/gcc/analyzer/engine.cc b/gcc/analyzer/engine.cc
index 907a36af52b..16af51e6ad7 100644
--- 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 8fcc59a9ce0..7a0060521db 100644
--- 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.
-- 
2.52.0