# HG changeset patch
# User Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
# Date 1355844755 -3600
# Node ID 17e12b5a3386f684e9b4923a65d53649faa13a3f
# Parent  fac81ae4f5138195154ed6bd74f6863a4a49b65e# Parent  a6dfccdc3694b0feb35db574c940ecf02067959d
Merge.

diff -r fac81ae4f513 -r 17e12b5a3386 graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/extended/SwitchNode.java
--- a/graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/extended/SwitchNode.java	Tue Dec 18 15:50:53 2012 +0100
+++ b/graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/extended/SwitchNode.java	Tue Dec 18 16:32:35 2012 +0100
@@ -22,6 +22,8 @@
  */
 package com.oracle.graal.nodes.extended;
 
+import java.util.*;
+
 import com.oracle.graal.api.meta.*;
 import com.oracle.graal.graph.*;
 import com.oracle.graal.nodes.*;
@@ -34,8 +36,8 @@
     @Successor protected final NodeSuccessorList<BeginNode> successors;
     protected double[] successorProbabilities;
     @Input private ValueNode value;
-    private final double[] keyProbabilities;
-    private final int[] keySuccessors;
+    private double[] keyProbabilities;
+    private int[] keySuccessors;
 
     public ValueNode value() {
         return value;
@@ -139,4 +141,13 @@
         }
         return probability;
     }
+
+    @Override
+    public SwitchNode clone(Graph into) {
+        SwitchNode newSwitch = (SwitchNode) super.clone(into);
+        newSwitch.successorProbabilities = Arrays.copyOf(successorProbabilities, successorProbabilities.length);
+        newSwitch.keyProbabilities = Arrays.copyOf(keyProbabilities, keyProbabilities.length);
+        newSwitch.keySuccessors = Arrays.copyOf(keySuccessors, keySuccessors.length);
+        return newSwitch;
+    }
 }