# HG changeset patch
# User Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
# Date 1433333309 -7200
# Node ID ca140f8c35bedbc847ac99c82fc42a4cac7ea032
# Parent  e7024ad04e07706bedaf6477b9cd481db50138a0
Empty pointer stamps are also non-null.

diff -r e7024ad04e07 -r ca140f8c35be graal/com.oracle.graal.compiler.common/src/com/oracle/graal/compiler/common/type/AbstractPointerStamp.java
--- a/graal/com.oracle.graal.compiler.common/src/com/oracle/graal/compiler/common/type/AbstractPointerStamp.java	Wed Jun 03 13:24:28 2015 +0200
+++ b/graal/com.oracle.graal.compiler.common/src/com/oracle/graal/compiler/common/type/AbstractPointerStamp.java	Wed Jun 03 14:08:29 2015 +0200
@@ -40,7 +40,7 @@
     }
 
     public boolean nonNull() {
-        return nonNull;
+        return nonNull || this.isEmpty();
     }
 
     public boolean alwaysNull() {