# HG changeset patch
# User Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
# Date 1359651065 -3600
# Node ID e1667e7332decd05c03594f7b44aeace64c69bd4
# Parent  f1dfa977e2c1b873cf7688623689c955a6cac3e3
Dead source code elimination.

diff -r f1dfa977e2c1 -r e1667e7332de graal/com.oracle.graal.graph/src/com/oracle/graal/graph/NodeMap.java
--- 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;