Merge pull request #2412 from tautschnig/vs-build

Remove unused parameter from local_bitvector_analysist::build

Author: tautschnig

src/analyses/local_bitvector_analysis.cpp

@@ -241,7 +241,7 @@ local_bitvector_analysist::flagst local_bitvector_analysist::get_rec(
     return flagst::mk_unknown();
 }
 
-void local_bitvector_analysist::build(const goto_functiont &goto_function)
+void local_bitvector_analysist::build()
 {
   if(cfg.nodes.empty())
     return;

src/analyses/local_bitvector_analysis.h

@@ -31,7 +31,7 @@ class local_bitvector_analysist
     locals(_goto_function),
     cfg(_goto_function.body)
   {
-    build(_goto_function);
+    build();
   }
 
   void output(
@@ -176,7 +176,7 @@ class local_bitvector_analysist
     const exprt &src);
 
 protected:
-  void build(const goto_functiont &goto_function);
+  void build();
 
   typedef std::stack<unsigned> work_queuet;