Some of these were found by static analysis, some by inspecting ASSERT blocks: http://cr.openjdk.java.net/~shade/shenandoah/cleanups-3/webrev.01/ Testing: hotspot_gc_shenandoah -Aleksey