Updates requested in PR diffblue#133.

Author: marek-trtik

src/taint-slicer/instrumentation_props.cpp

@@ -29,7 +29,7 @@ instrumentation_props data structure.
 #include <util/msgstream.h>
 #include <deque>
 
-bool is_primitive_type(const typet type)
+bool is_primitive_type(const typet &type)
 {
   return type==java_boolean_type() ||
          type==java_boolean_type() ||
@@ -364,14 +364,10 @@ void dump_as_json(const taint_instrumentation_propst &props, json_objectt &out)
       json_objectt out_type_props;
       out_type_props["type_name"]=json_stringt(elem.first);
       out_type_props["shadow_vars"]=out_tokens;
-      if(elem.second.subclass_required())
-        out_type_props["make_subclass"]=json_truet();
-      else
-        out_type_props["make_subclass"]=json_falset();
-      if(elem.second.is_primitive())
-        out_type_props["is_primitive"]=json_truet();
-      else
-        out_type_props["is_primitive"]=json_falset();
+      out_type_props["make_subclass"]=jsont::json_boolean(
+        elem.second.subclass_required());
+      out_type_props["is_primitive"]=jsont::json_boolean(
+        elem.second.is_primitive());
       out_types.push_back(out_type_props);
     }
     out["datatypes"]=out_types;

src/taint-slicer/instrumentation_props.h

@@ -154,7 +154,7 @@ void taint_build_instrumentation_props(
   const taint_programt &program,
   std::vector<taint_instrumentation_propst> &output);
 
-bool is_primitive_type(const typet type);
+bool is_primitive_type(const typet &type);
 std::string parse_type_name(const typet &type, const namespacet &ns);
 bool is_java_array_type_name(const std::string &datatype);
 bool does_instrumentation_of_type_require_subclass(