Removing basic_block_limit from solver since it doesn't make sense.

googleprojectzero · Oct 4, 2018 · f32260d · f32260d
1 parent 41e1f0f
commit f32260d
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/analysis/solver.h b/analysis/solver.h
@@ -137,17 +137,15 @@ bool SolveFunction(FlowGraph& rfg, InstructionProvider& ip,
 template <class T>
 bool SolveFunction(FlowGraph& rfg, InstructionProvider& ip,
                    std::map<Edge, T>& edge_states, size_t step_limit = 0x1000) {
-  return SolveFunction<T>(rfg, ip, edge_states, T::Merge, step_limit,
-                          basic_block_limit);
+  return SolveFunction<T>(rfg, ip, edge_states, T::Merge, step_limit);
 }
 
 template <class T>
 bool SolveFunction(FlowGraph& rfg, const MemoryImage& memory_image,
                    std::map<Edge, T>& edge_states, size_t step_limit = 0x1000) {
   std::unique_ptr<InstructionProvider> ip =
       InstructionProvider::Create(memory_image);
-  return SolveFunction<T>(rfg, *ip, edge_states, T::Merge, step_limit,
-                          basic_block_limit);
+  return SolveFunction<T>(rfg, *ip, edge_states, T::Merge, step_limit);
 }
 }  // namespace analysis
 }  // namespace reil