Fri, 27 Sep 2013 10:24:56 +0100
8024497: crash returning this-referencing lambda from default method
Reviewed-by: jjg, rfield
aoqi@0 | 1 | /* |
aoqi@0 | 2 | * Copyright (c) 2013, Oracle and/or its affiliates. All rights reserved. |
aoqi@0 | 3 | * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
aoqi@0 | 4 | * |
aoqi@0 | 5 | * This code is free software; you can redistribute it and/or modify it |
aoqi@0 | 6 | * under the terms of the GNU General Public License version 2 only, as |
aoqi@0 | 7 | * published by the Free Software Foundation. |
aoqi@0 | 8 | * |
aoqi@0 | 9 | * This code is distributed in the hope that it will be useful, but WITHOUT |
aoqi@0 | 10 | * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
aoqi@0 | 11 | * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
aoqi@0 | 12 | * version 2 for more details (a copy is included in the LICENSE file that |
aoqi@0 | 13 | * accompanied this code). |
aoqi@0 | 14 | * |
aoqi@0 | 15 | * You should have received a copy of the GNU General Public License version |
aoqi@0 | 16 | * 2 along with this work; if not, write to the Free Software Foundation, |
aoqi@0 | 17 | * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
aoqi@0 | 18 | * |
aoqi@0 | 19 | * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
aoqi@0 | 20 | * or visit www.oracle.com if you need additional information or have any |
aoqi@0 | 21 | * questions. |
aoqi@0 | 22 | */ |
aoqi@0 | 23 | |
aoqi@0 | 24 | /* |
aoqi@0 | 25 | * @test |
aoqi@0 | 26 | * @bug 8009227 |
aoqi@0 | 27 | * @summary Certain diagnostics should not be deferred |
aoqi@0 | 28 | */ |
aoqi@0 | 29 | |
aoqi@0 | 30 | import com.sun.source.util.JavacTask; |
aoqi@0 | 31 | import java.io.BufferedWriter; |
aoqi@0 | 32 | import java.io.File; |
aoqi@0 | 33 | import java.io.FileWriter; |
aoqi@0 | 34 | import java.io.IOException; |
aoqi@0 | 35 | import java.util.Arrays; |
aoqi@0 | 36 | import javax.tools.Diagnostic; |
aoqi@0 | 37 | import javax.tools.JavaCompiler; |
aoqi@0 | 38 | import javax.tools.JavaFileObject; |
aoqi@0 | 39 | import javax.tools.SimpleJavaFileObject; |
aoqi@0 | 40 | import javax.tools.ToolProvider; |
aoqi@0 | 41 | |
aoqi@0 | 42 | public class CompletionFailure { |
aoqi@0 | 43 | |
aoqi@0 | 44 | public static void main(String... args) throws Exception { |
aoqi@0 | 45 | |
aoqi@0 | 46 | String SCRATCH_DIR = System.getProperty("user.dir"); |
aoqi@0 | 47 | JavaCompiler javacTool = ToolProvider.getSystemJavaCompiler(); |
aoqi@0 | 48 | File scratchDir = new File(SCRATCH_DIR); |
aoqi@0 | 49 | |
aoqi@0 | 50 | sourceA.dumpTo(scratchDir); |
aoqi@0 | 51 | sourceB.dumpTo(scratchDir); |
aoqi@0 | 52 | |
aoqi@0 | 53 | JavacTask ct = (JavacTask)javacTool.getTask(null, null, null, |
aoqi@0 | 54 | null, null, Arrays.asList(sourceA.asJFO(scratchDir), sourceB.asJFO(scratchDir))); |
aoqi@0 | 55 | |
aoqi@0 | 56 | ct.generate(); |
aoqi@0 | 57 | |
aoqi@0 | 58 | remove(scratchDir, "A.java"); |
aoqi@0 | 59 | remove(scratchDir, "B.java"); |
aoqi@0 | 60 | remove(scratchDir, "A.class"); |
aoqi@0 | 61 | |
aoqi@0 | 62 | sourceC.dumpTo(scratchDir); |
aoqi@0 | 63 | sourceD.dumpTo(scratchDir); |
aoqi@0 | 64 | |
aoqi@0 | 65 | DiagnosticChecker diagChecker = new DiagnosticChecker(); |
aoqi@0 | 66 | ct = (JavacTask)javacTool.getTask(null, null, diagChecker, |
aoqi@0 | 67 | Arrays.asList("-XDrawDiagnostics", "-cp", scratchDir.getAbsolutePath()), |
aoqi@0 | 68 | null, Arrays.asList(sourceC.asJFO(scratchDir), sourceD.asJFO(scratchDir))); |
aoqi@0 | 69 | try { |
aoqi@0 | 70 | ct.analyze(); |
aoqi@0 | 71 | } catch (Throwable ex) { |
aoqi@0 | 72 | //ignore abort exception thrown by javac |
aoqi@0 | 73 | } |
aoqi@0 | 74 | |
aoqi@0 | 75 | if (!diagChecker.errorFound) { |
aoqi@0 | 76 | throw new AssertionError("Missing diagnostic"); |
aoqi@0 | 77 | } |
aoqi@0 | 78 | } |
aoqi@0 | 79 | |
aoqi@0 | 80 | static void remove(File dir, String fileName) { |
aoqi@0 | 81 | File fileToRemove = new File(dir, fileName); |
aoqi@0 | 82 | fileToRemove.delete(); |
aoqi@0 | 83 | } |
aoqi@0 | 84 | |
aoqi@0 | 85 | static class JavaSource { |
aoqi@0 | 86 | String contents; |
aoqi@0 | 87 | String filename; |
aoqi@0 | 88 | |
aoqi@0 | 89 | public JavaSource(String filename, String contents) { |
aoqi@0 | 90 | this.filename = filename; |
aoqi@0 | 91 | this.contents = contents; |
aoqi@0 | 92 | } |
aoqi@0 | 93 | |
aoqi@0 | 94 | void dumpTo(java.io.File loc) throws Exception { |
aoqi@0 | 95 | File file = new File(loc, filename); |
aoqi@0 | 96 | BufferedWriter bw = new java.io.BufferedWriter(new FileWriter(file)); |
aoqi@0 | 97 | bw.append(contents); |
aoqi@0 | 98 | bw.close(); |
aoqi@0 | 99 | } |
aoqi@0 | 100 | |
aoqi@0 | 101 | SimpleJavaFileObject asJFO(java.io.File dir) { |
aoqi@0 | 102 | return new SimpleJavaFileObject(new File(dir, filename).toURI(), JavaFileObject.Kind.SOURCE) { |
aoqi@0 | 103 | @Override |
aoqi@0 | 104 | public CharSequence getCharContent(boolean ignoreEncodingErrors) throws IOException { |
aoqi@0 | 105 | return contents; |
aoqi@0 | 106 | } |
aoqi@0 | 107 | }; |
aoqi@0 | 108 | } |
aoqi@0 | 109 | } |
aoqi@0 | 110 | |
aoqi@0 | 111 | static JavaSource sourceA = new JavaSource("A.java", "public interface A { }\n"); |
aoqi@0 | 112 | |
aoqi@0 | 113 | static JavaSource sourceB = new JavaSource("B.java", "public class B implements A {\n" + |
aoqi@0 | 114 | " public static Object n() { return null; }\n" + |
aoqi@0 | 115 | "}\n"); |
aoqi@0 | 116 | |
aoqi@0 | 117 | static JavaSource sourceC = new JavaSource("C.java", "public class C {\n" + |
aoqi@0 | 118 | " void test(B b) {\n" + |
aoqi@0 | 119 | " D.m(B.n());\n" + |
aoqi@0 | 120 | "} }\n"); |
aoqi@0 | 121 | |
aoqi@0 | 122 | static JavaSource sourceD = new JavaSource("D.java", "public class D {\n" + |
aoqi@0 | 123 | " static void m(Object o) { }\n" + |
aoqi@0 | 124 | "}\n"); |
aoqi@0 | 125 | |
aoqi@0 | 126 | static class DiagnosticChecker implements javax.tools.DiagnosticListener<JavaFileObject> { |
aoqi@0 | 127 | |
aoqi@0 | 128 | boolean errorFound; |
aoqi@0 | 129 | |
aoqi@0 | 130 | public void report(Diagnostic<? extends JavaFileObject> diagnostic) { |
aoqi@0 | 131 | if (diagnostic.getKind() == Diagnostic.Kind.ERROR && |
aoqi@0 | 132 | diagnostic.getCode().contains("compiler.err.cant.access")) { |
aoqi@0 | 133 | errorFound = true; |
aoqi@0 | 134 | } |
aoqi@0 | 135 | } |
aoqi@0 | 136 | } |
aoqi@0 | 137 | } |