Bad stack map frame when using conditional with generic array type

Issue #233 resolved
Jesper Öqvist created an issue

ExtendJ 8.0.1-234-g7a7bcbc Java SE 8

ExtendJ generates broken bytecode for this test:

public class Test {
  public static void main(String[] args) {

  static Class<?>[] foo(boolean b) {
    return b ? new Class<?>[10] : new Class[20];

Expected result: it should produce the output 20, 10.

Actual result:

    [junit] [FAIL] runTest[generics/array_erasure_01p](tests.extendj.TestJava7)
    [junit] Error output files differ expected:<[]> but was:<[Error: A JNI error has occurred, please check your installation and try again
    [junit] Exception in thread "main" java.lang.VerifyError: Bad return type
    [junit] Exception Details:
    [junit]   Location:
    [junit][Ljava/lang/Class; @17: areturn
    [junit]   Reason:
    [junit]     Type 'java/lang/Object' (current frame, stack[0]) is not assignable to '[Ljava/lang/Class;' (from method signature)
    [junit]   Current Frame:
    [junit]     bci: @17
    [junit]     flags: { }
    [junit]     locals: { integer }
    [junit]     stack: { 'java/lang/Object' }
    [junit]   Bytecode:
    [junit]     0x0000000: 1a99 000b 100a bd00 29a7 0008 1014 bd00
    [junit]     0x0000010: 29b0                                   
    [junit]   Stackmap Table:
    [junit]     same_frame(@12)
    [junit]     same_locals_1_stack_item_frame(@17,Object[#4])
    [junit]     at java.lang.Class.getDeclaredMethods0(Native Method)
    [junit]     at java.lang.Class.privateGetDeclaredMethods(
    [junit]     at java.lang.Class.privateGetMethodRecursive(
    [junit]     at java.lang.Class.getMethod0(
    [junit]     at java.lang.Class.getMethod(
    [junit]     at sun.launcher.LauncherHelper.validateMainClass(
    [junit]     at sun.launcher.LauncherHelper.checkAndLoadMain(]>

Comments (1)

  1. Jesper Öqvist reporter

    Fix error in verification type equality tests

    Reference identity can't be used to compare verification types since different type declarations can have the same verification type. This adds the sameType method to compare verification types.

    fixes #233 (bitbucket)

    → <<cset fcd63a5af775>>

  2. Log in to comment