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>