changeset 7653:e1667e7332de

Dead source code elimination.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Thu, 31 Jan 2013 17:51:05 +0100
parents f1dfa977e2c1
children 641a4c6ac1ce a103e28ce09a
files graal/com.oracle.graal.graph/src/com/oracle/graal/graph/NodeMap.java
diffstat 1 files changed, 0 insertions(+), 9 deletions(-) [+]
line wrap: on
line diff
--- a/graal/com.oracle.graal.graph/src/com/oracle/graal/graph/NodeMap.java	Thu Jan 31 17:45:41 2013 +0100
+++ b/graal/com.oracle.graal.graph/src/com/oracle/graal/graph/NodeMap.java	Thu Jan 31 17:51:05 2013 +0100
@@ -67,15 +67,6 @@
         return node.id() >= size;
     }
 
-    public void grow(Node upTo) {
-        if (isNew(upTo)) {
-            size = upTo.id() + 1;
-            if (values.length < size) {
-                values = Arrays.copyOf(values, size + 9); // TODO implement a better growth policy
-            }
-        }
-    }
-
     private void check(Node node) {
         assert node.graph() == graph : "this node is not part of the graph";
         assert !isNew(node) : "this node was added to the graph after creating the node map : " + node;