# HG changeset patch
# User Gilles Duboscq <duboscq@ssw.jku.at>
# Date 1342779033 -7200
# Node ID 5d6e6837c4edff7dbf83d74d5eec0b1a46762a1e
# Parent  d6765d84974a07d30819eb429ad93534d0a74bfb
Filter out dead nodes when filling a NodeWorkList

diff -r d6765d84974a -r 5d6e6837c4ed graal/com.oracle.graal.graph/src/com/oracle/graal/graph/NodeWorkList.java
--- a/graal/com.oracle.graal.graph/src/com/oracle/graal/graph/NodeWorkList.java	Fri Jul 20 12:05:39 2012 +0200
+++ b/graal/com.oracle.graal.graph/src/com/oracle/graal/graph/NodeWorkList.java	Fri Jul 20 12:10:33 2012 +0200
@@ -59,7 +59,9 @@
 
     public void addAll(Iterable<? extends Node> nodes) {
         for (Node node : nodes) {
-            this.add(node);
+            if (node.isAlive()) {
+                this.add(node);
+            }
         }
     }