Merge pull request #4876 from romainbrenguier/bugfix/convert-method-include

romainbrenguier · web-flow · commit acb3abaf5cd8 · 2019-07-08T10:16:55.000+01:00
Default initialize class_hierarchy
diff --git a/jbmc/unit/java_bytecode/java_bytecode_convert_method/convert_method.cpp b/jbmc/unit/java_bytecode/java_bytecode_convert_method/convert_method.cpp
@@ -414,7 +414,7 @@ SCENARIO(
 {
   symbol_tablet symbol_table;
   java_string_library_preprocesst string_preprocess;
-  const class_hierarchyt class_hierarchy;
+  const class_hierarchyt class_hierarchy{};
   java_bytecode_convert_methodt converter{symbol_table,
                                           null_message_handler,
                                           10,

Original file line number	Diff line number	Diff line change
`@@ -414,7 +414,7 @@ SCENARIO(`
`414`	`414`	`{`
`415`	`415`	`symbol_tablet symbol_table;`
`416`	`416`	`java_string_library_preprocesst string_preprocess;`
`417`		`- const class_hierarchyt class_hierarchy;`
	`417`	`+ const class_hierarchyt class_hierarchy{};`
`418`	`418`	`java_bytecode_convert_methodt converter{symbol_table,`
`419`	`419`	`null_message_handler,`
`420`	`420`	`10,`