S RFR: 8027304: Lambda: inheriting abstract and default should invoke default, not ICCE

[harold seigel]

Hi Karen,

Instead of:

    unique_default = (unique_default == false) ? true : false;

why not just:

    unique_default = !unique_default;

Thanks, Harold

On 10/29/2013 10:55 PM, Karen Kinnear wrote:
> webrev: http://cr.openjdk.java.net/~acorn/8027304/webrev/
> bug: http://bugs.openjdk.java.net/browse/JDK-8027304
>
> Bug in default method handling due to specification misinterpretation if there is one maximally-specific default method,
> but no one maximally specific method based on default method inheritance rules.
> Inheritiing abstract and default should invoke default, rather than IncompatibleClassChangeError.
>
> Tested:
> Fixed vm defmeth ConflictingDefaultsTest testAmbiguousReabstract (renamed to testMaximallySpecificDefault)
> jdk DefaultMethodsTest, FDSeparateCompilationTest
> jck lang, vm
> jtreg java.util, java.lang
> vm.quick.testlist
>
> thanks,
> Karen

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mail.openjdk.java.net/pipermail/hotspot-runtime-dev/attachments/20131030/00a6ed7f/attachment.html