# HG changeset patch
# User Lukas Stadler <lukas.stadler@jku.at>
# Date 1368013334 -7200
# Node ID c0d76a2ef720a5cc4acd9bd0bdce9d9e3bcf43a7
# Parent  7a330743a452819e94258f942528729bbba813bd
small change to ControlFlowGraph assertion

diff -r 7a330743a452 -r c0d76a2ef720 graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/cfg/ControlFlowGraph.java
--- 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;
     }