changeset 4645:eb2c6d2a0098

let StampFactory.alwaysDistinct(...) handle interface types
author Lukas Stadler <lukas.stadler@jku.at>
date Mon, 20 Feb 2012 14:25:32 +0100
parents d39cc9734e92
children 75dcf829cfdc
files graal/com.oracle.max.graal.nodes/src/com/oracle/max/graal/nodes/type/StampFactory.java
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/graal/com.oracle.max.graal.nodes/src/com/oracle/max/graal/nodes/type/StampFactory.java	Mon Feb 20 14:24:01 2012 +0100
+++ b/graal/com.oracle.max.graal.nodes/src/com/oracle/max/graal/nodes/type/StampFactory.java	Mon Feb 20 14:25:32 2012 +0100
@@ -101,7 +101,7 @@
                 return false;
             } else if (other.nonNull() || nonNull()) {
                 // One of the two values cannot be null.
-                return !other.declaredType().isSubtypeOf(declaredType()) && !declaredType().isSubtypeOf(other.declaredType());
+                return !other.declaredType().isInterface() && !declaredType().isInterface() && !other.declaredType().isSubtypeOf(declaredType()) && !declaredType().isSubtypeOf(other.declaredType());
             } else {
                 // Both values may be null.
                 return false;