# HG changeset patch
# User Gilles Duboscq <duboscq@ssw.jku.at>
# Date 1405422778 -7200
# Node ID 4d3008ddb5a08ccf604d404110a85202fb2baab1
# Parent  164b644daa83c79465652b6b2029309adb7c3496
Minor changes to StampFactory and ObjectStamp

diff -r 164b644daa83 -r 4d3008ddb5a0 graal/com.oracle.graal.compiler.common/src/com/oracle/graal/compiler/common/type/ObjectStamp.java
--- a/graal/com.oracle.graal.compiler.common/src/com/oracle/graal/compiler/common/type/ObjectStamp.java	Mon Jul 14 14:49:33 2014 +0200
+++ b/graal/com.oracle.graal.compiler.common/src/com/oracle/graal/compiler/common/type/ObjectStamp.java	Tue Jul 15 13:12:58 2014 +0200
@@ -32,7 +32,7 @@
     }
 
     @Override
-    protected AbstractObjectStamp copyWith(ResolvedJavaType type, boolean exactType, boolean nonNull, boolean alwaysNull) {
+    protected ObjectStamp copyWith(ResolvedJavaType type, boolean exactType, boolean nonNull, boolean alwaysNull) {
         return new ObjectStamp(type, exactType, nonNull, alwaysNull);
     }
 
diff -r 164b644daa83 -r 4d3008ddb5a0 graal/com.oracle.graal.compiler.common/src/com/oracle/graal/compiler/common/type/StampFactory.java
--- a/graal/com.oracle.graal.compiler.common/src/com/oracle/graal/compiler/common/type/StampFactory.java	Mon Jul 14 14:49:33 2014 +0200
+++ b/graal/com.oracle.graal.compiler.common/src/com/oracle/graal/compiler/common/type/StampFactory.java	Tue Jul 15 13:12:58 2014 +0200
@@ -248,6 +248,10 @@
     }
 
     public static Stamp exact(ResolvedJavaType type) {
-        return new ObjectStamp(type, true, false, false);
+        if (ObjectStamp.isConcreteType(type)) {
+            return new ObjectStamp(type, true, false, false);
+        } else {
+            return illegal(Kind.Object);
+        }
     }
 }