Fix reachability analysis needs to take cached bound state into account.

Author: chumer

truffle/src/com.oracle.truffle.api.dsl.test/src/com/oracle/truffle/api/dsl/test/SuppressWarningTest.java

@@ -55,7 +55,7 @@ public abstract static class DeprecationTestNode extends Node {
          * Suppress deprecated warning with deprecated.
          */
         @SuppressWarnings("deprecated")
-        @Specialization(guards = "deprecatedGuard(v)")
+        @Specialization(guards = {"deprecatedGuard(v)", "v == 0"})
         int s0(int v) {
             return v;
         }
@@ -64,7 +64,7 @@ int s0(int v) {
          * Suppress deprecated warning with all.
          */
         @SuppressWarnings("all")
-        @Specialization(guards = "deprecatedGuard(v)")
+        @Specialization(guards = {"deprecatedGuard(v)", "v == 1"})
         int s1(int v) {
             return v;
         }

truffle/src/com.oracle.truffle.dsl.processor/src/com/oracle/truffle/dsl/processor/model/SpecializationData.java

@@ -951,6 +951,11 @@ public boolean isReachableAfter(SpecializationData prev) {
         Iterator<GuardExpression> currentGuards = getGuards().iterator();
         while (prevGuards.hasNext()) {
             GuardExpression prevGuard = prevGuards.next();
+            if (prev.isGuardBoundWithCache(prevGuard)) {
+                // if a guard with cache is bound the next specialization is always reachable
+                return true;
+            }
+
             GuardExpression currentGuard = currentGuards.hasNext() ? currentGuards.next() : null;
             if (currentGuard == null || !currentGuard.implies(prevGuard)) {
                 return true;