diff options
author | Maks Naumov <maksqwe1@ukr.net> | 2015-02-05 09:07:22 +0200 |
---|---|---|
committer | Maks Naumov <maksqwe1@ukr.net> | 2015-02-05 09:07:22 +0200 |
commit | 799f14beef25117a0264a2963c1e07c979aede0a (patch) | |
tree | 7f9081fa69cd477cf19280e644a7e8ca39e0e09a /src/jit/assertionprop.cpp | |
parent | 7fcbfaa7635ed5ceea405b536cb78c0d5cfe7cd5 (diff) | |
download | coreclr-799f14beef25117a0264a2963c1e07c979aede0a.tar.gz coreclr-799f14beef25117a0264a2963c1e07c979aede0a.tar.bz2 coreclr-799f14beef25117a0264a2963c1e07c979aede0a.zip |
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.
Diffstat (limited to 'src/jit/assertionprop.cpp')
-rw-r--r-- | src/jit/assertionprop.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/jit/assertionprop.cpp b/src/jit/assertionprop.cpp index 34e575eeef..3a7f8437dd 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; |