changeset 9609:c0d76a2ef720

small change to ControlFlowGraph assertion
author Lukas Stadler <lukas.stadler@jku.at>
date Wed, 08 May 2013 13:42:14 +0200
parents 7a330743a452
children ae17e540c5d2 76c40c3f6bb7
files graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/cfg/ControlFlowGraph.java
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/cfg/ControlFlowGraph.java	Wed May 08 11:41:05 2013 +0200
+++ b/graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/cfg/ControlFlowGraph.java	Wed May 08 13:42:14 2013 +0200
@@ -53,7 +53,7 @@
             cfg.computePostdominators();
         }
         // there's not much to verify when connectBlocks == false
-        assert !connectBlocks || CFGVerifier.verify(cfg);
+        assert !(connectBlocks || computeLoops || computeDominators || computePostdominators) || CFGVerifier.verify(cfg);
         return cfg;
     }