# HG changeset patch
# User Gilles Duboscq <duboscq@ssw.jku.at>
# Date 1391791498 -3600
# Node ID f788cde46528b356b054494cbdead673cf051725
# Parent  766de67354356442fd9a34eacb30e26439d7aaea
Add an assert in HotSpotDebugInfoBuilder regarding lockDepth

diff -r 766de6735435 -r f788cde46528 graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/HotSpotDebugInfoBuilder.java
--- 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);
     }