pass type definitions to the C++ front-end

Author: Daniel Kroening

src/ansi-c/ansi_c_internal_additions.h

@@ -16,6 +16,7 @@ void ansi_c_internal_additions(std::string &code);
 void ansi_c_architecture_strings(std::string &code);
 
 extern const char clang_builtin_headers[];
+extern const char gcc_builtin_headers_types[];
 extern const char gcc_builtin_headers_generic[];
 extern const char gcc_builtin_headers_math[];
 extern const char gcc_builtin_headers_mem_string[];

src/cpp/cpp_internal_additions.cpp

@@ -112,6 +112,7 @@ void cpp_internal_additions(std::ostream &out)
      config.ansi_c.mode==configt::ansi_ct::flavourt::ARM)
   {
     out << "extern \"C\" {" << '\n';
+    out << c2cpp(gcc_builtin_headers_types);
     out << c2cpp(gcc_builtin_headers_generic);
     out << c2cpp(gcc_builtin_headers_math);
     out << c2cpp(gcc_builtin_headers_mem_string);