Fix includes

Author: reuk

src/analyses/ai.h

@@ -12,8 +12,9 @@ Author: Daniel Kroening, [email protected]
 #ifndef CPROVER_ANALYSES_AI_H
 #define CPROVER_ANALYSES_AI_H
 
-#include <map>
 #include <iosfwd>
+#include <map>
+#include <memory>
 
 #include <util/json.h>
 #include <util/xml.h>

src/analyses/goto_rw.cpp

@@ -9,8 +9,9 @@ Date: April 2010
 \*******************************************************************/
 
 
-#include <limits>
 #include <algorithm>
+#include <limits>
+#include <memory>
 
 #include <util/std_code.h>
 #include <util/std_expr.h>

src/analyses/local_may_alias.h

@@ -12,8 +12,8 @@ Author: Daniel Kroening, [email protected]
 #ifndef CPROVER_ANALYSES_LOCAL_MAY_ALIAS_H
 #define CPROVER_ANALYSES_LOCAL_MAY_ALIAS_H
 
-#include <stack>
 #include <memory>
+#include <stack>
 
 #include <util/union_find.h>
 #include <util/make_unique.h>

src/analyses/reaching_definitions.cpp

@@ -13,6 +13,8 @@ Date: February 2013
 /// Range-based reaching definitions analysis (following Field- Sensitive
 ///   Program Dependence Analysis, Litvak et al., FSE 2010)
 
+#include <memory>
+
 #include <util/pointer_offset_size.h>
 #include <util/prefix.h>
 #include <util/make_unique.h>

src/analyses/static_analysis.h

@@ -16,8 +16,9 @@ Author: Daniel Kroening, [email protected]
 #error Deprecated, use ai.h instead
 #endif
 
-#include <map>
 #include <iosfwd>
+#include <map>
+#include <memory>
 #include <unordered_set>
 
 #include <util/make_unique.h>

src/ansi-c/ansi_c_language.h

@@ -12,6 +12,8 @@ Author: Daniel Kroening, [email protected]
 
 /*! \defgroup gr_ansi_c ANSI-C front-end */
 
+#include <memory>
+
 #include <util/language.h>
 #include <util/make_unique.h>
 

src/cbmc/cbmc_solvers.cpp

@@ -9,9 +9,9 @@ Author: Daniel Kroening, [email protected]
 /// \file
 /// Solvers for VCs Generated by Symbolic Execution of ANSI-C
 
-#include <memory>
-#include <iostream>
 #include <fstream>
+#include <iostream>
+#include <memory>
 
 #include <util/unicode.h>
 #include <util/make_unique.h>

src/cpp/cpp_language.h

@@ -14,6 +14,8 @@ Author: Daniel Kroening, [email protected]
 
 /*! \defgroup gr_cpp C++ front-end */
 
+#include <memory>
+
 #include <util/language.h>
 #include <util/make_unique.h> // unique_ptr
 

src/goto-diff/goto_diff_parse_options.cpp

@@ -9,8 +9,8 @@ Author: Peter Schrammel
 /// \file
 /// GOTO-DIFF Command Line Option Processing
 
-#include <fstream>
 #include <cstdlib> // exit()
+#include <fstream>
 #include <iostream>
 #include <memory>
 

src/goto-instrument/accelerate/enumerating_loop_acceleration.h

@@ -12,6 +12,8 @@ Author: Matt Lewis
 #ifndef CPROVER_GOTO_INSTRUMENT_ACCELERATE_ENUMERATING_LOOP_ACCELERATION_H
 #define CPROVER_GOTO_INSTRUMENT_ACCELERATE_ENUMERATING_LOOP_ACCELERATION_H
 
+#include <memory>
+
 #include <util/make_unique.h>
 
 #include <goto-programs/goto_program.h>

src/goto-instrument/accelerate/scratch_program.h

@@ -12,6 +12,7 @@ Author: Matt Lewis
 #ifndef CPROVER_GOTO_INSTRUMENT_ACCELERATE_SCRATCH_PROGRAM_H
 #define CPROVER_GOTO_INSTRUMENT_ACCELERATE_SCRATCH_PROGRAM_H
 
+#include <memory>
 #include <string>
 
 #include <util/make_unique.h>

src/goto-symex/goto_symex_state.h

@@ -13,6 +13,7 @@ Author: Daniel Kroening, [email protected]
 #define CPROVER_GOTO_SYMEX_GOTO_SYMEX_STATE_H
 
 #include <cassert>
+#include <memory>
 #include <unordered_set>
 
 #include <util/guard.h>

src/goto-symex/symex_main.cpp

@@ -10,6 +10,7 @@ Author: Daniel Kroening, [email protected]
 /// Symbolic Execution
 
 #include <cassert>
+#include <memory>
 
 #include <util/std_expr.h>
 #include <util/rename.h>

src/java_bytecode/java_bytecode_language.h

@@ -10,6 +10,8 @@ Author: Daniel Kroening, [email protected]
 #ifndef CPROVER_JAVA_BYTECODE_JAVA_BYTECODE_LANGUAGE_H
 #define CPROVER_JAVA_BYTECODE_JAVA_BYTECODE_LANGUAGE_H
 
+#include <memory>
+
 #include <util/language.h>
 #include <util/cmdline.h>
 #include <util/make_unique.h>

src/jsil/jsil_language.h

@@ -12,6 +12,8 @@ Author: Michael Tautschnig, [email protected]
 #ifndef CPROVER_JSIL_JSIL_LANGUAGE_H
 #define CPROVER_JSIL_JSIL_LANGUAGE_H
 
+#include <memory>
+
 #include <util/language.h>
 #include <util/make_unique.h>