# HG changeset patch
# User Lukas Stadler <lukas.stadler@jku.at>
# Date 1373886694 -7200
# Node ID a5c9bc1f28fbbd287d2775389e1cc040e4be6619
# Parent  3811d04d933eb7e84663c57e2a8fedd644a1fb06
fix nullness for not-equals in ConditionalEliminationPhase
bug reported by Miguel Garcia <miguelalfredo.garcia@epfl.ch>

diff -r 3811d04d933e -r a5c9bc1f28fb graal/com.oracle.graal.phases.common/src/com/oracle/graal/phases/common/ConditionalEliminationPhase.java
--- a/graal/com.oracle.graal.phases.common/src/com/oracle/graal/phases/common/ConditionalEliminationPhase.java	Mon Jul 15 12:02:15 2013 +0200
+++ b/graal/com.oracle.graal.phases.common/src/com/oracle/graal/phases/common/ConditionalEliminationPhase.java	Mon Jul 15 13:11:34 2013 +0200
@@ -347,10 +347,10 @@
                 } else {
                     if (state.isNull(x) && !state.isNonNull(y)) {
                         metricObjectEqualsRegistered.increment();
-                        state.addNullness(true, y);
+                        state.addNullness(false, y);
                     } else if (!state.isNonNull(x) && state.isNull(y)) {
                         metricObjectEqualsRegistered.increment();
-                        state.addNullness(true, x);
+                        state.addNullness(false, x);
                     }
                 }
             }