Mercurial > hg > graal-compiler
changeset 16137:0eb8270ae69d
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; }