Mercurial > hg > truffle
changeset 13151:5801a5e3e7e4
Assert for checking the input type in NodeClass.updateInputSuccInPlace.
| author | Roland Schatz <roland.schatz@oracle.com> |
|---|---|
| date | Mon, 25 Nov 2013 17:04:39 +0100 |
| parents | ebb61e1a3a83 |
| children | 640516a8ca6b |
| files | graal/com.oracle.graal.graph/src/com/oracle/graal/graph/NodeClass.java |
| diffstat | 1 files changed, 4 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- a/graal/com.oracle.graal.graph/src/com/oracle/graal/graph/NodeClass.java Mon Nov 25 17:04:30 2013 +0100 +++ b/graal/com.oracle.graal.graph/src/com/oracle/graal/graph/NodeClass.java Mon Nov 25 17:04:39 2013 +0100 @@ -938,6 +938,8 @@ Node newInput = duplicationReplacement.replacement(input, true); node.updateUsages(null, newInput); assert Node.verifyUniqueIfExternal(newInput, node.graph()); + assert newInput == null || fieldTypes.get(inputOffsets[index]).isAssignableFrom(newInput.getClass()) : "Can not assign " + newInput.getClass() + " to " + + fieldTypes.get(inputOffsets[index]) + " in " + node; putNode(node, inputOffsets[index], newInput); } index++; @@ -953,6 +955,8 @@ if (successor != null) { Node newSucc = duplicationReplacement.replacement(successor, false); node.updatePredecessor(null, newSucc); + assert newSucc == null || fieldTypes.get(successorOffsets[index]).isAssignableFrom(newSucc.getClass()) : fieldTypes.get(successorOffsets[index]) + " is not compatible with " + + newSucc.getClass(); putNode(node, successorOffsets[index], newSucc); } index++;