Merge pull request diffblue#2320 from tautschnig/vs-return-type

Daniel Kroening · web-flow · commit f2ec10e2d9e7 · 2018-06-09T21:26:56.000+01:00
Fix the return type to match the class member types
diff --git a/jbmc/src/java_bytecode/java_bytecode_parser.cpp b/jbmc/src/java_bytecode/java_bytecode_parser.cpp
@@ -308,11 +308,11 @@ class base_ref_infot : public structured_pool_entryt
     name_and_type_index = entry.ref2;
   }
 
-  u1 get_class_index() const
+  u2 get_class_index() const
   {
     return class_index;
   }
-  u1 get_name_and_type_index() const
+  u2 get_name_and_type_index() const
   {
     return name_and_type_index;
   }

Original file line number	Diff line number	Diff line change
`@@ -308,11 +308,11 @@ class base_ref_infot : public structured_pool_entryt`
`308`	`308`	`name_and_type_index = entry.ref2;`
`309`	`309`	`}`
`310`	`310`
`311`		`- u1 get_class_index() const`
	`311`	`+ u2 get_class_index() const`
`312`	`312`	`{`
`313`	`313`	`return class_index;`
`314`	`314`	`}`
`315`		`- u1 get_name_and_type_index() const`
	`315`	`+ u2 get_name_and_type_index() const`
`316`	`316`	`{`
`317`	`317`	`return name_and_type_index;`
`318`	`318`	`}`