diff options
| author | drh <drh@noemail.net> | 2019-08-30 16:00:58 +0000 |
|---|---|---|
| committer | drh <drh@noemail.net> | 2019-08-30 16:00:58 +0000 |
| commit | ae144a1c9fc092e8756f66cd8d60b80dbbd1e010 (patch) | |
| tree | ddf466639b1d24ed1129b12f7132825578d68539 /src/expr.c | |
| parent | 7a231b49738d82582d9f4c31da18da90928d6f10 (diff) | |
| download | sqlite-ae144a1c9fc092e8756f66cd8d60b80dbbd1e010.tar.gz sqlite-ae144a1c9fc092e8756f66cd8d60b80dbbd1e010.zip | |
The expression "(X IS FALSE) IN (FALSE)" does not imply that X is NOT NULL.
Ticket [f8f472cbc77ba9c9]
FossilOrigin-Name: dd66134817ecbda01c59a05ad0d6ac44bee700ab10cd2119c869dd69af293fe2
Diffstat (limited to 'src/expr.c')
| -rw-r--r-- | src/expr.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/expr.c b/src/expr.c index 27929767c..e87ff7050 100644 --- a/src/expr.c +++ b/src/expr.c @@ -4995,7 +4995,7 @@ static int exprImpliesNotNull( if( seenNot && ExprHasProperty(p, EP_xIsSelect) ) return 0; assert( ExprHasProperty(p,EP_xIsSelect) || (p->x.pList!=0 && p->x.pList->nExpr>0) ); - return exprImpliesNotNull(pParse, p->pLeft, pNN, iTab, seenNot); + return exprImpliesNotNull(pParse, p->pLeft, pNN, iTab, 1); } case TK_BETWEEN: { ExprList *pList = p->x.pList; |