https://gcc.gnu.org/g:84d3cabfdacb383fd18a6f5f37e04b2d1bf098e4
commit r17-574-g84d3cabfdacb383fd18a6f5f37e04b2d1bf098e4 Author: David Malcolm <[email protected]> Date: Mon May 18 16:21:10 2026 -0400 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 <[email protected]> Diff: --- 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 907a36af52be..16af51e6ad70 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 8fcc59a9ce09..7a0060521db8 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.
