changeset 9465:89c5c388d6d5

Fix for assertion.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Wed, 01 May 2013 15:08:19 +0200
parents b5d83338286f
children b8cae7920bca
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	Wed May 01 15:02:36 2013 +0200
+++ b/graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/cfg/ControlFlowGraph.java	Wed May 01 15:08:19 2013 +0200
@@ -347,6 +347,7 @@
             Block firstSucc = block.getSuccessors().get(0);
             if (block.getSuccessorCount() == 1) {
                 block.postdominator = block;
+                continue;
             }
             Block postdominator = firstSucc;
             for (Block sux : block.getSuccessors()) {
@@ -356,7 +357,7 @@
                     continue outer;
                 }
             }
-            assert !block.getSuccessors().contains(postdominator);
+            assert !block.getSuccessors().contains(postdominator) : "Block " + block + " has a wrong post dominator: " + postdominator;
             block.postdominator = postdominator;
         }
     }