RFR (L, tedious) 8160399: is_oop_or_null involves undefined behavior

coleen.phillimore at oracle.com coleen.phillimore at oracle.com
Wed Aug 23 16:17:44 UTC 2017


Thanks George!
Coleen

On 8/17/17 5:09 PM, George Triantafillou wrote:
> Hi Coleen,
>
> Looks good.
>
> -George
>
> On 8/17/2017 1:32 PM, coleen.phillimore at oracle.com wrote:
>>
>> Maybe the links would help:
>>
>> open webrev at http://cr.openjdk.java.net/~coleenp/8160399.01/webrev
>> bug link https://bugs.openjdk.java.net/browse/JDK-8160399
>> bug link https://bugs.openjdk.java.net/browse/JDK-8164984
>>
>>
>> On 8/17/17 1:21 PM, coleen.phillimore at oracle.com wrote:
>>> Summary: replace oop->is_oop*() with oopDesc::is_oop*(oop) so this 
>>> pointer can be verified
>>>
>>> Also included is:
>>> 8164984: Improper use of is_oop in production code
>>>
>>> http://cr.openjdk.java.net/~coleenp/8160399.01/webrev/src/share/vm/classfile/javaClasses.cpp.udiff.html 
>>>
>>>
>>> I also moved is_oop() to the .cpp file, which reduces the size of 
>>> fastdebug libjvm.so a little, since is_oop is only used for assert 
>>> and verification.
>>>
>>> before: -rw-r--r-- 1 cphillim   35086408 Aug 17 12:08 libjvm.so
>>> after: -rw-r--r-- 1 cphillim      35073384 Aug 17 12:12 libjvm.so
>>>
>>> Ran all platforms nightly tests (still in progress but no new 
>>> failures).
>>>
>>> Sorry for the boring code review request.
>>>
>>> Thanks,
>>> Coleen
>>
>



More information about the hotspot-dev mailing list