1
0
mirror of https://github.com/sqlite/sqlite.git synced 2025-11-12 13:01:09 +03:00

When considering partial indexes, do not assume that a "CASE x ..." expression implies "x IS NOT NULL".

FossilOrigin-Name: 1b24303220b7b4f59520176a0150fc619c668865450b4fdaa9ce4113a56e9687
This commit is contained in:
dan
2019-05-11 16:14:42 +00:00
parent 8f2b1e4c90
commit c6824c8d6c
4 changed files with 13 additions and 8 deletions

View File

@@ -4948,6 +4948,7 @@ int sqlite3ExprImpliesExpr(Parse *pParse, Expr *pE1, Expr *pE2, int iTab){
&& pE1->op!=TK_IS
&& pE1->op!=TK_ISNOT
&& pE1->op!=TK_OR
&& pE1->op!=TK_CASE
){
Expr *pX = sqlite3ExprSkipCollate(pE1->pLeft);
testcase( pX!=pE1->pLeft );