Merge pull request #1871 from mgudemann/bugfix/superclass_references_for_implicit_generic

[TG-2585] Support implicitly generic superclasses

Author: Matthias Güdemann

src/java_bytecode/java_bytecode_convert_class.cpp

@@ -112,8 +112,10 @@ extract_generic_superclass_reference(const optionalt<std::string> &signature)
       signature.value().substr(start, (end - start) + 1);
 
     // if the superclass is generic then the reference is of form
-    // Lsuperclass-name<generic-types;>;
-    if(has_suffix(superclass_ref, ">;"))
+    // `Lsuperclass-name<generic-types;>;` if it is implicitly generic, then the
+    // reference is of the form
+    // `Lsuperclass-name<Tgeneric-types;>.Innerclass-Name`
+    if(superclass_ref.find('<') != std::string::npos)
       return superclass_ref;
   }
   return {};

unit/java_bytecode/java_bytecode_parse_generics/DerivedGenerics.class

@@ -15,6 +15,9 @@ public class DerivedGenerics {
     ExtendsAndImplementsSameInterface new14;
     ExtendsAndImplementsSameInterface2 new15;
     ExtendsAndImplementsSameInterfaceGeneric new16;
+  GenericBase<?>.ExtendImplicit new17;
+  GenericBase<?>.ExtendImplicitAndExplicit<?> new18;
+  GenericBase2<?, ?>.ExtendImplicitAndExplicit new19;
 }
 
 class DerivedGenericInst extends Generic<Interface_Implementation>
@@ -189,3 +192,25 @@ public Class<? extends Class> someMethod(){
     return null;
   }
 }
+
+// This class exists to test that subclasses of implicit generic classes have a
+// base class entry which is a Java generic symbol.
+class GenericBase<T> {
+  class ImplicitGeneric {
+  }
+  class ExtendImplicit extends ImplicitGeneric {
+  }
+  class ImplicitAndExplicitGeneric<S> {
+  }
+  class ExtendImplicitAndExplicit<S> extends ImplicitAndExplicitGeneric<S> {
+  }
+}
+
+// This class exists to test the subclasses of generic and implicitly generic
+// classes have a base class entry which is a Java generic symbol.
+class GenericBase2<T, S> {
+  class ImplicitAndExplicitGeneric<S> {
+  }
+  class ExtendImplicitAndExplicit extends ImplicitAndExplicitGeneric<S> {
+  }
+}