changeset 13913:f788cde46528

Add an assert in HotSpotDebugInfoBuilder regarding lockDepth
author Gilles Duboscq <duboscq@ssw.jku.at>
date Fri, 07 Feb 2014 17:44:58 +0100
parents 766de6735435
children a8ff7d969666
files graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/HotSpotDebugInfoBuilder.java
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/HotSpotDebugInfoBuilder.java	Fri Feb 07 17:39:32 2014 +0100
+++ b/graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/HotSpotDebugInfoBuilder.java	Fri Feb 07 17:44:58 2014 +0100
@@ -56,6 +56,7 @@
         ValueNode lock = state.lockAt(lockIndex);
         Value object = toValue(lock);
         boolean eliminated = object instanceof VirtualObject && state.monitorIdAt(lockIndex) != null;
+        assert eliminated || state.monitorIdAt(lockIndex).getLockDepth() == lockDepth;
         return new HotSpotMonitorValue(object, slot, eliminated);
     }