Add missing #include <cassert>

cassert is implicitly provided via nonstd/optional, but this will change
with the move to std::optional. The even better fix would be the
replacement of all uses of assert(...) in these files, but this is a
larger endeavour.

Author: tautschnig

src/ansi-c/c_typecheck_expr.cpp

@@ -11,6 +11,7 @@ Author: Daniel Kroening, [email protected]
 
 #include "c_typecheck_base.h"
 
+#include <cassert>
 #include <sstream>
 
 #include <util/arith_tools.h>

src/ansi-c/c_typecheck_initializer.cpp

@@ -23,6 +23,8 @@ Author: Daniel Kroening, [email protected]
 #include "c_typecheck_base.h"
 #include "type2name.h"
 
+#include <cassert>
+
 void c_typecheck_baset::do_initializer(
   exprt &initializer,
   const typet &type,

src/ansi-c/c_typecheck_type.cpp

@@ -11,6 +11,7 @@ Author: Daniel Kroening, [email protected]
 
 #include "c_typecheck_base.h"
 
+#include <cassert>
 #include <unordered_set>
 
 #include <goto-programs/goto_instruction_code.h>

src/cpp/cpp_instantiate_template.cpp

@@ -15,6 +15,8 @@ Author: Daniel Kroening, [email protected]
 #include <iostream>
 #endif
 
+#include <cassert>
+
 #include <util/arith_tools.h>
 #include <util/base_exceptions.h>
 

src/cpp/cpp_typecheck.cpp

@@ -12,6 +12,7 @@ Author: Daniel Kroening, [email protected]
 #include "cpp_typecheck.h"
 
 #include <algorithm>
+#include <cassert>
 
 #include <util/pointer_expr.h>
 #include <util/source_location.h>

src/cpp/cpp_typecheck_code.cpp

@@ -21,6 +21,8 @@ Author: Daniel Kroening, [email protected]
 #include "cpp_typecheck_fargs.h"
 #include "cpp_util.h"
 
+#include <cassert>
+
 void cpp_typecheckt::typecheck_code(codet &code)
 {
   const irep_idt &statement=code.get_statement();

src/cpp/cpp_typecheck_compound_type.cpp

@@ -16,6 +16,7 @@ Author: Daniel Kroening, [email protected]
 #endif
 
 #include <algorithm>
+#include <cassert>
 
 #include <util/arith_tools.h>
 #include <util/std_types.h>

src/cpp/cpp_typecheck_constructor.cpp

@@ -18,6 +18,8 @@ Author: Daniel Kroening, [email protected]
 #include <util/pointer_expr.h>
 #include <util/std_code.h>
 
+#include <cassert>
+
 /// Generate code to copy the parent.
 /// \param source_location: location for generated code
 /// \param parent_base_name: base name of typechecked parent

src/cpp/cpp_typecheck_conversions.cpp

@@ -23,6 +23,8 @@ Module: C++ Language Type Checking
 
 #include "cpp_util.h"
 
+#include <cassert>
+
 /// Lvalue-to-rvalue conversion
 ///
 ///  An lvalue (3.10) of a non-function, non-array type T can be

src/cpp/cpp_typecheck_expr.cpp

@@ -15,6 +15,8 @@ Author: Daniel Kroening, [email protected]
 #include <iostream>
 #endif
 
+#include <cassert>
+
 #include <util/arith_tools.h>
 #include <util/c_types.h>
 #include <util/config.h>

src/cpp/cpp_typecheck_resolve.cpp

@@ -16,6 +16,7 @@ Author: Daniel Kroening, [email protected]
 #endif
 
 #include <algorithm>
+#include <cassert>
 
 #include <util/arith_tools.h>
 #include <util/c_types.h>

src/cpp/cpp_typecheck_template.cpp

@@ -20,6 +20,8 @@ Author: Daniel Kroening, [email protected]
 #include "cpp_convert_type.h"
 #include "cpp_template_args.h"
 
+#include <cassert>
+
 void cpp_typecheckt::salvage_default_arguments(
   const template_typet &old_type,
   template_typet &new_type)

src/cpp/cpp_typecheck_type.cpp

@@ -20,6 +20,8 @@ Author: Daniel Kroening, [email protected]
 #include "cpp_convert_type.h"
 #include "cpp_typecheck_fargs.h"
 
+#include <cassert>
+
 void cpp_typecheckt::typecheck_type(typet &type)
 {
   assert(!type.id().empty());

src/cpp/parse.cpp

@@ -11,6 +11,7 @@ Author: Daniel Kroening, [email protected]
 
 #include "cpp_parser.h"
 
+#include <cassert>
 #include <map>
 
 #include <util/c_types.h>

src/goto-diff/change_impact.cpp

@@ -13,6 +13,7 @@ Date: April 2016
 
 #include "change_impact.h"
 
+#include <cassert>
 #include <iostream>
 
 #include <goto-programs/goto_model.h>

src/goto-instrument/goto_program2code.cpp

@@ -11,6 +11,7 @@ Author: Daniel Kroening, [email protected]
 
 #include "goto_program2code.h"
 
+#include <cassert>
 #include <sstream>
 
 #include <util/arith_tools.h>

src/goto-instrument/k_induction.cpp

@@ -20,6 +20,8 @@ Author: Daniel Kroening, [email protected]
 #include "loop_utils.h"
 #include "unwind.h"
 
+#include <cassert>
+
 class k_inductiont
 {
 public:

src/goto-instrument/unwind.cpp

@@ -16,6 +16,8 @@ Author: Daniel Kroening, [email protected]
 #include <iostream>
 #endif
 
+#include <cassert>
+
 #include <util/expr_util.h>
 #include <util/std_expr.h>
 

src/goto-instrument/wmm/cycle_collection.cpp

@@ -15,6 +15,8 @@ Date: 2012
 
 #include <util/message.h>
 
+#include <cassert>
+
 /// after the collection, eliminates the executions forbidden by an indirect
 /// thin-air
 void event_grapht::graph_explorert::filter_thin_air(

src/goto-instrument/wmm/event_graph.cpp

@@ -15,6 +15,7 @@ Date: 2012
 
 #include <util/message.h>
 
+#include <cassert>
 #include <fstream>
 
 

src/goto-instrument/wmm/goto2graph.cpp

@@ -13,6 +13,7 @@ Date: 2012
 
 #include "goto2graph.h"
 
+#include <cassert>
 #include <vector>
 #include <string>
 #include <fstream>