[GR-52240] Fix NPE in JDWP when debugger asks for local variable table.

PullRequest: graal/17158

Author: javeleon

espresso/src/com.oracle.truffle.espresso.jdwp/src/com/oracle/truffle/espresso/jdwp/api/MethodRef.java

@@ -107,13 +107,6 @@ public interface MethodRef {
      */
     byte[] getOriginalCode();
 
-    /**
-     * Returns all declared parameter types of the method.
-     *
-     * @return an array of parameter types
-     */
-    KlassRef[] getParameters();
-
     /**
      * @return the local variable table of the method
      */
@@ -225,11 +218,4 @@ public interface MethodRef {
      * @return last bci
      */
     long getLastBCI();
-
-    /**
-     * Determines if the method was compiled with a variable table.
-     *
-     * @return true if the method has a variable table
-     */
-    boolean hasVariableTable();
 }

espresso/src/com.oracle.truffle.espresso.jdwp/src/com/oracle/truffle/espresso/jdwp/impl/JDWP.java

@@ -1480,23 +1480,7 @@ static CommandResult createReply(Packet packet, JDWPContext context) {
                     return new CommandResult(reply);
                 }
 
-                if (!method.hasVariableTable()) {
-                    reply.errorCode(ErrorCodes.ABSENT_INFORMATION);
-                    return new CommandResult(reply);
-                }
-
-                KlassRef[] params = method.getParameters();
-                int argCnt = 0; // the number of words in the frame used by the arguments
-                for (KlassRef klass : params) {
-                    if (klass.isPrimitive()) {
-                        byte tag = klass.getTagConstant();
-                        if (tag == TagConstants.DOUBLE || tag == TagConstants.LONG) {
-                            argCnt += 2;
-                        } else {
-                            argCnt++;
-                        }
-                    }
-                }
+                int argCnt = getArgCount(method.getSignatureAsString());
                 LocalRef[] locals = method.getLocalVariableTable().getLocals();
 
                 reply.writeInt(argCnt);
@@ -1583,24 +1567,8 @@ static CommandResult createReply(Packet packet, JDWPContext context) {
                 if (method == null) {
                     return new CommandResult(reply);
                 }
-
-                if (!method.hasVariableTable()) {
-                    reply.errorCode(ErrorCodes.ABSENT_INFORMATION);
-                    return new CommandResult(reply);
-                }
-
-                KlassRef[] params = method.getParameters();
-                int argCnt = 0; // the number of words in the frame used by the arguments
-                for (KlassRef klass : params) {
-                    if (klass.isPrimitive()) {
-                        byte tag = klass.getTagConstant();
-                        if (tag == TagConstants.DOUBLE || tag == TagConstants.LONG) {
-                            argCnt += 2;
-                        } else {
-                            argCnt++;
-                        }
-                    }
-                }
+                // the number of words in the frame used by the arguments
+                int argCnt = getArgCount(method.getSignatureAsString());
                 LocalRef[] locals = method.getLocalVariableTable().getLocals();
                 LocalRef[] genericLocals = method.getLocalVariableTypeTable().getLocals();
 
@@ -3240,6 +3208,70 @@ private static int checkSyntheticFlag(int modBits) {
         return mod;
     }
 
+    private static int getArgCount(String signature) {
+        int startIndex = signature.indexOf('(') + 1;
+        int endIndex = signature.indexOf(')');
+        String parameterSig = signature.substring(startIndex, endIndex);
+        int currentCount = 0;
+        int currentIndex = 0;
+        char[] charArray = parameterSig.toCharArray();
+        while (currentIndex < charArray.length) {
+            switch (charArray[currentIndex]) {
+                case 'D':
+                case 'J': {
+                    currentCount += 2;
+                    currentIndex++;
+                    break;
+                }
+                case 'B':
+                case 'C':
+                case 'F':
+                case 'I':
+                case 'S':
+                case 'Z': {
+                    currentCount++;
+                    currentIndex++;
+                    break;
+                }
+                case 'L':
+                    currentCount++;
+                    currentIndex = parameterSig.indexOf(';', currentIndex) + 1;
+                    break;
+                case 'T':
+                    throw new RuntimeException("unexpected type variable");
+                case '[':
+                    currentCount++;
+                    currentIndex += parseArrayType(parameterSig, charArray, currentIndex + 1);
+                    break;
+                default:
+                    throw new RuntimeException("should not reach here");
+            }
+        }
+        return currentCount;
+    }
+
+    private static int parseArrayType(String signature, char[] charArray, int currentIndex) {
+        switch (charArray[currentIndex]) {
+            case 'D':
+            case 'J':
+            case 'B':
+            case 'C':
+            case 'F':
+            case 'I':
+            case 'S':
+            case 'Z':
+                return 2;
+            case 'L':
+                return 2 + signature.indexOf(';', currentIndex) - currentIndex;
+            case 'T':
+                throw new RuntimeException("unexpected type variable");
+            case '[':
+                return 1 + parseArrayType(signature, charArray, currentIndex + 1);
+            default:
+                throw new RuntimeException("should not reach here");
+        }
+    }
+
     private static KlassRef verifyRefType(long refTypeId, PacketStream reply, JDWPContext context) {
         KlassRef klass;
         try {

espresso/src/com.oracle.truffle.espresso/src/com/oracle/truffle/espresso/impl/Method.java

@@ -1418,11 +1418,6 @@ public byte[] getOriginalCode() {
             return getCodeAttribute().getOriginalCode();
         }
 
-        @Override
-        public KlassRef[] getParameters() {
-            return getMethod().getParameters();
-        }
-
         @Override
         public LocalVariableTable getLocalVariableTable() {
             if (codeAttribute != null) {
@@ -1439,11 +1434,6 @@ public LocalVariableTable getLocalVariableTypeTable() {
             return LocalVariableTable.EMPTY_LVTT;
         }
 
-        @Override
-        public boolean hasVariableTable() {
-            return getLocalVariableTable() != LocalVariableTable.EMPTY_LVT;
-        }
-
         @Override
         public LineNumberTableAttribute getLineNumberTable() {
             return getLineNumberTableAttribute();