# HG changeset patch
# User Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
# Date 1433336280 -7200
# Node ID 921471247cd1dec9998367c978ce6e9a9d8106e3
# Parent  696baf53a985e2653aaaab9771e07fd81a682f15
Fix isPointerNonNull utility. If a stamp does not have values, it also cannot be null.

diff -r 696baf53a985 -r 921471247cd1 graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/type/StampTool.java
--- a/graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/type/StampTool.java	Wed Jun 03 14:15:42 2015 +0200
+++ b/graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/type/StampTool.java	Wed Jun 03 14:58:00 2015 +0200
@@ -129,7 +129,7 @@
      *         always null
      */
     public static boolean isPointerNonNull(Stamp stamp) {
-        if (stamp instanceof AbstractPointerStamp && stamp.hasValues()) {
+        if (stamp instanceof AbstractPointerStamp) {
             return ((AbstractPointerStamp) stamp).nonNull();
         }
         return false;