diff options
| author | drh <> | 2025-07-03 00:17:27 +0000 |
|---|---|---|
| committer | drh <> | 2025-07-03 00:17:27 +0000 |
| commit | debc8f7bb7b62fb865251e140510d853b138b88b (patch) | |
| tree | 2097fe599de536915979fd49bc06208ae90c74e2 /src/resolve.c | |
| parent | aa54d7a0ca03a4df516f25e66ff3c4801be07a7b (diff) | |
| download | sqlite-debc8f7bb7b62fb865251e140510d853b138b88b.tar.gz sqlite-debc8f7bb7b62fb865251e140510d853b138b88b.zip | |
Minor tweaks to the exists-to-join optimization.
FossilOrigin-Name: 9cb600ad576c68647ed943a0773019312c5f01c9c1ca9ff0bf1214b03a531b48
Diffstat (limited to 'src/resolve.c')
| -rw-r--r-- | src/resolve.c | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/resolve.c b/src/resolve.c index 562ca5e00..bbd1021e0 100644 --- a/src/resolve.c +++ b/src/resolve.c @@ -1358,11 +1358,16 @@ static int resolveExprStep(Walker *pWalker, Expr *pExpr){ return WRC_Prune; } #ifndef SQLITE_OMIT_SUBQUERY + case TK_EXISTS: + assert( ExprUseXSelect(pExpr) ); + pParse->bHasExists = 1; + /* no break */ deliberate_fall_through case TK_SELECT: - case TK_EXISTS: testcase( pExpr->op==TK_EXISTS ); #endif case TK_IN: { testcase( pExpr->op==TK_IN ); + testcase( pExpr->op==TK_EXISTS ); + testcase( pExpr->op==TK_SELECT ); if( ExprUseXSelect(pExpr) ){ int nRef = pNC->nRef; testcase( pNC->ncFlags & NC_IsCheck ); @@ -1379,7 +1384,6 @@ static int resolveExprStep(Walker *pWalker, Expr *pExpr){ if( nRef!=pNC->nRef ){ ExprSetProperty(pExpr, EP_VarSelect); pExpr->x.pSelect->selFlags |= SF_Correlated; - if( pExpr->op==TK_EXISTS ) pParse->bHasExists = 1; } pNC->ncFlags |= NC_Subquery; } |