C++: Remove internal symbols (macros in particular) before linking

Fixes: #1490

Author: tautschnig

src/cpp/cpp_language.cpp

@@ -20,6 +20,7 @@ Author: Daniel Kroening, [email protected]
 #include <util/get_base_name.h>
 
 #include <linking/linking.h>
+#include <linking/remove_internal_symbols.h>
 
 #include <ansi-c/ansi_c_entry_point.h>
 #include <ansi-c/c_preprocess.h>
@@ -131,6 +132,8 @@ bool cpp_languaget::typecheck(
       cpp_parse_tree, new_symbol_table, module, get_message_handler()))
     return true;
 
+  remove_internal_symbols(new_symbol_table);
+
   return linking(symbol_table, new_symbol_table, get_message_handler());
 }