changeset 9496:13978836b7e2

don't verify ControlFlowGraph when connectBlocks == false
author Lukas Stadler <lukas.stadler@jku.at>
date Thu, 25 Apr 2013 17:10:08 +0200
parents 6ad0bdcd76aa
children 394f1232d563
files graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/cfg/ControlFlowGraph.java
diffstat 1 files changed, 2 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/cfg/ControlFlowGraph.java	Thu Apr 25 17:09:40 2013 +0200
+++ b/graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/cfg/ControlFlowGraph.java	Thu Apr 25 17:10:08 2013 +0200
@@ -52,7 +52,8 @@
         if (computePostdominators) {
             cfg.computePostdominators();
         }
-        assert CFGVerifier.verify(cfg);
+        // there's not much to verify when connectBlocks == false
+        assert !connectBlocks || CFGVerifier.verify(cfg);
         return cfg;
     }