# HG changeset patch
# User Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
# Date 1423829154 -3600
# Node ID 1c2e8a440bbdcab6d61f682ddd16cd9228e56f9b
# Parent  343e0e71031b84240e7cd4f7462827b461590b1c
Fix for Class#cast graph builder plugin.

diff -r 343e0e71031b -r 1c2e8a440bbd graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/meta/HotSpotGraphBuilderPlugins.java
--- a/graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/meta/HotSpotGraphBuilderPlugins.java	Fri Feb 13 12:54:34 2015 +0100
+++ b/graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/meta/HotSpotGraphBuilderPlugins.java	Fri Feb 13 13:05:54 2015 +0100
@@ -69,6 +69,7 @@
                     ResolvedJavaType type = builder.getConstantReflection().asJavaType(rcvr.asConstant());
                     if (type != null && !type.isPrimitive()) {
                         builder.push(Kind.Object, CheckCastNode.create(type, object, null, false, builder.getAssumptions()));
+                        return true;
                     }
                 }
                 return false;