# HG changeset patch # User mcimadamore # Date 1374066889 -3600 # Node ID 6edcda38fbdd4341d01cb6272330762154a0fd37 # Parent a29ea202292923bb5f010910a552e8109243923e 7041019: Bogus type-variable substitution with array types with dependencies on accessibility check Summary: call to upperBound() when performing type-variable substitution on element type leads to unsoundness Reviewed-by: jjg diff -r a29ea2022929 -r 6edcda38fbdd langtools/src/share/classes/com/sun/tools/javac/code/Types.java --- a/langtools/src/share/classes/com/sun/tools/javac/code/Types.java Wed Jul 17 14:14:32 2013 +0100 +++ b/langtools/src/share/classes/com/sun/tools/javac/code/Types.java Wed Jul 17 14:14:49 2013 +0100 @@ -2864,7 +2864,7 @@ if (elemtype == t.elemtype) return t; else - return new ArrayType(upperBound(elemtype), t.tsym); + return new ArrayType(elemtype, t.tsym); } @Override diff -r a29ea2022929 -r 6edcda38fbdd langtools/src/share/classes/com/sun/tools/javac/comp/Resolve.java --- a/langtools/src/share/classes/com/sun/tools/javac/comp/Resolve.java Wed Jul 17 14:14:32 2013 +0100 +++ b/langtools/src/share/classes/com/sun/tools/javac/comp/Resolve.java Wed Jul 17 14:14:49 2013 +0100 @@ -345,7 +345,7 @@ boolean isAccessible(Env env, Type t, boolean checkInner) { return (t.hasTag(ARRAY)) - ? isAccessible(env, types.elemtype(t)) + ? isAccessible(env, types.upperBound(types.elemtype(t))) : isAccessible(env, t.tsym, checkInner); } diff -r a29ea2022929 -r 6edcda38fbdd langtools/test/tools/javac/generics/7034511/T7034511a.java --- a/langtools/test/tools/javac/generics/7034511/T7034511a.java Wed Jul 17 14:14:32 2013 +0100 +++ b/langtools/test/tools/javac/generics/7034511/T7034511a.java Wed Jul 17 14:14:49 2013 +0100 @@ -1,13 +1,10 @@ /* * @test /nodynamiccopyright/ - * @ignore 7041019 Bogus type-variable substitution with array types with dependencies on accessibility check - * @bug 7034511 7040883 + * @bug 7034511 7040883 7041019 * @summary Loophole in typesafety * @compile/fail/ref=T7034511a.out -XDrawDiagnostics T7034511a.java */ -// backing out 7034511, see 7040883 - class T7034511a { interface A { diff -r a29ea2022929 -r 6edcda38fbdd langtools/test/tools/javac/generics/7034511/T7034511a.out --- a/langtools/test/tools/javac/generics/7034511/T7034511a.out Wed Jul 17 14:14:32 2013 +0100 +++ b/langtools/test/tools/javac/generics/7034511/T7034511a.out Wed Jul 17 14:14:49 2013 +0100 @@ -1,2 +1,2 @@ -T7034511a.java:18:14: compiler.err.cant.apply.symbol: kindname.method, foo, compiler.misc.type.captureof: 1, ?[], java.lang.String[], kindname.interface, T7034511a.A, (compiler.misc.no.conforming.assignment.exists: java.lang.String[], compiler.misc.type.captureof: 1, ?[]) +T7034511a.java:18:14: compiler.err.cant.apply.symbol: kindname.method, foo, compiler.misc.type.captureof: 1, ?[], java.lang.String[], kindname.interface, T7034511a.A, (compiler.misc.no.conforming.assignment.exists: (compiler.misc.inconvertible.types: java.lang.String[], compiler.misc.type.captureof: 1, ?[])) 1 error diff -r a29ea2022929 -r 6edcda38fbdd langtools/test/tools/javac/generics/7034511/T7034511b.java --- a/langtools/test/tools/javac/generics/7034511/T7034511b.java Wed Jul 17 14:14:32 2013 +0100 +++ b/langtools/test/tools/javac/generics/7034511/T7034511b.java Wed Jul 17 14:14:49 2013 +0100 @@ -1,13 +1,10 @@ /* * @test /nodynamiccopyright/ - * @ignore 7041019 Bogus type-variable substitution with array types with dependencies on accessibility check - * @bug 7034511 7040883 + * @bug 7034511 7040883 7041019 * @summary Loophole in typesafety * @compile/fail/ref=T7034511b.out -XDrawDiagnostics T7034511b.java */ -// backing out 7034511, see 7040883 - class T7034511b { static class MyList { E toArray(E[] e) { return null; } diff -r a29ea2022929 -r 6edcda38fbdd langtools/test/tools/javac/generics/7034511/T7034511b.out --- a/langtools/test/tools/javac/generics/7034511/T7034511b.out Wed Jul 17 14:14:32 2013 +0100 +++ b/langtools/test/tools/javac/generics/7034511/T7034511b.out Wed Jul 17 14:14:49 2013 +0100 @@ -1,2 +1,2 @@ -T7034511b.java:14:11: compiler.err.cant.apply.symbol: kindname.method, toArray, compiler.misc.type.captureof: 1, ?[], java.lang.Object[], kindname.class, T7034511b.MyList, (compiler.misc.no.conforming.assignment.exists: java.lang.Object[], compiler.misc.type.captureof: 1, ?[]) +T7034511b.java:14:11: compiler.err.cant.apply.symbol: kindname.method, toArray, compiler.misc.type.captureof: 1, ?[], java.lang.Object[], kindname.class, T7034511b.MyList, (compiler.misc.no.conforming.assignment.exists: (compiler.misc.inconvertible.types: java.lang.Object[], compiler.misc.type.captureof: 1, ?[])) 1 error diff -r a29ea2022929 -r 6edcda38fbdd langtools/test/tools/javac/generics/7034511/T7041019.java --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/langtools/test/tools/javac/generics/7034511/T7041019.java Wed Jul 17 14:14:49 2013 +0100 @@ -0,0 +1,39 @@ +/* + * Copyright (c) 2013, Oracle and/or its affiliates. All rights reserved. + * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. + * + * This code is free software; you can redistribute it and/or modify it + * under the terms of the GNU General Public License version 2 only, as + * published by the Free Software Foundation. + * + * This code is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or + * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License + * version 2 for more details (a copy is included in the LICENSE file that + * accompanied this code). + * + * You should have received a copy of the GNU General Public License version + * 2 along with this work; if not, write to the Free Software Foundation, + * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. + * + * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA + * or visit www.oracle.com if you need additional information or have any + * questions. + */ + +/* + * @test + * @bug 7034511 7040883 7041019 + * @summary Bogus type-variable substitution with array types with dependencies on accessibility check + * + * @compile T7041019.java + */ +import java.util.List; + +class T7041019 { + List[] m(List l) { return null; } + + void test(List ls) { + int i = m(ls).length; + } +}