aboutsummaryrefslogtreecommitdiff
path: root/src/expr.c
diff options
context:
space:
mode:
authordan <dan@noemail.net>2019-08-29 15:50:16 +0000
committerdan <dan@noemail.net>2019-08-29 15:50:16 +0000
commitb6a9121bb383f37c78b8d8d99e6f1d8dd3b6b4e3 (patch)
treeb1acb412efcb016e8b7f0dba25fe4ff1dcb0c9f1 /src/expr.c
parent1cd382e3500588126a91692377254bb807276d83 (diff)
downloadsqlite-b6a9121bb383f37c78b8d8d99e6f1d8dd3b6b4e3.tar.gz
sqlite-b6a9121bb383f37c78b8d8d99e6f1d8dd3b6b4e3.zip
Fix another case where SQLite assumes that if "~(? AND FALSE)" is true, "?" must be non-null.
FossilOrigin-Name: 616f5663b3dbd0929128c0990fc6d8bba1513c7ae196b87c450ac0b3b3203ecd
Diffstat (limited to 'src/expr.c')
-rw-r--r--src/expr.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/expr.c b/src/expr.c
index d83e18eb2..80bc002d7 100644
--- a/src/expr.c
+++ b/src/expr.c
@@ -5103,6 +5103,7 @@ static int impliesNotNullRow(Walker *pWalker, Expr *pExpr){
switch( pExpr->op ){
case TK_ISNOT:
case TK_NOT:
+ case TK_BITNOT:
case TK_ISNULL:
case TK_NOTNULL:
case TK_IS: