Clean up unused template instantiation symbols

Author: peterschrammel

regression/cpp/Template_Instantiation4/test.desc

@@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 main.cpp
 
 ^EXIT=0$

src/cpp/cpp_typecheck.cpp

@@ -278,7 +278,12 @@ void cpp_typecheckt::clean_up()
     const symbolt &symbol=cur_it->second;
 
     // erase templates
-    if(symbol.type.get_bool(ID_is_template))
+    if(symbol.type.get_bool(ID_is_template) ||
+       // Remove all symbols that have not been converted.
+       //   In particular this includes symbols created for functions
+       //   during template instantiation that are never called,
+       //   and hence, their bodies have not been converted.
+       contains_cpp_name(symbol.value))
     {
       symbol_table.erase(cur_it);
       continue;
@@ -323,3 +328,13 @@ void cpp_typecheckt::clean_up()
     }
   }
 }
+
+bool cpp_typecheckt::contains_cpp_name(const exprt &expr)
+{
+  if(expr.id()==ID_cpp_name)
+    return true;
+  forall_operands(it, expr)
+    if(contains_cpp_name(*it))
+      return true;
+  return false;
+}

src/cpp/cpp_typecheck.h

@@ -587,6 +587,8 @@ class cpp_typecheckt:public c_typecheck_baset
     exprt &new_expr,
     bool check_constantness=true);
 
+  bool contains_cpp_name(const exprt &expr);
+
 private:
   typedef std::list<irep_idt> dynamic_initializationst;
   dynamic_initializationst dynamic_initializations;