Merge pull request diffblue#475 from diffblue/fix-methods-to-ignore

owen-jones-diffblue · web-flow · commit 5b3cd06403c0 · 2018-06-27T11:25:23.000+01:00
Call assign_parameters on ignored methods
diff --git a/cbmc/jbmc/src/java_bytecode/java_bytecode_convert_method.cpp b/cbmc/jbmc/src/java_bytecode/java_bytecode_convert_method.cpp
@@ -421,6 +421,12 @@ void java_bytecode_convert_method_lazy(
     method_symbol.type.set(ID_C_must_not_throw, true);
   }
 
+  if(cprover_methods_to_ignore.count(id2string(method_symbol.base_name)))
+  {
+    assign_parameter_names(
+      to_code_type(method_symbol.type), method_symbol.name, symbol_table);
+  }
+
   symbol_table.add(method_symbol);
 }
 

Original file line number	Diff line number	Diff line change
`@@ -421,6 +421,12 @@ void java_bytecode_convert_method_lazy(`
`421`	`421`	`method_symbol.type.set(ID_C_must_not_throw, true);`
`422`	`422`	`}`
`423`	`423`
	`424`	`+ if(cprover_methods_to_ignore.count(id2string(method_symbol.base_name)))`
	`425`	`+ {`
	`426`	`+ assign_parameter_names(`
	`427`	`+ to_code_type(method_symbol.type), method_symbol.name, symbol_table);`
	`428`	`+ }`
	`429`	`+`
`424`	`430`	`symbol_table.add(method_symbol);`
`425`	`431`	`}`
`426`	`432`