Record number of static analysis steps taken

Author: smowton

src/analyses/static_analysis.cpp

@@ -323,6 +323,7 @@ bool static_analysis_baset::fixedpoint(
 
   while(!working_set.empty())
   {
+    ++nsteps;
     locationt l=get_next(working_set);
 
     if(visit(l, working_set, goto_program, goto_functions))

src/analyses/static_analysis.h

@@ -95,6 +95,7 @@ class static_analysis_baset
   typedef goto_programt::const_targett locationt;
 
   explicit static_analysis_baset(const namespacet &_ns):
+    nsteps(0),
     ns(_ns),
     initialized(false)
   {
@@ -166,6 +167,8 @@ class static_analysis_baset
   // for an edge that returns from a function
   static exprt get_return_lhs(locationt to);
 
+  size_t nsteps;
+
 protected:
   const namespacet &ns;