Mercurial > hg > truffle

changeset 15443:f5a837e3b65f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
[flow-sensitive] less ambitious addFactInstanceOf
author Miguel Garcia <miguel.m.garcia@oracle.com>
date Tue, 29 Apr 2014 18:01:09 +0200
parents 0f919919fd63
children be6685c6a831
files graal/com.oracle.graal.phases.common/src/com/oracle/graal/phases/common/cfs/State.java
diffstat 1 files changed, 0 insertions(+), 10 deletions(-) [+]
line wrap: on
line diff
--- 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);
-                }
-            }
         }
     }