pass type definitions to the C++ front-end

smowton · Mar 7, 2018 · 80ee0b1 · 80ee0b1
1 parent 15ec42f
commit 80ee0b1
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/src/ansi-c/ansi_c_internal_additions.h b/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[];

diff --git a/src/cpp/cpp_internal_additions.cpp b/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);