Return input pointer_type in case of no instantiation

Matthias Güdemann · Matthias Güdemann · commit 8b4920e066eb · 2018-06-06T15:16:53.000+02:00
diff --git a/jbmc/src/java_bytecode/select_pointer_type.cpp b/jbmc/src/java_bytecode/select_pointer_type.cpp
@@ -96,7 +96,7 @@ pointer_typet select_pointer_typet::specialize_generics(
       else
       {
         // return pointer type of generic parameter bound
-        return java_reference_type(parameter.subtype());
+        return pointer_type;
       }
     }
 

Original file line number	Diff line number	Diff line change
`@@ -96,7 +96,7 @@ pointer_typet select_pointer_typet::specialize_generics(`
`96`	`96`	`else`
`97`	`97`	`{`
`98`	`98`	`// return pointer type of generic parameter bound`
`99`		`- return java_reference_type(parameter.subtype());`
	`99`	`+ return pointer_type;`
`100`	`100`	`}`
`101`	`101`	`}`
`102`	`102`