From 624b6fec4cb8d8b2409b51a1c34d247a38d83758 Mon Sep 17 00:00:00 2001 From: rtrimana Date: Tue, 25 Jun 2019 11:31:41 -0700 Subject: [PATCH] Fixing a bug: the specification is not accurate for WildcardTypeImpl. The com.sun.beans.TypeResolver seems to require the upperBounds field to never be null, but when we run it on the actual JVM, this field can be null when it is not needed (when lowerBounds exist). --- src/peers/gov/nasa/jpf/vm/JPF_java_lang_reflect_Method.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/peers/gov/nasa/jpf/vm/JPF_java_lang_reflect_Method.java b/src/peers/gov/nasa/jpf/vm/JPF_java_lang_reflect_Method.java index 5a890df..123cbbb 100644 --- a/src/peers/gov/nasa/jpf/vm/JPF_java_lang_reflect_Method.java +++ b/src/peers/gov/nasa/jpf/vm/JPF_java_lang_reflect_Method.java @@ -221,6 +221,7 @@ public class JPF_java_lang_reflect_Method extends NativePeer { // Set lowerBounds lRef = env.newObjectArray("Ljava/lang/reflect/Type;", 1); env.setReferenceArrayElement(lRef, 0, tpRef); + uRef = env.newObjectArray("Ljava/lang/reflect/Type;", 0); } } else { @@ -286,7 +287,6 @@ public class JPF_java_lang_reflect_Method extends NativePeer { for (int i = 0; i < argTypeNames.length; i++) { env.setReferenceArrayElement(aRef, i, ar[i]); } - return aRef; } -- 2.34.1