diff options
| author | drh <> | 2021-07-29 00:33:20 +0000 |
|---|---|---|
| committer | drh <> | 2021-07-29 00:33:20 +0000 |
| commit | 02a9996e40dd60a11b614f797550abe2449a7ff9 (patch) | |
| tree | 6588e4130efb7c38b3a34a692105efc20943780d /src/expr.c | |
| parent | 779e9906292c635ed4de646f05312fbf421c467d (diff) | |
| download | sqlite-02a9996e40dd60a11b614f797550abe2449a7ff9.tar.gz sqlite-02a9996e40dd60a11b614f797550abe2449a7ff9.zip | |
Remove ALWAYS() macros that can be true if the internal test function
implies_nonnull_row() is used in the result set of a query and contains
comparison operator against a computed column.
dbsqlfuzz 4c34db5bff6247f33ee49e341a1f3018e72be0a0.
FossilOrigin-Name: 4d1dbfa35c7dc0f09321b2e274a00e506f4ca65322454652d5891d815a6966d3
Diffstat (limited to 'src/expr.c')
| -rw-r--r-- | src/expr.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/expr.c b/src/expr.c index 4ad1902d2..dea269546 100644 --- a/src/expr.c +++ b/src/expr.c @@ -5681,9 +5681,9 @@ static int impliesNotNullRow(Walker *pWalker, Expr *pExpr){ testcase( pExpr->op==TK_GE ); /* The y.pTab=0 assignment in wherecode.c always happens after the ** impliesNotNullRow() test */ - if( (pLeft->op==TK_COLUMN && ALWAYS(pLeft->y.pTab!=0) + if( (pLeft->op==TK_COLUMN && pLeft->y.pTab!=0 && IsVirtual(pLeft->y.pTab)) - || (pRight->op==TK_COLUMN && ALWAYS(pRight->y.pTab!=0) + || (pRight->op==TK_COLUMN && pRight->y.pTab!=0 && IsVirtual(pRight->y.pTab)) ){ return WRC_Prune; |