Merge pull request #6099 from diffblue/add_algorithm_include

add missing <algorithm> includes

Author: tautschnig

src/analyses/variable-sensitivity/abstract_object_set.cpp

@@ -7,9 +7,12 @@
 \*******************************************************************/
 
 #include <analyses/variable-sensitivity/abstract_object_set.h>
+
 #include <util/interval.h>
 #include <util/string_utils.h>
 
+#include <algorithm>
+
 static bool by_length(const std::string &lhs, const std::string &rhs)
 {
   if(lhs.size() < rhs.size())

src/analyses/variable-sensitivity/abstract_value_object.cpp

@@ -21,6 +21,8 @@
 #include <util/make_unique.h>
 #include <util/simplify_expr.h>
 
+#include <algorithm>
+
 class empty_index_ranget : public index_range_implementationt
 {
 public:

src/analyses/variable-sensitivity/context_abstract_object.cpp

@@ -10,6 +10,8 @@
 
 #include "abstract_object_statistics.h"
 
+#include <algorithm>
+
 abstract_object_pointert context_abstract_objectt::get_child() const
 {
   return child_abstract_object;

src/analyses/variable-sensitivity/value_set_abstract_object.cpp

@@ -16,6 +16,8 @@
 
 #include <util/make_unique.h>
 
+#include <algorithm>
+
 #include "abstract_environment.h"
 
 static index_range_implementation_ptrt

src/analyses/variable-sensitivity/value_set_abstract_value.cpp

@@ -11,6 +11,8 @@
 #include <ansi-c/expr2c.h>
 #include <util/simplify_expr.h>
 
+#include <algorithm>
+
 value_set_abstract_valuet::value_set_abstract_valuet(
   const typet &type,
   bool top,

src/analyses/variable-sensitivity/variable_sensitivity_domain.cpp

@@ -12,6 +12,8 @@ Date: April 2016
 
 #include <util/cprover_prefix.h>
 
+#include <algorithm>
+
 #ifdef DEBUG
 #  include <iostream>
 #endif

src/analyses/variable-sensitivity/write_location_context.cpp

@@ -8,6 +8,8 @@
 
 #include "write_location_context.h"
 
+#include <algorithm>
+
 /**
  * Update the location context for an abstract object, potentially
  * propagating the update to any children of this abstract object.

src/goto-harness/goto_harness_parse_options.cpp

@@ -8,6 +8,7 @@ Author: Diffblue Ltd.
 
 #include "goto_harness_parse_options.h"
 
+#include <algorithm>
 #include <fstream>
 #include <set>
 #include <string>

src/goto-instrument/cover_instrument_other.cpp

@@ -15,6 +15,8 @@ Author: Daniel Kroening
 
 #include <langapi/language_util.h>
 
+#include <algorithm>
+
 void cover_path_instrumentert::instrument(
   const irep_idt &,
   goto_programt &,

src/goto-programs/ensure_one_backedge_per_target.cpp

@@ -13,6 +13,8 @@ Author: Diffblue Ltd.
 
 #include "goto_model.h"
 
+#include <algorithm>
+
 static bool location_number_less_than(
   const goto_programt::targett &a,
   const goto_programt::targett &b)