Mercurial > hg > truffle
changeset 21698:921471247cd1
Fix isPointerNonNull utility. If a stamp does not have values, it also cannot be null.
author | Thomas Wuerthinger <thomas.wuerthinger@oracle.com> |
---|---|
date | Wed, 03 Jun 2015 14:58:00 +0200 |
parents | 696baf53a985 |
children | 4f88bd1dbc61 |
files | graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/type/StampTool.java |
diffstat | 1 files changed, 1 insertions(+), 1 deletions(-) [+] |
line wrap: on
line diff
--- 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;