Mercurial > hg > graal-compiler
changeset 15443:f5a837e3b65f
[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); - } - } } }