8044487: Fix for 8042785 causes regression tests to fail with java.lang.VerifyError
authorvromero
Mon, 02 Jun 2014 22:36:40 +0100
changeset 24793 bb58a9f1ae10
parent 24792 24452ca131a3
child 24794 22946bb4c27d
8044487: Fix for 8042785 causes regression tests to fail with java.lang.VerifyError Reviewed-by: jjg, ksrini
langtools/src/share/classes/com/sun/tools/javac/code/Flags.java
langtools/src/share/classes/com/sun/tools/javac/comp/TransTypes.java
langtools/test/tools/javac/T8042785/FlagsNotCopiedToBridgeMethodTest.java
--- a/langtools/src/share/classes/com/sun/tools/javac/code/Flags.java	Fri May 30 18:21:05 2014 +0100
+++ b/langtools/src/share/classes/com/sun/tools/javac/code/Flags.java	Mon Jun 02 22:36:40 2014 +0100
@@ -296,8 +296,8 @@
         ModifierFlags               = ((long)StandardFlags & ~INTERFACE) | DEFAULT,
         InterfaceMethodMask         = ABSTRACT | STATIC | PUBLIC | STRICTFP | DEFAULT,
         AnnotationTypeElementMask   = ABSTRACT | PUBLIC,
-        LocalVarFlags               = FINAL | PARAMETER,
-        BridgeMethodMask            = AccessFlags | FINAL | STRICTFP;
+        LocalVarFlags               = FINAL | PARAMETER;
+
 
     public static Set<Modifier> asModifierSet(long flags) {
         Set<Modifier> modifiers = modifierSets.get(flags);
--- a/langtools/src/share/classes/com/sun/tools/javac/comp/TransTypes.java	Fri May 30 18:21:05 2014 +0100
+++ b/langtools/src/share/classes/com/sun/tools/javac/comp/TransTypes.java	Mon Jun 02 22:36:40 2014 +0100
@@ -253,7 +253,7 @@
 
         // Create a bridge method symbol and a bridge definition without a body.
         Type bridgeType = meth.erasure(types);
-        long flags = impl.flags() & BridgeMethodMask | SYNTHETIC | BRIDGE |
+        long flags = impl.flags() & AccessFlags | SYNTHETIC | BRIDGE |
                 (origin.isInterface() ? DEFAULT : 0);
         if (hypothetical) flags |= HYPOTHETICAL;
         MethodSymbol bridge = new MethodSymbol(flags,
@@ -931,7 +931,7 @@
                                     ClassSymbol c,
                                     ListBuffer<JCTree> bridges) {
         Type implErasure = impl.erasure(types);
-        long flags = impl.flags() & BridgeMethodMask | SYNTHETIC | BRIDGE | OVERRIDE_BRIDGE;
+        long flags = (impl.flags() & AccessFlags) | SYNTHETIC | BRIDGE | OVERRIDE_BRIDGE;
         member = new MethodSymbol(flags, member.name, member.type, c);
         JCMethodDecl md = make.MethodDef(member, null);
         JCExpression receiver = make.Super(types.supertype(c.type).tsym.erasure(types), c);
--- a/langtools/test/tools/javac/T8042785/FlagsNotCopiedToBridgeMethodTest.java	Fri May 30 18:21:05 2014 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,79 +0,0 @@
-/*
- * Copyright (c) 2014, 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 8042785
- * @summary javac, bridge methods are not getting the flags from the original method
- * @run main FlagsNotCopiedToBridgeMethodTest
- */
-
-import java.io.BufferedInputStream;
-import java.nio.file.Files;
-import java.nio.file.Path;
-import java.nio.file.Paths;
-
-import com.sun.tools.classfile.AccessFlags;
-import com.sun.tools.classfile.ClassFile;
-import com.sun.tools.classfile.Method;
-import com.sun.tools.javac.util.Assert;
-
-public class FlagsNotCopiedToBridgeMethodTest {
-
-    public static void main(String[] args) throws Exception {
-        new FlagsNotCopiedToBridgeMethodTest().run();
-    }
-
-    void run() throws Exception {
-        checkClassFile(Paths.get(System.getProperty("test.classes"),
-                this.getClass().getSimpleName() + "$CovariantReturnType.class"));
-        checkClassFile(Paths.get(System.getProperty("test.classes"),
-                this.getClass().getSimpleName() +
-                "$CovariantReturnType$VisibilityChange.class"));
-    }
-
-    void checkClassFile(final Path cfilePath) throws Exception {
-        ClassFile classFile = ClassFile.read(
-                new BufferedInputStream(Files.newInputStream(cfilePath)));
-        for (Method method : classFile.methods) {
-            if (method.access_flags.is(AccessFlags.ACC_BRIDGE)) {
-                Assert.check(method.access_flags.is(AccessFlags.ACC_FINAL | AccessFlags.ACC_STRICT),
-                        "bridge method has incorrect flags");
-            }
-        }
-    }
-
-    abstract class T<A,B> {
-        B m(A a){ return null; }
-    }
-
-    class CovariantReturnType extends T<Integer, Integer> {
-        strictfp final Integer m(Integer i) {
-            return i;
-        }
-
-        public class VisibilityChange extends CovariantReturnType {}
-
-    }
-
-}