Mercurial > hg > truffle
changeset 20099:de3b84bf239b
Assert that lastLocationAccess is non-null for reads of mutable locations.
author | Roland Schatz <roland.schatz@oracle.com> |
---|---|
date | Tue, 31 Mar 2015 11:40:04 +0200 |
parents | 5d069d341b7d |
children | 1505cfecbeed |
files | graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/extended/FloatingReadNode.java |
diffstat | 1 files changed, 8 insertions(+), 1 deletions(-) [+] |
line wrap: on
line diff
--- a/graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/extended/FloatingReadNode.java Tue Mar 31 11:35:31 2015 +0200 +++ b/graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/extended/FloatingReadNode.java Tue Mar 31 11:40:04 2015 +0200 @@ -1,5 +1,5 @@ /* - * Copyright (c) 2011, 2014, Oracle and/or its affiliates. All rights reserved. + * Copyright (c) 2011, 2015, Oracle and/or its affiliates. All rights reserved. * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. * * This code is free software; you can redistribute it and/or modify it @@ -81,4 +81,11 @@ public FixedAccessNode asFixedNode() { return graph().add(new ReadNode(object(), accessLocation(), stamp(), getGuard(), getBarrierType())); } + + @Override + public boolean verify() { + MemoryNode lla = getLastLocationAccess(); + assert lla != null || getLocationIdentity().isImmutable() : "lastLocationAccess of " + this + " shouldn't be null for mutable location identity " + getLocationIdentity(); + return super.verify(); + } }