From 799f14beef25117a0264a2963c1e07c979aede0a Mon Sep 17 00:00:00 2001 From: Maks Naumov Date: Thu, 5 Feb 2015 09:07:22 +0200 Subject: [PATCH] Fix non-null assertion search in assertion table if (impAssertion->assertionKind != OAK_NOT_EQUAL || impAssertion->op1.kind != O1K_LCLVAR || impAssertion->op1.kind != O2K_CONST_INT || impAssertion->op1.vn != chkAssertion->op1.vn) This condition is always true. --- src/jit/assertionprop.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/jit/assertionprop.cpp b/src/jit/assertionprop.cpp index 34e575e..3a7f843 100644 --- a/src/jit/assertionprop.cpp +++ b/src/jit/assertionprop.cpp @@ -3662,7 +3662,7 @@ EXPSET_TP Compiler::optImpliedByTypeOfAssertions(EXPSET_TP activeAssertions) // impAssertion must be a Non Null assertion on lclNum if (impAssertion->assertionKind != OAK_NOT_EQUAL || impAssertion->op1.kind != O1K_LCLVAR || - impAssertion->op1.kind != O2K_CONST_INT || + impAssertion->op2.kind != O2K_CONST_INT || impAssertion->op1.vn != chkAssertion->op1.vn) { continue; -- 2.7.4