# HG changeset patch # User Doug Simon # Date 1424341300 -3600 # Node ID 787a3c7235ef0be26d5cb3c9318f2f7db78c67a4 # Parent bad60a5798da2a2d3aa623418afe7e0203868a0b weakened assertion in ArrayEqualsNode constructor diff -r bad60a5798da -r 787a3c7235ef graal/com.oracle.graal.replacements/src/com/oracle/graal/replacements/nodes/ArrayEqualsNode.java --- a/graal/com.oracle.graal.replacements/src/com/oracle/graal/replacements/nodes/ArrayEqualsNode.java Thu Feb 19 11:20:59 2015 +0100 +++ b/graal/com.oracle.graal.replacements/src/com/oracle/graal/replacements/nodes/ArrayEqualsNode.java Thu Feb 19 11:21:40 2015 +0100 @@ -53,7 +53,8 @@ public ArrayEqualsNode(ValueNode array1, ValueNode array2, ValueNode length) { super(TYPE, StampFactory.forKind(Kind.Boolean)); - assert array1.stamp().equals(array2.stamp()); + // Ignore nullness in stamp equality test + assert array1.stamp().join(StampFactory.objectNonNull()).equals(array2.stamp().join(StampFactory.objectNonNull())); ObjectStamp array1Stamp = (ObjectStamp) array1.stamp(); ResolvedJavaType componentType = array1Stamp.type().getComponentType(); this.kind = componentType.getKind();