[9] RFR (XS): 8171155: Scanning method file for initialized final field updates can fail for non-existent fields

[Zoltán Majó]

Thank you, Stas, for the review!

Best regards,


Zoltan


On 12/13/2016 01:53 PM, Stanislav Smirnov wrote:
> Hi Zoltan,
>
> changes look good, although I am not a reviewer.
>
> Best regards,
> Stanislav Smirnov
>
>
>
>
>
>> On 13 Dec 2016, at 14:35, Zoltán Majó <zoltan.majo at oracle.com 
>> <mailto:zoltan.majo at oracle.com>> wrote:
>>
>> Hi,
>>
>>
>> please review the fix for 8171155.
>>
>> https://bugs.openjdk.java.net/browse/JDK-8171155
>> http://cr.openjdk.java.net/~zmajo/8171155/webrev.00/
>>
>> The JVM assumes the field it's looking for always exists. As a 
>> result, the JVM processes uninitialized data if the field does not 
>> exists, which results in a crash. The suggested fix is to check if 
>> the field exists before processing it. Please find more details in 
>> the bug description.
>>
>> I found the bug while JPRT-testing the 8u-backport of
>>
>> 8157181: Compilers accept modification of final fields outside 
>> initializer methods
>>
>> I was not able to reproduce the issue with 9, but (judging from the 
>> code) JDK 9 is likely to be affected as well. So I'd prefer to fix 
>> this problem in JDK 9 as well (and then backport the fix to 8u) 
>> instead of pushing the fix only into 8u.
>>
>> Thank you!
>>
>> Best regards,
>>
>>
>> Zoltan
>>
>