NPE in isSignaturePolymorphic(jdk.compiler at 9-internal/Types.java:1079)

[Remi Forax]

Hi Alex,
a method with no parameter type still have a return type that can be back propagated if it's a polymorphic signature.

Anyway, Ronald just found a bug in the implementation of javac in the code that try to detect is a method has a polymorphic signature.
It should be fixed.

Rémi 


On October 25, 2016 10:47:49 PM GMT+02:00, Alex Buckley <alex.buckley at oracle.com> wrote:
>Hi Ronald,
>
>On 10/25/2016 1:02 PM, Ronald Servant wrote:
>> The check performed in isSignaturePolymorphic() assumes that all
>native
>> methods in MethodHandle or VarHandle will have at least 1 parameter.
>>   That true for OpenJDK, but in the J9 implementation, we have native
>> methods without parameters.  This issue can be reproduced by applying
>> patch[1] below.
>
>Just to clarify: you are NOT suggesting that javac should treat 
>zero-arity native methods in MethodHandle as signature polymorphic,
>right?
>
>Alex

-- 
Sent from my Android device with K-9 Mail. Please excuse my brevity.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.openjdk.java.net/pipermail/compiler-dev/attachments/20161025/9946d450/attachment.html>