Merge pull request diffblue#2312 from diffblue/missing-iterator-headers

missing <iterator> headers
NathanJPhillips · Jun 9, 2018 · 6c22191 · 6c22191
2 parents 6a16f85 + 33787ed
commit 6c22191
Show file tree

Hide file tree

Showing 5 changed files with 11 additions and 1 deletion.
diff --git a/jbmc/src/java_bytecode/generic_parameter_specialization_map_keys.cpp b/jbmc/src/java_bytecode/generic_parameter_specialization_map_keys.cpp
@@ -2,6 +2,8 @@
 
 #include "generic_parameter_specialization_map_keys.h"
 
+#include <iterator>
+
 /// \param type Source type
 /// \return The vector of implicitly generic and (explicitly) generic type
 /// parameters of the given type.

diff --git a/jbmc/src/java_bytecode/java_qualifiers.cpp b/jbmc/src/java_bytecode/java_qualifiers.cpp
@@ -4,10 +4,13 @@
 /// Java-specific type qualifiers
 
 #include "java_qualifiers.h"
+
 #include <sstream>
+#include <iterator>
+
 #include <util/make_unique.h>
-#include "expr2java.h"
 
+#include "expr2java.h"
 
 java_qualifierst &java_qualifierst::operator=(const java_qualifierst &other)
 {

diff --git a/jbmc/unit/java-testing-utils/require_parse_tree.cpp b/jbmc/unit/java-testing-utils/require_parse_tree.cpp
@@ -8,6 +8,8 @@
 
 #include "require_parse_tree.h"
 
+#include <iterator>
+
 /// Find in the parsed class a specific entry within the
 /// lambda_method_handle_map with a matching descriptor. Will fail if no
 /// matching lambda entry found.

diff --git a/src/goto-instrument/cover_instrument_mcdc.cpp b/src/goto-instrument/cover_instrument_mcdc.cpp
@@ -14,6 +14,7 @@ Author: Daniel Kroening
 #include <langapi/language_util.h>
 
 #include <algorithm>
+#include <iterator>
 
 #include "cover_util.h"
 

diff --git a/src/solvers/refinement/string_builtin_function.cpp b/src/solvers/refinement/string_builtin_function.cpp
@@ -4,6 +4,8 @@
 #include "string_builtin_function.h"
 
 #include <algorithm>
+#include <iterator>
+
 #include "string_constraint_generator.h"
 
 /// Get the valuation of the string, given a valuation