# HG changeset patch
# User Josef Eisl <josef.eisl@jku.at>
# Date 1401886337 -7200
# Node ID 0eb8270ae69d0fd1d7df941dc5d33234fb00f578
# Parent  d32be0297274e509d3a91efc36aee6328229e0ca
Add assertions to AbstractBlock.{dominated,isDominatedBy}().

diff -r d32be0297274 -r 0eb8270ae69d graal/com.oracle.graal.compiler.common/src/com/oracle/graal/compiler/common/cfg/AbstractBlock.java
--- a/graal/com.oracle.graal.compiler.common/src/com/oracle/graal/compiler/common/cfg/AbstractBlock.java	Wed Jun 18 16:48:59 2014 +0200
+++ b/graal/com.oracle.graal.compiler.common/src/com/oracle/graal/compiler/common/cfg/AbstractBlock.java	Wed Jun 04 14:52:17 2014 +0200
@@ -64,6 +64,7 @@
      * True if block {@code a} dominates block {@code b}.
      */
     static boolean dominates(AbstractBlock<?> a, AbstractBlock<?> b) {
+        assert a != null;
         return isDominatedBy(b, a);
     }
 
@@ -71,6 +72,7 @@
      * True if block {@code a} is dominated by block {@code b}.
      */
     static boolean isDominatedBy(AbstractBlock<?> a, AbstractBlock<?> b) {
+        assert a != null;
         if (a == b) {
             return true;
         }