src/share/vm/opto/output.cpp

rev 8961 : [mq]: diff-shenandoah.patch

@@ -905,12 +905,12 @@
     // Add in mappings of the monitors
     assert( !method ||
             !method->is_synchronized() ||
             method->is_native() ||
             num_mon > 0 ||
-            !GenerateSynchronizationCode,
-            "monitors must always exist for synchronized methods");
+            !GenerateSynchronizationCode || (UseShenandoahGC && jvms->bci() < 0),
+            err_msg("monitors must always exist for synchronized methods, bci: %d", jvms->bci()));
 
     // Build the growable array of ScopeValues for exp stack
     GrowableArray<MonitorValue*> *monarray = new GrowableArray<MonitorValue*>(num_mon);
 
     // Loop over monitors and insert into array