Include <algorithm> where needed when building with NAMED_SUB_IS_FORWARD_LIST == 0

Author: Remi Delmas

src/analyses/variable-sensitivity/value_set_pointer_abstract_object.cpp

@@ -18,6 +18,7 @@
 #include "abstract_environment.h"
 #include "context_abstract_object.h" // IWYU pragma: keep
 
+#include <algorithm>
 #include <numeric>
 
 static abstract_object_sett

src/cprover/generalization.cpp

@@ -16,6 +16,7 @@ Author: Daniel Kroening, [email protected]
 
 #include "solver.h"
 
+#include <algorithm>
 #include <iostream>
 #include <map>
 

src/cprover/inductiveness.cpp

@@ -23,6 +23,7 @@ Author: Daniel Kroening, [email protected]
 #include "propagate.h"
 #include "solver.h"
 
+#include <algorithm>
 #include <iomanip>
 #include <iostream>
 

src/cprover/state_encoding.cpp

@@ -26,6 +26,7 @@ Author: Daniel Kroening, [email protected]
 #include "state_encoding_targets.h"
 #include "variable_encoding.h"
 
+#include <algorithm>
 #include <iostream>
 
 class state_encodingt

src/goto-instrument/contracts/instrument_spec_assigns.h

@@ -21,6 +21,7 @@ Date: January 2022
 
 #include <goto-programs/goto_program.h>
 
+#include <algorithm>
 #include <unordered_map>
 #include <unordered_set>
 

src/goto-instrument/unwindset.cpp

@@ -20,6 +20,7 @@ Author: Daniel Kroening, [email protected]
 
 #include <goto-programs/abstract_goto_model.h>
 
+#include <algorithm>
 #include <fstream>
 
 void unwindsett::parse_unwind(const std::string &unwind)

src/solvers/flattening/boolbv_bitreverse.cpp

@@ -6,9 +6,11 @@ Author: Michael Tautschnig
 
 \*******************************************************************/
 
+#include <util/bitvector_expr.h>
+
 #include "boolbv.h"
 
-#include <util/bitvector_expr.h>
+#include <algorithm>
 
 bvt boolbvt::convert_bitreverse(const bitreverse_exprt &expr)
 {

src/solvers/flattening/boolbv_get.cpp

@@ -16,6 +16,8 @@ Author: Daniel Kroening, [email protected]
 #include "boolbv.h"
 #include "boolbv_type.h"
 
+#include <algorithm>
+
 exprt boolbvt::get(const exprt &expr) const
 {
   if(expr.id()==ID_symbol ||

src/solvers/smt2_incremental/ast/smt_commands.cpp

@@ -4,6 +4,8 @@
 
 #include <util/range.h>
 
+#include <algorithm>
+
 // Define the irep_idts for commands.
 #define COMMAND_ID(the_id)                                                     \
   const irep_idt ID_smt_##the_id##_command{"smt_" #the_id "_command"};

src/solvers/smt2_incremental/convert_expr_to_smt.cpp

@@ -1,5 +1,4 @@
 // Author: Diffblue Ltd.
-
 #include <util/arith_tools.h>
 #include <util/bitvector_expr.h>
 #include <util/byte_operators.h>
@@ -22,6 +21,7 @@
 #include <solvers/smt2_incremental/theories/smt_bit_vector_theory.h>
 #include <solvers/smt2_incremental/theories/smt_core_theory.h>
 
+#include <algorithm>
 #include <functional>
 #include <numeric>