Do not use default arguments for json(...)

Author: tautschnig

src/cbmc/bmc_cover.cpp

@@ -394,7 +394,8 @@ bool bmc_covert::operator()()
               json_objectt json_input;
               json_input["id"]=json_stringt(id2string(step.io_id));
               if(step.io_args.size()==1)
-                json_input["value"]=json(step.io_args.front(), bmc.ns);
+                json_input["value"]=
+                  json(step.io_args.front(), bmc.ns, ID_unknown);
               json_test.push_back(json_input);
             }
           }

src/goto-programs/json_goto_trace.cpp

@@ -192,7 +192,7 @@ void convert(
           DATA_INVARIANT(
             step.full_lhs_value.is_not_nil(),
             "full_lhs_value in assignment must not be nil");
-          full_lhs_value=json(step.full_lhs_value, ns);
+          full_lhs_value=json(step.full_lhs_value, ns, ID_unknown);
         }
 
         json_assignment["value"]=full_lhs_value;

src/symex/symex_cover.cpp

@@ -164,7 +164,8 @@ void symex_parse_optionst::report_cover(
                 json_objectt json_input;
                 json_input["id"]=json_stringt(id2string(step.io_id));
                 if(step.io_args.size()==1)
-                  json_input["value"]=json(step.io_args.front(), ns);
+                  json_input["value"]=
+                    json(step.io_args.front(), ns, ID_unknown);
                 json_test.push_back(json_input);
               }
             }

src/util/json_expr.h

@@ -23,12 +23,12 @@ class namespacet;
 json_objectt json(
   const exprt &,
   const namespacet &,
-  const irep_idt &mode=ID_unknown);
+  const irep_idt &mode);
 
 json_objectt json(
   const typet &,
   const namespacet &,
-  const irep_idt &mode=ID_unknown);
+  const irep_idt &mode);
 
 json_objectt json(const source_locationt &);