# HG changeset patch
# User Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
# Date 1367413699 -7200
# Node ID 89c5c388d6d5824c6b1bd2f26accc48306966db9
# Parent  b5d83338286f628163e8ed3248d9a16d38d11b9c
Fix for assertion.

diff -r b5d83338286f -r 89c5c388d6d5 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 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;
         }
     }