RFR: Track interior location when verifying matrix

Roman Kennke rkennke at redhat.com
Thu Aug 24 21:41:41 UTC 2017


Am 24.08.2017 um 23:23 schrieb Aleksey Shipilev:
> On 08/24/2017 11:09 PM, Roman Kennke wrote:
>> I ran into a crash because the verifier did not track the interior loc
>> when verifying matrix.
>>
>> I added code to avoid the crash (i.e. check _interior_loc == NULL), and
>> also added code to actually track the interior location when verifying
>> matrix.
>>
>> http://cr.openjdk.java.net/~rkennke/verifier/webrev.00/
> Shouldn't you actually save from_interior_idx from the call?
>
>  151       size_t from_interior_idx = 0;
>  152       if (_interior_loc != NULL) {
>  153         _heap->heap_region_index_containing(_interior_loc);
>  154       }
>
> Also, idx == 0 is a valid region idx...
>
> Suggestion:
>
>        size_t from_interior_idx = 0;
>        if (_interior_loc != NULL) {
>          from_interior_idx = _heap->heap_region_index_containing(_interior_loc);
>        }
>
>        if (_interior_loc != NULL) {
>          ... messages ...
>        }
>
> -Aleksey
>
Ugh, you are right. Changed exactly as you suggested:

http://cr.openjdk.java.net/~rkennke/verifier/webrev.01/
<http://cr.openjdk.java.net/%7Erkennke/verifier/webrev.01/>

Ok now?

Roman



More information about the shenandoah-dev mailing list