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

Fix another case where SQLite assumes that if "~(? AND FALSE)" is true, "?" must be non-null.

FossilOrigin-Name: 616f5663b3dbd0929128c0990fc6d8bba1513c7ae196b87c450ac0b3b3203ecd
This commit is contained in:
dan
2019-08-29 15:50:16 +00:00
parent 1cd382e350
commit b6a9121bb3
4 changed files with 15 additions and 9 deletions

View File

@@ -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: