# HG changeset patch
# User Miguel Garcia <miguel.m.garcia@oracle.com>
# Date 1398787269 -7200
# Node ID f5a837e3b65f200165aa1a425b873755ebab7cc9
# Parent  0f919919fd63bc2dbe597f3cc243b24cafe91d5a
[flow-sensitive] less ambitious addFactInstanceOf

diff -r 0f919919fd63 -r f5a837e3b65f graal/com.oracle.graal.phases.common/src/com/oracle/graal/phases/common/cfs/State.java
--- a/graal/com.oracle.graal.phases.common/src/com/oracle/graal/phases/common/cfs/State.java	Tue Apr 29 17:14:49 2014 +0200
+++ b/graal/com.oracle.graal.phases.common/src/com/oracle/graal/phases/common/cfs/State.java	Tue Apr 29 18:01:09 2014 +0200
@@ -685,16 +685,6 @@
             } else {
                 trackIO(object, instanceOf.type(), anchor);
             }
-        } else {
-            if (knownToConform(object, instanceOf.type())) {
-                impossiblePath(); // TODO this used to be a bug
-                return;
-            }
-            if (instanceOf.type().isInterface()) {
-                if (!knownNotToConform(object, instanceOf.type())) {
-                    addFactPrimordial(instanceOf, falseFacts, anchor);
-                }
-            }
         }
     }