further support for tag types

Author: Daniel Kroening

src/cpp/cpp_exception_id.cpp

@@ -38,11 +38,19 @@ void cpp_exception_list_rec(
       cpp_exception_list_rec(src.subtype(), ns, "_ptr"+suffix, dest);
     }
   }
+  else if(src.id() == ID_union_tag)
+  {
+    cpp_exception_list_rec(ns.follow_tag(to_union_tag_type(src)), ns, suffix, dest);
+  }
   else if(src.id()==ID_union)
   {
     // just get tag
     dest.push_back("union_"+src.get_string(ID_tag));
   }
+  else if(src.id() == ID_struct_tag)
+  {
+    cpp_exception_list_rec(ns.follow_tag(to_struct_tag_type(src)), ns, suffix, dest);
+  }
   else if(src.id()==ID_struct)
   {
     // just get tag

src/cpp/cpp_instantiate_template.cpp

@@ -48,6 +48,9 @@ std::string cpp_typecheckt::template_suffix(
       const typet &type=expr.type();
       if(type.id() == ID_symbol_type)
         result += id2string(to_symbol_type(type).get_identifier());
+      else if(type.id() == ID_struct_tag ||
+              type.id() == ID_union_tag)
+        result += id2string(to_tag_type(type).get_identifier());
       else
         result+=cpp_type2name(type);
     }

src/cpp/cpp_is_pod.cpp

@@ -82,6 +82,13 @@ bool cpp_typecheckt::cpp_is_pod(const typet &type) const
     DATA_INVARIANT(symb.is_type, "type symbol is a type");
     return cpp_is_pod(symb.type);
   }
+  else if(type.id() == ID_struct_tag ||
+          type.id() == ID_union_tag)
+  {
+    const symbolt &symb = lookup(to_tag_type(type));
+    DATA_INVARIANT(symb.is_type, "tag symbol is a type");
+    return cpp_is_pod(symb.type);
+  }
 
   // everything else is POD
   return true;