Analyzer: Remove unused field in exploded_node.
The `exploded_node::m_num_processed_stmts` field in the GCC static analyzer is no longer used and has been removed.
An unused field, exploded_node::m_num_processed_stmts, has been removed from the exploded_node class in the GCC static analyzer. This field, which tracked the number of statements processed, became redundant in a previous commit. Removing it simplifies the code and reduces memory usage.
In Details
The GCC static analyzer represents the state of its exploration using an exploded_graph, composed of exploded_node instances. This commit removes the m_num_processed_stmts field from exploded_node, as it became redundant after refactoring in r16-6063-g0b786d961d4426. This simplifies the internal data structures of the analyzer.
For Context
The GCC static analyzer explores possible execution paths in a program. It uses a graph-like structure to represent the different states the program can be in. This commit removes an unused field from one of the data structures used to represent these states. Removing unused fields makes the code cleaner and potentially slightly reduces memory usage.