Mercurial > hg > truffle

changeset 16137:0eb8270ae69d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add assertions to AbstractBlock.{dominated,isDominatedBy}().
author Josef Eisl <josef.eisl@jku.at>
date Wed, 04 Jun 2014 14:52:17 +0200
parents d32be0297274
children f315b1c0a590
files graal/com.oracle.graal.compiler.common/src/com/oracle/graal/compiler/common/cfg/AbstractBlock.java
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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;
         }