| /******************************************************************************* |
| * Copyright (c) 2000, 2014 IBM Corporation and others. |
| * All rights reserved. This program and the accompanying materials |
| * are made available under the terms of the Eclipse Public License v1.0 |
| * which accompanies this distribution, and is available at |
| * http://www.eclipse.org/legal/epl-v10.html |
| * |
| * Contributors: |
| * IBM Corporation - initial API and implementation |
| * Stephan Herrmann <stephan@cs.tu-berlin.de> - Contribution for Bug 331872 - [compiler] NPE in Scope.createArrayType when attempting qualified access from type parameter |
| * Andy Clement (GoPivotal, Inc) aclement@gopivotal.com - Contributions for |
| * Bug 409247 - [1.8][compiler] Verify error with code allocating multidimensional array |
| *******************************************************************************/ |
| package org.eclipse.jdt.core.tests.compiler.regression; |
| import java.io.File; |
| import java.util.Map; |
| |
| import junit.framework.Test; |
| |
| import org.eclipse.jdt.core.ToolFactory; |
| import org.eclipse.jdt.core.tests.util.Util; |
| import org.eclipse.jdt.core.util.ClassFileBytesDisassembler; |
| import org.eclipse.jdt.internal.compiler.classfmt.ClassFileConstants; |
| import org.eclipse.jdt.internal.compiler.impl.CompilerOptions; |
| |
| @SuppressWarnings({ "unchecked", "rawtypes" }) |
| public class ArrayTest extends AbstractRegressionTest { |
| |
| static { |
| // TESTS_NUMBERS = new int[] { 18 }; |
| } |
| public ArrayTest(String name) { |
| super(name); |
| } |
| |
| public static Test suite() { |
| return buildAllCompliancesTestSuite(testClass()); |
| } |
| |
| public static Class testClass() { |
| return ArrayTest.class; |
| } |
| |
| public void test001() { |
| this.runConformTest(new String[] { |
| "p/X.java", |
| "package p;\n" + |
| "public class X {\n" + |
| " int[] x= new int[] {,};\n" + |
| "}\n", |
| }); |
| } |
| |
| /** |
| * http://dev.eclipse.org/bugs/show_bug.cgi?id=28615 |
| */ |
| public void test002() { |
| this.runConformTest( |
| new String[] { |
| "A.java", |
| "public class A {\n" + |
| " public static void main(String[] args) {\n" + |
| " float[] tab = new float[] {-0.0f};\n" + |
| " System.out.print(tab[0]);\n" + |
| " }\n" + |
| "}", |
| }, |
| "-0.0"); |
| } |
| /** |
| * http://dev.eclipse.org/bugs/show_bug.cgi?id=28615 |
| */ |
| public void test003() { |
| this.runConformTest( |
| new String[] { |
| "A.java", |
| "public class A {\n" + |
| " public static void main(String[] args) {\n" + |
| " float[] tab = new float[] {0.0f};\n" + |
| " System.out.print(tab[0]);\n" + |
| " }\n" + |
| "}", |
| }, |
| "0.0"); |
| } |
| /** |
| * http://dev.eclipse.org/bugs/show_bug.cgi?id=28615 |
| */ |
| public void test004() { |
| this.runConformTest( |
| new String[] { |
| "A.java", |
| "public class A {\n" + |
| " public static void main(String[] args) {\n" + |
| " int[] tab = new int[] {-0};\n" + |
| " System.out.print(tab[0]);\n" + |
| " }\n" + |
| "}", |
| }, |
| "0"); |
| } |
| /** |
| * http://bugs.eclipse.org/bugs/show_bug.cgi?id=37387 |
| */ |
| public void test005() throws Exception { |
| this.runConformTest( |
| new String[] { |
| "X.java", |
| "public class X {\n" + |
| " private static final Object X[] = new Object[]{null,null};\n" + |
| " public static void main(String[] args) {\n" + |
| " System.out.println(\"SUCCESS\");\n" + |
| " }\n" + |
| "}\n", |
| }, |
| "SUCCESS"); |
| |
| ClassFileBytesDisassembler disassembler = ToolFactory.createDefaultClassFileBytesDisassembler(); |
| byte[] classFileBytes = org.eclipse.jdt.internal.compiler.util.Util.getFileByteContent(new File(OUTPUT_DIR + File.separator +"X.class")); |
| String actualOutput = |
| disassembler.disassemble( |
| classFileBytes, |
| "\n", |
| ClassFileBytesDisassembler.DETAILED); |
| |
| String expectedOutput = |
| " static {};\n" + |
| " 0 iconst_2\n" + |
| " 1 anewarray java.lang.Object [3]\n" + |
| " 4 putstatic X.X : java.lang.Object[] [9]\n" + |
| " 7 return\n" + |
| " Line numbers:\n" + |
| " [pc: 0, line: 2]\n"; |
| |
| int index = actualOutput.indexOf(expectedOutput); |
| if (index == -1 || expectedOutput.length() == 0) { |
| System.out.println(Util.displayString(actualOutput, 3)); |
| } |
| if (index == -1) { |
| assertEquals("unexpected bytecode sequence", expectedOutput, actualOutput); |
| } |
| } |
| /** |
| * http://dev.eclipse.org/bugs/show_bug.cgi?id=80597 |
| */ |
| public void test006() { |
| this.runNegativeTest( |
| new String[] { |
| "X.java", |
| "public class X {\n" + |
| " void foo() {\n" + |
| " char[][][] array = new char[][][10];\n" + |
| " }\n" + |
| "}", |
| }, |
| "----------\n" + |
| "1. ERROR in X.java (at line 3)\n" + |
| " char[][][] array = new char[][][10];\n" + |
| " ^^\n" + |
| "Cannot specify an array dimension after an empty dimension\n" + |
| "----------\n"); |
| } |
| /** |
| * http://bugs.eclipse.org/bugs/show_bug.cgi?id=85203 |
| */ |
| public void test007() { |
| this.runConformTest( |
| new String[] { |
| "X.java", |
| "public class X {\n" + |
| " static long lfield;\n" + |
| " \n" + |
| " public static void main(String[] args) {\n" + |
| " lfield = args.length;\n" + |
| " lfield = args(args).length;\n" + |
| " \n" + |
| " }\n" + |
| " static String[] args(String[] args) {\n" + |
| " return args;\n" + |
| " }\n" + |
| "}\n", |
| }, |
| ""); |
| } |
| /** |
| * http://bugs.eclipse.org/bugs/show_bug.cgi?id=85125 |
| */ |
| public void test008() { |
| this.runConformTest( |
| new String[] { |
| "X.java", |
| "public class X {\n" + |
| " public String getTexts(int i) [] {\n" + |
| " String[] texts = new String[1];\n" + |
| " return texts; \n" + |
| " }\n" + |
| " public static void main(String[] args) {\n" + |
| " System.out.println(\"SUCCESS\");\n" + |
| " }\n" + |
| "}\n", |
| }, |
| "SUCCESS"); |
| } |
| // check deep resolution of faulty initializer (no array expected type) |
| // https://bugs.eclipse.org/bugs/show_bug.cgi?id=120263 |
| public void test009() { |
| this.runNegativeTest( |
| new String[] { |
| "X.java", |
| "public class X {\n" + |
| " void foo() {\n" + |
| " X x = { 10, zork() };\n" + |
| " }\n" + |
| "}\n", |
| }, |
| "----------\n" + |
| "1. ERROR in X.java (at line 3)\n" + |
| " X x = { 10, zork() };\n" + |
| " ^^^^^^^^^^^^^^\n" + |
| "Type mismatch: cannot convert from int[] to X\n" + |
| "----------\n" + |
| "2. ERROR in X.java (at line 3)\n" + |
| " X x = { 10, zork() };\n" + |
| " ^^^^\n" + |
| "The method zork() is undefined for the type X\n" + |
| "----------\n"); |
| } |
| //https://bugs.eclipse.org/bugs/show_bug.cgi?id=124101 |
| public void test010() { |
| this.runNegativeTest( |
| new String[] { |
| "X.java", |
| "public class X {\n" + |
| " \n" + |
| " int i = {};\n" + |
| "}\n", |
| }, |
| "----------\n" + |
| "1. ERROR in X.java (at line 3)\n" + |
| " int i = {};\n" + |
| " ^^\n" + |
| "Type mismatch: cannot convert from Object[] to int\n" + |
| "----------\n"); |
| } |
| //https://bugs.eclipse.org/bugs/show_bug.cgi?id=148807 - variation |
| public void test011() throws Exception { |
| if (new CompilerOptions(getCompilerOptions()).complianceLevel < ClassFileConstants.JDK1_5) { |
| // there is a bug on 1.4 VMs which make them fail verification (see 148807) |
| return; |
| } |
| this.runConformTest( |
| new String[] { |
| "X.java", |
| "public class X {\n" + |
| " public static void main(String[] args) {\n" + |
| " try {\n" + |
| " Object[][] all = new String[1][];\n" + |
| " all[0] = new Object[0];\n" + |
| " } catch (ArrayStoreException e) {\n" + |
| " System.out.println(\"SUCCESS\");\n" + |
| " }\n" + |
| " }\n" + |
| "}", // ================= |
| }, |
| "SUCCESS"); |
| String expectedOutput = |
| " // Method descriptor #15 ([Ljava/lang/String;)V\n" + |
| " // Stack: 3, Locals: 2\n" + |
| " public static void main(java.lang.String[] args);\n" + |
| " 0 iconst_1\n" + |
| " 1 anewarray java.lang.String[] [16]\n" + |
| " 4 astore_1 [all]\n" + |
| " 5 aload_1 [all]\n" + |
| " 6 iconst_0\n" + |
| " 7 iconst_0\n" + |
| " 8 anewarray java.lang.Object [3]\n" + |
| " 11 aastore\n" + |
| " 12 goto 24\n" + |
| " 15 astore_1 [e]\n" + |
| " 16 getstatic java.lang.System.out : java.io.PrintStream [18]\n" + |
| " 19 ldc <String \"SUCCESS\"> [24]\n" + |
| " 21 invokevirtual java.io.PrintStream.println(java.lang.String) : void [26]\n" + |
| " 24 return\n" + |
| " Exception Table:\n" + |
| " [pc: 0, pc: 12] -> 15 when : java.lang.ArrayStoreException\n" + |
| " Line numbers:\n" + |
| " [pc: 0, line: 4]\n" + |
| " [pc: 5, line: 5]\n" + |
| " [pc: 12, line: 6]\n" + |
| " [pc: 16, line: 7]\n" + |
| " [pc: 24, line: 9]\n" + |
| " Local variable table:\n" + |
| " [pc: 0, pc: 25] local: args index: 0 type: java.lang.String[]\n" + |
| " [pc: 5, pc: 12] local: all index: 1 type: java.lang.Object[][]\n" + |
| " [pc: 16, pc: 24] local: e index: 1 type: java.lang.ArrayStoreException\n"; |
| |
| File f = new File(OUTPUT_DIR + File.separator + "X.class"); |
| byte[] classFileBytes = org.eclipse.jdt.internal.compiler.util.Util.getFileByteContent(f); |
| ClassFileBytesDisassembler disassembler = ToolFactory.createDefaultClassFileBytesDisassembler(); |
| String result = disassembler.disassemble(classFileBytes, "\n", ClassFileBytesDisassembler.DETAILED); |
| int index = result.indexOf(expectedOutput); |
| if (index == -1 || expectedOutput.length() == 0) { |
| System.out.println(Util.displayString(result, 3)); |
| } |
| if (index == -1) { |
| assertEquals("Wrong contents", expectedOutput, result); |
| } |
| } |
| //https://bugs.eclipse.org/bugs/show_bug.cgi?id=148807 - variation |
| public void test012() throws Exception { |
| if (new CompilerOptions(getCompilerOptions()).complianceLevel < ClassFileConstants.JDK1_5) { |
| // there is a bug on 1.4 VMs which make them fail verification (see 148807) |
| return; |
| } |
| this.runConformTest( |
| new String[] { |
| "X.java", |
| "import java.util.Map;\n" + |
| "\n" + |
| "public class X {\n" + |
| " Map fValueMap;\n" + |
| "\n" + |
| " public static void main(String[] args) {\n" + |
| " System.out.println(\"SUCCESS\");\n" + |
| " }\n" + |
| " public Object[][] getAllChoices() {\n" + |
| " Object[][] all = new String[this.fValueMap.size()][];\n" + |
| " return all;\n" + |
| " }\n" + |
| "}", // =================, |
| }, |
| "SUCCESS"); |
| String expectedOutput = |
| " // Method descriptor #35 ()[[Ljava/lang/Object;\n" + |
| " // Stack: 1, Locals: 2\n" + |
| " public java.lang.Object[][] getAllChoices();\n" + |
| " 0 aload_0 [this]\n" + |
| " 1 getfield X.fValueMap : java.util.Map [36]\n" + |
| " 4 invokeinterface java.util.Map.size() : int [38] [nargs: 1]\n" + |
| " 9 anewarray java.lang.String[] [44]\n" + |
| " 12 astore_1 [all]\n" + |
| " 13 aload_1 [all]\n" + |
| " 14 areturn\n" + |
| " Line numbers:\n" + |
| " [pc: 0, line: 10]\n" + |
| " [pc: 13, line: 11]\n" + |
| " Local variable table:\n" + |
| " [pc: 0, pc: 15] local: this index: 0 type: X\n" + |
| " [pc: 13, pc: 15] local: all index: 1 type: java.lang.Object[][]\n"; |
| |
| File f = new File(OUTPUT_DIR + File.separator + "X.class"); |
| byte[] classFileBytes = org.eclipse.jdt.internal.compiler.util.Util.getFileByteContent(f); |
| ClassFileBytesDisassembler disassembler = ToolFactory.createDefaultClassFileBytesDisassembler(); |
| String result = disassembler.disassemble(classFileBytes, "\n", ClassFileBytesDisassembler.DETAILED); |
| int index = result.indexOf(expectedOutput); |
| if (index == -1 || expectedOutput.length() == 0) { |
| System.out.println(Util.displayString(result, 3)); |
| } |
| if (index == -1) { |
| assertEquals("Wrong contents", expectedOutput, result); |
| } |
| } |
| //check resolution of faulty initializer |
| //https://bugs.eclipse.org/bugs/show_bug.cgi?id=179477 |
| public void test013() { |
| this.runNegativeTest( |
| new String[] { |
| "X.java", |
| "public class X {\n" + |
| " String[] m(String arg) {\n" + |
| " System.out.println(argument + argument);\n" + |
| " return new String[] { argument + argument, argument/*no problem*/ };\n" + |
| " }\n" + |
| "}", // ================= |
| }, |
| "----------\n" + |
| "1. ERROR in X.java (at line 3)\n" + |
| " System.out.println(argument + argument);\n" + |
| " ^^^^^^^^\n" + |
| "argument cannot be resolved to a variable\n" + |
| "----------\n" + |
| "2. ERROR in X.java (at line 3)\n" + |
| " System.out.println(argument + argument);\n" + |
| " ^^^^^^^^\n" + |
| "argument cannot be resolved to a variable\n" + |
| "----------\n" + |
| "3. ERROR in X.java (at line 4)\n" + |
| " return new String[] { argument + argument, argument/*no problem*/ };\n" + |
| " ^^^^^^^^\n" + |
| "argument cannot be resolved to a variable\n" + |
| "----------\n" + |
| "4. ERROR in X.java (at line 4)\n" + |
| " return new String[] { argument + argument, argument/*no problem*/ };\n" + |
| " ^^^^^^^^\n" + |
| "argument cannot be resolved to a variable\n" + |
| "----------\n" + |
| "5. ERROR in X.java (at line 4)\n" + |
| " return new String[] { argument + argument, argument/*no problem*/ };\n" + |
| " ^^^^^^^^\n" + |
| "argument cannot be resolved to a variable\n" + |
| "----------\n"); |
| } |
| //https://bugs.eclipse.org/bugs/show_bug.cgi?id=247307 |
| // Check return type of array#clone() |
| public void test014() throws Exception { |
| Map optionsMap = getCompilerOptions(); |
| CompilerOptions options = new CompilerOptions(optionsMap); |
| if (options.complianceLevel > ClassFileConstants.JDK1_4) { |
| // check that #clone() return type is changed ONLY from -source 1.5 only (independant from compliance level) |
| optionsMap.put(CompilerOptions.OPTION_Source, CompilerOptions.VERSION_1_4); |
| } |
| this.runNegativeTest( |
| new String[] { |
| "X.java", |
| "public class X {\n" + |
| " void foo(long[] longs) throws Exception {\n" + |
| " long[] other = longs.clone();\n" + |
| " }\n" + |
| "}\n", |
| }, |
| "----------\n" + |
| "1. ERROR in X.java (at line 3)\n" + |
| " long[] other = longs.clone();\n" + |
| " ^^^^^^^^^^^^^\n" + |
| "Type mismatch: cannot convert from Object to long[]\n" + |
| "----------\n", |
| null, |
| true, |
| optionsMap); |
| } |
| //https://bugs.eclipse.org/bugs/show_bug.cgi?id=247307 - variation |
| //Check return type of array#clone() |
| public void test015() throws Exception { |
| if ( new CompilerOptions(getCompilerOptions()).sourceLevel < ClassFileConstants.JDK1_5) { |
| return; |
| } |
| this.runConformTest( |
| new String[] { |
| "X.java", |
| "public class X {\n" + |
| " void foo(long[] longs) throws Exception {\n" + |
| " long[] other = longs.clone();\n" + |
| " }\n" + |
| "}\n", |
| }, |
| ""); |
| } |
| //https:bugs.eclipse.org/bugs/show_bug.cgi?id=247307 - variation |
| //Check constant pool declaring class of array#clone() |
| public void test016() throws Exception { |
| this.runConformTest( |
| new String[] { |
| "X.java", |
| "public class X {\n" + |
| " void foo(long[] longs) throws Exception {\n" + |
| " Object other = longs.clone();\n" + |
| " }\n" + |
| "}\n", |
| }, |
| ""); |
| ClassFileBytesDisassembler disassembler = ToolFactory.createDefaultClassFileBytesDisassembler(); |
| byte[] classFileBytes = org.eclipse.jdt.internal.compiler.util.Util.getFileByteContent(new File(OUTPUT_DIR + File.separator +"X.class")); |
| String actualOutput = |
| disassembler.disassemble( |
| classFileBytes, |
| "\n", |
| ClassFileBytesDisassembler.DETAILED); |
| |
| String expectedOutput = new CompilerOptions(getCompilerOptions()).sourceLevel <= ClassFileConstants.JDK1_4 |
| ? " // Method descriptor #15 ([J)V\n" + |
| " // Stack: 1, Locals: 3\n" + |
| " void foo(long[] longs) throws java.lang.Exception;\n" + |
| " 0 aload_1 [longs]\n" + |
| " 1 invokevirtual java.lang.Object.clone() : java.lang.Object [19]\n" + |
| " 4 astore_2 [other]\n" + |
| " 5 return\n" + |
| " Line numbers:\n" + |
| " [pc: 0, line: 3]\n" + |
| " [pc: 5, line: 4]\n" |
| : " // Method descriptor #15 ([J)V\n" + |
| " // Stack: 1, Locals: 3\n" + |
| " void foo(long[] longs) throws java.lang.Exception;\n" + |
| " 0 aload_1 [longs]\n" + |
| " 1 invokevirtual long[].clone() : java.lang.Object [19]\n" + |
| " 4 astore_2 [other]\n" + |
| " 5 return\n" + |
| " Line numbers:\n" + |
| " [pc: 0, line: 3]\n" + |
| " [pc: 5, line: 4]\n"; |
| |
| int index = actualOutput.indexOf(expectedOutput); |
| if (index == -1 || expectedOutput.length() == 0) { |
| System.out.println(Util.displayString(actualOutput, 3)); |
| } |
| if (index == -1) { |
| assertEquals("unexpected bytecode sequence", expectedOutput, actualOutput); |
| } |
| return; |
| } |
| |
| //https://bugs.eclipse.org/bugs/show_bug.cgi?id=247307 - variation |
| //Check constant pool declaring class of array#clone() |
| public void test017() throws Exception { |
| Map optionsMap = getCompilerOptions(); |
| CompilerOptions options = new CompilerOptions(optionsMap); |
| if (options.complianceLevel > ClassFileConstants.JDK1_4) { |
| // check that #clone() return type is changed ONLY from -source 1.5 only (independant from compliance level) |
| optionsMap.put(CompilerOptions.OPTION_Source, CompilerOptions.VERSION_1_4); |
| } |
| this.runConformTest( |
| new String[] { |
| "X.java", |
| "public class X {\n" + |
| " void foo(long[] longs) throws Exception {\n" + |
| " Object other = longs.clone();\n" + |
| " }\n" + |
| "}\n", |
| }, |
| "", |
| null, |
| true, |
| null, |
| optionsMap, |
| null); |
| ClassFileBytesDisassembler disassembler = ToolFactory.createDefaultClassFileBytesDisassembler(); |
| byte[] classFileBytes = org.eclipse.jdt.internal.compiler.util.Util.getFileByteContent(new File(OUTPUT_DIR + File.separator +"X.class")); |
| String actualOutput = |
| disassembler.disassemble( |
| classFileBytes, |
| "\n", |
| ClassFileBytesDisassembler.DETAILED); |
| |
| String expectedOutput = |
| " // Method descriptor #15 ([J)V\n" + |
| " // Stack: 1, Locals: 3\n" + |
| " void foo(long[] longs) throws java.lang.Exception;\n" + |
| " 0 aload_1 [longs]\n" + |
| " 1 invokevirtual java.lang.Object.clone() : java.lang.Object [19]\n" + |
| " 4 astore_2 [other]\n" + |
| " 5 return\n" + |
| " Line numbers:\n" + |
| " [pc: 0, line: 3]\n" + |
| " [pc: 5, line: 4]\n"; |
| |
| int index = actualOutput.indexOf(expectedOutput); |
| if (index == -1 || expectedOutput.length() == 0) { |
| System.out.println(Util.displayString(actualOutput, 3)); |
| } |
| if (index == -1) { |
| assertEquals("unexpected bytecode sequence", expectedOutput, actualOutput); |
| } |
| } |
| |
| // https://bugs.eclipse.org/331872 - [compiler] NPE in Scope.createArrayType when attempting qualified access from type parameter |
| public void test018() throws Exception { |
| if (this.complianceLevel < ClassFileConstants.JDK1_5) |
| return; |
| this.runNegativeTest( |
| new String[] { |
| "X.java", |
| "public class X<p> {\n" + |
| " void foo(p.O[] elems) {\n" + |
| " }\n" + |
| " void bar() {\n" + |
| " foo(new Object[0]);\n" + |
| " }\n" + |
| "}\n", |
| }, |
| "----------\n" + |
| "1. ERROR in X.java (at line 2)\n" + |
| " void foo(p.O[] elems) {\n" + |
| " ^^^^^\n" + |
| "Illegal qualified access from the type parameter p\n" + |
| "----------\n" + |
| "2. ERROR in X.java (at line 5)\n" + |
| " foo(new Object[0]);\n" + |
| " ^^^\n" + |
| "The method foo(Object[]) is undefined for the type X<p>\n" + |
| "----------\n"); |
| } |
| |
| // https://bugs.eclipse.org/bugs/show_bug.cgi?id=409247 - [1.8][compiler] Verify error with code allocating multidimensional array |
| public void test019() throws Exception { |
| this.runConformTest( |
| new String[] { |
| "X.java", |
| "public class X {\n" + |
| " public static void main(String[] args) {\n" + |
| " X [][][] x = new X[10][10][];\n" + |
| " System.out.println(\"SUCCESS\");\n" + |
| " }\n" + |
| "}\n", |
| }, |
| "SUCCESS"); |
| } |
| } |