Let us extend the Verifier with basic heap region sanity checks: http://cr.openjdk.java.net/~shade/shenandoah/verifier-heapregions/webrev.01/ Testing: hotspot_gc_shenandoah Thanks, -Aleksey