--- old/src/hotspot/share/gc/shenandoah/shenandoahVerifier.cpp	2020-06-18 12:30:35.817918816 +0200
+++ new/src/hotspot/share/gc/shenandoah/shenandoahVerifier.cpp	2020-06-18 12:30:35.373906595 +0200
@@ -690,7 +690,10 @@
   }
 
   OrderAccess::fence();
-  _heap->make_parsable(false);
+
+  if (UseTLAB) {
+    _heap->labs_make_parsable();
+  }
 
   // Allocate temporary bitmap for storing marking wavefront:
   _verification_bit_map->clear();