RFR: Track interior location when verifying matrix

Aleksey Shipilev shade at redhat.com
Thu Aug 24 21:23:55 UTC 2017


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



More information about the shenandoah-dev mailing list