Merge pull request #3084 from diffblue/boolbvt_convert_with_tag_types

boolbvt: convert_with now does struct_tag and union_tag types

Author: Daniel Kroening

src/solvers/flattening/boolbv_with.cpp

@@ -92,8 +92,14 @@ void boolbvt::convert_with(
   else if(type.id()==ID_struct)
     return
       convert_with_struct(to_struct_type(type), op1, op2, prev_bv, next_bv);
+  else if(type.id() == ID_struct_tag)
+    return convert_with(
+      ns.follow_tag(to_struct_tag_type(type)), op1, op2, prev_bv, next_bv);
   else if(type.id()==ID_union)
     return convert_with_union(to_union_type(type), op2, prev_bv, next_bv);
+  else if(type.id() == ID_union_tag)
+    return convert_with(
+      ns.follow_tag(to_union_tag_type(type)), op1, op2, prev_bv, next_bv);
   else if(type.id()==ID_symbol)
     return convert_with(ns.follow(type), op1, op2, prev_bv, next_bv);