Choose mapped-to type when doing higher depth search

Author: Matthias Güdemann

jbmc/src/java_bytecode/select_pointer_type.cpp

@@ -149,10 +149,34 @@ optionalt<pointer_typet> select_pointer_typet::get_instantiated_type(
     &generic_parameter_specialization_map) const
 {
   generic_parameter_recursion_trackingt visited;
-  const auto retval = get_instantiated_type(
-    parameter_name, generic_parameter_specialization_map, visited, 0);
-  INVARIANT(visited.empty(), "recursion set must be empty here");
-  return retval;
+  size_t depth = 0;
+  const size_t max =
+    generic_parameter_specialization_map.find(parameter_name)->second.size();
+
+  irep_idt current_parameter = parameter_name;
+  while(depth < max)
+  {
+    const auto retval = get_instantiated_type(
+      current_parameter, generic_parameter_specialization_map, visited, depth);
+    if(retval.has_value())
+    {
+      if(is_java_generic_parameter(*retval))
+      {
+        UNREACHABLE;
+      }
+      return retval;
+    }
+    INVARIANT(visited.empty(), "recursion set must be empty here");
+
+    const auto &entry =
+      generic_parameter_specialization_map.find(current_parameter)
+        ->second.back();
+    const java_generic_parametert &gen_param = to_java_generic_parameter(entry);
+    const auto &type_var = gen_param.type_variable();
+    current_parameter = type_var.get_identifier();
+    depth++;
+  }
+  return {};
 }
 
 /// See above, the additional parameter just tracks the recursion to prevent
@@ -179,16 +203,14 @@ optionalt<pointer_typet> select_pointer_typet::get_instantiated_type(
     const auto &replacements =
       generic_parameter_specialization_map.find(parameter_name)->second;
 
-    // max depth reached and nothing found
+    // max depth reached and nothing found, TODO return bound
     if(replacements.size() <= depth)
       return {};
 
-    // Check if there is a recursion loop, if yes increase search depth
+    // Check if there is a recursion loop, if yes return with nothing found
     if(visited.find(parameter_name) != visited.end())
     {
-      visited.clear();
-      return get_instantiated_type(
-        parameter_name, generic_parameter_specialization_map, visited, depth+1);
+      return {};
     }
     else
     {