# HG changeset patch
# User Bernhard Urban <bernhard.urban@jku.at>
# Date 1383915120 -3600
# Node ID b1e7e4ffead1e1c2b08fc338695a1ec3951c0a84
# Parent  bbf6407458ee6bef40bc431704337cd617a9a1b9
UnsafeAccessNode: add assert to ensure a proper graph state

diff -r bbf6407458ee -r b1e7e4ffead1 graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/extended/UnsafeAccessNode.java
--- a/graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/extended/UnsafeAccessNode.java	Fri Nov 08 13:45:06 2013 +0100
+++ b/graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/extended/UnsafeAccessNode.java	Fri Nov 08 13:52:00 2013 +0100
@@ -73,6 +73,7 @@
                 // the null check and if a field is found, the offset is so small that this is
                 // never a valid access of an arbitrary address.
                 if (field != null && field.getKind() == this.accessKind()) {
+                    assert !graph().isAfterFloatingReadPhase() : "cannot add more precise memory location after floating read phase";
                     return cloneAsFieldAccess(field);
                 }
             }