diff options
| author | drh <drh@noemail.net> | 2019-08-30 13:07:06 +0000 |
|---|---|---|
| committer | drh <drh@noemail.net> | 2019-08-30 13:07:06 +0000 |
| commit | 38cefc83c81842f4d4c1c92958e688c3bac14b79 (patch) | |
| tree | 15404256274365df60d978df61618e2e9c8c8fb2 /src/expr.c | |
| parent | f4d9c9822df99cbf29b49a3af6f183aa4992fb36 (diff) | |
| download | sqlite-38cefc83c81842f4d4c1c92958e688c3bac14b79.tar.gz sqlite-38cefc83c81842f4d4c1c92958e688c3bac14b79.zip | |
The expression "(x IS FALSE) IS FALSE" does not imply that X is not NULL.
Ticket [a6408d42b9f44462]
FossilOrigin-Name: 45ff2b1f2693bb0231a864a511bb82cf2a5945ab3d806a5bbaf1517ecb287883
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 b6b204a06..46aea5f3d 100644 --- a/src/expr.c +++ b/src/expr.c @@ -5036,7 +5036,7 @@ static int exprImpliesNotNull( case TK_TRUTH: { if( seenNot ) return 0; if( p->op2!=TK_IS ) return 0; - return exprImpliesNotNull(pParse, p->pLeft, pNN, iTab, seenNot); + return exprImpliesNotNull(pParse, p->pLeft, pNN, iTab, 1); } case TK_BITNOT: case TK_NOT: { |