Artifact
83042807db1a27175fcb39be8f3e2a839dbdddb2:
- File
src/walker.c
— part of check-in
[c6e6afb9]
at
2016-09-19 02:19:00
on branch trunk
— Small performance optimization in the expression walker.
(user:
drh
size: 5286)
0000: 2f 2a 0a 2a 2a 20 32 30 30 38 20 41 75 67 75 73 /*.** 2008 Augus
0010: 74 20 31 36 0a 2a 2a 0a 2a 2a 20 54 68 65 20 61 t 16.**.** The a
0020: 75 74 68 6f 72 20 64 69 73 63 6c 61 69 6d 73 20 uthor disclaims
0030: 63 6f 70 79 72 69 67 68 74 20 74 6f 20 74 68 69 copyright to thi
0040: 73 20 73 6f 75 72 63 65 20 63 6f 64 65 2e 20 20 s source code.
0050: 49 6e 20 70 6c 61 63 65 20 6f 66 0a 2a 2a 20 61 In place of.** a
0060: 20 6c 65 67 61 6c 20 6e 6f 74 69 63 65 2c 20 68 legal notice, h
0070: 65 72 65 20 69 73 20 61 20 62 6c 65 73 73 69 6e ere is a blessin
0080: 67 3a 0a 2a 2a 0a 2a 2a 20 20 20 20 4d 61 79 20 g:.**.** May
0090: 79 6f 75 20 64 6f 20 67 6f 6f 64 20 61 6e 64 20 you do good and
00a0: 6e 6f 74 20 65 76 69 6c 2e 0a 2a 2a 20 20 20 20 not evil..**
00b0: 4d 61 79 20 79 6f 75 20 66 69 6e 64 20 66 6f 72 May you find for
00c0: 67 69 76 65 6e 65 73 73 20 66 6f 72 20 79 6f 75 giveness for you
00d0: 72 73 65 6c 66 20 61 6e 64 20 66 6f 72 67 69 76 rself and forgiv
00e0: 65 20 6f 74 68 65 72 73 2e 0a 2a 2a 20 20 20 20 e others..**
00f0: 4d 61 79 20 79 6f 75 20 73 68 61 72 65 20 66 72 May you share fr
0100: 65 65 6c 79 2c 20 6e 65 76 65 72 20 74 61 6b 69 eely, never taki
0110: 6e 67 20 6d 6f 72 65 20 74 68 61 6e 20 79 6f 75 ng more than you
0120: 20 67 69 76 65 2e 0a 2a 2a 0a 2a 2a 2a 2a 2a 2a give..**.******
0130: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a ****************
0140: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a ****************
0150: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a ****************
0160: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a ****************
0170: 2a 2a 2a 0a 2a 2a 20 54 68 69 73 20 66 69 6c 65 ***.** This file
0180: 20 63 6f 6e 74 61 69 6e 73 20 72 6f 75 74 69 6e contains routin
0190: 65 73 20 75 73 65 64 20 66 6f 72 20 77 61 6c 6b es used for walk
01a0: 69 6e 67 20 74 68 65 20 70 61 72 73 65 72 20 74 ing the parser t
01b0: 72 65 65 20 66 6f 72 0a 2a 2a 20 61 6e 20 53 51 ree for.** an SQ
01c0: 4c 20 73 74 61 74 65 6d 65 6e 74 2e 0a 2a 2f 0a L statement..*/.
01d0: 23 69 6e 63 6c 75 64 65 20 22 73 71 6c 69 74 65 #include "sqlite
01e0: 49 6e 74 2e 68 22 0a 23 69 6e 63 6c 75 64 65 20 Int.h".#include
01f0: 3c 73 74 64 6c 69 62 2e 68 3e 0a 23 69 6e 63 6c <stdlib.h>.#incl
0200: 75 64 65 20 3c 73 74 72 69 6e 67 2e 68 3e 0a 0a ude <string.h>..
0210: 0a 2f 2a 0a 2a 2a 20 57 61 6c 6b 20 61 6e 20 65 ./*.** Walk an e
0220: 78 70 72 65 73 73 69 6f 6e 20 74 72 65 65 2e 20 xpression tree.
0230: 20 49 6e 76 6f 6b 65 20 74 68 65 20 63 61 6c 6c Invoke the call
0240: 62 61 63 6b 20 6f 6e 63 65 20 66 6f 72 20 65 61 back once for ea
0250: 63 68 20 6e 6f 64 65 0a 2a 2a 20 6f 66 20 74 68 ch node.** of th
0260: 65 20 65 78 70 72 65 73 73 69 6f 6e 2c 20 77 68 e expression, wh
0270: 69 6c 65 20 64 65 73 63 65 6e 64 69 6e 67 2e 20 ile descending.
0280: 20 28 49 6e 20 6f 74 68 65 72 20 77 6f 72 64 73 (In other words
0290: 2c 20 74 68 65 20 63 61 6c 6c 62 61 63 6b 0a 2a , the callback.*
02a0: 2a 20 69 73 20 69 6e 76 6f 6b 65 64 20 62 65 66 * is invoked bef
02b0: 6f 72 65 20 76 69 73 69 74 69 6e 67 20 63 68 69 ore visiting chi
02c0: 6c 64 72 65 6e 2e 29 0a 2a 2a 0a 2a 2a 20 54 68 ldren.).**.** Th
02d0: 65 20 72 65 74 75 72 6e 20 76 61 6c 75 65 20 66 e return value f
02e0: 72 6f 6d 20 74 68 65 20 63 61 6c 6c 62 61 63 6b rom the callback
02f0: 20 73 68 6f 75 6c 64 20 62 65 20 6f 6e 65 20 6f should be one o
0300: 66 20 74 68 65 20 57 52 43 5f 2a 0a 2a 2a 20 63 f the WRC_*.** c
0310: 6f 6e 73 74 61 6e 74 73 20 74 6f 20 73 70 65 63 onstants to spec
0320: 69 66 79 20 68 6f 77 20 74 6f 20 70 72 6f 63 65 ify how to proce
0330: 65 64 20 77 69 74 68 20 74 68 65 20 77 61 6c 6b ed with the walk
0340: 2e 0a 2a 2a 0a 2a 2a 20 20 20 20 57 52 43 5f 43 ..**.** WRC_C
0350: 6f 6e 74 69 6e 75 65 20 20 20 20 20 20 43 6f 6e ontinue Con
0360: 74 69 6e 75 65 20 64 65 73 63 65 6e 64 69 6e 67 tinue descending
0370: 20 64 6f 77 6e 20 74 68 65 20 74 72 65 65 2e 0a down the tree..
0380: 2a 2a 0a 2a 2a 20 20 20 20 57 52 43 5f 50 72 75 **.** WRC_Pru
0390: 6e 65 20 20 20 20 20 20 20 20 20 44 6f 20 6e 6f ne Do no
03a0: 74 20 64 65 73 63 65 6e 64 20 69 6e 74 6f 20 63 t descend into c
03b0: 68 69 6c 64 20 6e 6f 64 65 73 2e 20 20 42 75 74 hild nodes. But
03c0: 20 61 6c 6c 6f 77 0a 2a 2a 20 20 20 20 20 20 20 allow.**
03d0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 74 t
03e0: 68 65 20 77 61 6c 6b 20 74 6f 20 63 6f 6e 74 69 he walk to conti
03f0: 6e 75 65 20 77 69 74 68 20 73 69 62 6c 69 6e 67 nue with sibling
0400: 20 6e 6f 64 65 73 2e 0a 2a 2a 0a 2a 2a 20 20 20 nodes..**.**
0410: 20 57 52 43 5f 41 62 6f 72 74 20 20 20 20 20 20 WRC_Abort
0420: 20 20 20 44 6f 20 6e 6f 20 6d 6f 72 65 20 63 61 Do no more ca
0430: 6c 6c 62 61 63 6b 73 2e 20 20 55 6e 77 69 6e 64 llbacks. Unwind
0440: 20 74 68 65 20 73 74 61 63 6b 20 61 6e 64 0a 2a the stack and.*
0450: 2a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 *
0460: 20 20 20 20 20 20 20 72 65 74 75 72 6e 20 74 68 return th
0470: 65 20 74 6f 70 2d 6c 65 76 65 6c 20 77 61 6c 6b e top-level walk
0480: 20 63 61 6c 6c 2e 0a 2a 2a 0a 2a 2a 20 54 68 65 call..**.** The
0490: 20 72 65 74 75 72 6e 20 76 61 6c 75 65 20 66 72 return value fr
04a0: 6f 6d 20 74 68 69 73 20 72 6f 75 74 69 6e 65 20 om this routine
04b0: 69 73 20 57 52 43 5f 41 62 6f 72 74 20 74 6f 20 is WRC_Abort to
04c0: 61 62 61 6e 64 6f 6e 20 74 68 65 20 74 72 65 65 abandon the tree
04d0: 20 77 61 6c 6b 0a 2a 2a 20 61 6e 64 20 57 52 43 walk.** and WRC
04e0: 5f 43 6f 6e 74 69 6e 75 65 20 74 6f 20 63 6f 6e _Continue to con
04f0: 74 69 6e 75 65 2e 0a 2a 2f 0a 73 74 61 74 69 63 tinue..*/.static
0500: 20 53 51 4c 49 54 45 5f 4e 4f 49 4e 4c 49 4e 45 SQLITE_NOINLINE
0510: 20 69 6e 74 20 77 61 6c 6b 45 78 70 72 28 57 61 int walkExpr(Wa
0520: 6c 6b 65 72 20 2a 70 57 61 6c 6b 65 72 2c 20 45 lker *pWalker, E
0530: 78 70 72 20 2a 70 45 78 70 72 29 7b 0a 20 20 69 xpr *pExpr){. i
0540: 6e 74 20 72 63 3b 0a 20 20 74 65 73 74 63 61 73 nt rc;. testcas
0550: 65 28 20 45 78 70 72 48 61 73 50 72 6f 70 65 72 e( ExprHasProper
0560: 74 79 28 70 45 78 70 72 2c 20 45 50 5f 54 6f 6b ty(pExpr, EP_Tok
0570: 65 6e 4f 6e 6c 79 29 20 29 3b 0a 20 20 74 65 73 enOnly) );. tes
0580: 74 63 61 73 65 28 20 45 78 70 72 48 61 73 50 72 tcase( ExprHasPr
0590: 6f 70 65 72 74 79 28 70 45 78 70 72 2c 20 45 50 operty(pExpr, EP
05a0: 5f 52 65 64 75 63 65 64 29 20 29 3b 0a 20 20 72 _Reduced) );. r
05b0: 63 20 3d 20 70 57 61 6c 6b 65 72 2d 3e 78 45 78 c = pWalker->xEx
05c0: 70 72 43 61 6c 6c 62 61 63 6b 28 70 57 61 6c 6b prCallback(pWalk
05d0: 65 72 2c 20 70 45 78 70 72 29 3b 0a 20 20 69 66 er, pExpr);. if
05e0: 28 20 72 63 20 7c 7c 20 45 78 70 72 48 61 73 50 ( rc || ExprHasP
05f0: 72 6f 70 65 72 74 79 28 70 45 78 70 72 2c 45 50 roperty(pExpr,EP
0600: 5f 54 6f 6b 65 6e 4f 6e 6c 79 29 20 29 20 72 65 _TokenOnly) ) re
0610: 74 75 72 6e 20 72 63 20 26 20 57 52 43 5f 41 62 turn rc & WRC_Ab
0620: 6f 72 74 3b 0a 20 20 69 66 28 20 70 45 78 70 72 ort;. if( pExpr
0630: 2d 3e 70 4c 65 66 74 20 26 26 20 77 61 6c 6b 45 ->pLeft && walkE
0640: 78 70 72 28 70 57 61 6c 6b 65 72 2c 20 70 45 78 xpr(pWalker, pEx
0650: 70 72 2d 3e 70 4c 65 66 74 29 20 29 20 72 65 74 pr->pLeft) ) ret
0660: 75 72 6e 20 57 52 43 5f 41 62 6f 72 74 3b 0a 20 urn WRC_Abort;.
0670: 20 69 66 28 20 70 45 78 70 72 2d 3e 70 52 69 67 if( pExpr->pRig
0680: 68 74 20 26 26 20 77 61 6c 6b 45 78 70 72 28 70 ht && walkExpr(p
0690: 57 61 6c 6b 65 72 2c 20 70 45 78 70 72 2d 3e 70 Walker, pExpr->p
06a0: 52 69 67 68 74 29 20 29 20 72 65 74 75 72 6e 20 Right) ) return
06b0: 57 52 43 5f 41 62 6f 72 74 3b 0a 20 20 69 66 28 WRC_Abort;. if(
06c0: 20 45 78 70 72 48 61 73 50 72 6f 70 65 72 74 79 ExprHasProperty
06d0: 28 70 45 78 70 72 2c 20 45 50 5f 78 49 73 53 65 (pExpr, EP_xIsSe
06e0: 6c 65 63 74 29 20 29 7b 0a 20 20 20 20 69 66 28 lect) ){. if(
06f0: 20 73 71 6c 69 74 65 33 57 61 6c 6b 53 65 6c 65 sqlite3WalkSele
0700: 63 74 28 70 57 61 6c 6b 65 72 2c 20 70 45 78 70 ct(pWalker, pExp
0710: 72 2d 3e 78 2e 70 53 65 6c 65 63 74 29 20 29 20 r->x.pSelect) )
0720: 72 65 74 75 72 6e 20 57 52 43 5f 41 62 6f 72 74 return WRC_Abort
0730: 3b 0a 20 20 7d 65 6c 73 65 20 69 66 28 20 70 45 ;. }else if( pE
0740: 78 70 72 2d 3e 78 2e 70 4c 69 73 74 20 29 7b 0a xpr->x.pList ){.
0750: 20 20 20 20 69 66 28 20 73 71 6c 69 74 65 33 57 if( sqlite3W
0760: 61 6c 6b 45 78 70 72 4c 69 73 74 28 70 57 61 6c alkExprList(pWal
0770: 6b 65 72 2c 20 70 45 78 70 72 2d 3e 78 2e 70 4c ker, pExpr->x.pL
0780: 69 73 74 29 20 29 20 72 65 74 75 72 6e 20 57 52 ist) ) return WR
0790: 43 5f 41 62 6f 72 74 3b 0a 20 20 7d 0a 20 20 72 C_Abort;. }. r
07a0: 65 74 75 72 6e 20 57 52 43 5f 43 6f 6e 74 69 6e eturn WRC_Contin
07b0: 75 65 3b 0a 7d 0a 69 6e 74 20 73 71 6c 69 74 65 ue;.}.int sqlite
07c0: 33 57 61 6c 6b 45 78 70 72 28 57 61 6c 6b 65 72 3WalkExpr(Walker
07d0: 20 2a 70 57 61 6c 6b 65 72 2c 20 45 78 70 72 20 *pWalker, Expr
07e0: 2a 70 45 78 70 72 29 7b 0a 20 20 72 65 74 75 72 *pExpr){. retur
07f0: 6e 20 70 45 78 70 72 20 3f 20 77 61 6c 6b 45 78 n pExpr ? walkEx
0800: 70 72 28 70 57 61 6c 6b 65 72 2c 70 45 78 70 72 pr(pWalker,pExpr
0810: 29 20 3a 20 57 52 43 5f 43 6f 6e 74 69 6e 75 65 ) : WRC_Continue
0820: 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 43 61 6c 6c 20 ;.}../*.** Call
0830: 73 71 6c 69 74 65 33 57 61 6c 6b 45 78 70 72 28 sqlite3WalkExpr(
0840: 29 20 66 6f 72 20 65 76 65 72 79 20 65 78 70 72 ) for every expr
0850: 65 73 73 69 6f 6e 20 69 6e 20 6c 69 73 74 20 70 ession in list p
0860: 20 6f 72 20 75 6e 74 69 6c 0a 2a 2a 20 61 6e 20 or until.** an
0870: 61 62 6f 72 74 20 72 65 71 75 65 73 74 20 69 73 abort request is
0880: 20 73 65 65 6e 2e 0a 2a 2f 0a 69 6e 74 20 73 71 seen..*/.int sq
0890: 6c 69 74 65 33 57 61 6c 6b 45 78 70 72 4c 69 73 lite3WalkExprLis
08a0: 74 28 57 61 6c 6b 65 72 20 2a 70 57 61 6c 6b 65 t(Walker *pWalke
08b0: 72 2c 20 45 78 70 72 4c 69 73 74 20 2a 70 29 7b r, ExprList *p){
08c0: 0a 20 20 69 6e 74 20 69 3b 0a 20 20 73 74 72 75 . int i;. stru
08d0: 63 74 20 45 78 70 72 4c 69 73 74 5f 69 74 65 6d ct ExprList_item
08e0: 20 2a 70 49 74 65 6d 3b 0a 20 20 69 66 28 20 70 *pItem;. if( p
08f0: 20 29 7b 0a 20 20 20 20 66 6f 72 28 69 3d 70 2d ){. for(i=p-
0900: 3e 6e 45 78 70 72 2c 20 70 49 74 65 6d 3d 70 2d >nExpr, pItem=p-
0910: 3e 61 3b 20 69 3e 30 3b 20 69 2d 2d 2c 20 70 49 >a; i>0; i--, pI
0920: 74 65 6d 2b 2b 29 7b 0a 20 20 20 20 20 20 69 66 tem++){. if
0930: 28 20 73 71 6c 69 74 65 33 57 61 6c 6b 45 78 70 ( sqlite3WalkExp
0940: 72 28 70 57 61 6c 6b 65 72 2c 20 70 49 74 65 6d r(pWalker, pItem
0950: 2d 3e 70 45 78 70 72 29 20 29 20 72 65 74 75 72 ->pExpr) ) retur
0960: 6e 20 57 52 43 5f 41 62 6f 72 74 3b 0a 20 20 20 n WRC_Abort;.
0970: 20 7d 0a 20 20 7d 0a 20 20 72 65 74 75 72 6e 20 }. }. return
0980: 57 52 43 5f 43 6f 6e 74 69 6e 75 65 3b 0a 7d 0a WRC_Continue;.}.
0990: 0a 2f 2a 0a 2a 2a 20 57 61 6c 6b 20 61 6c 6c 20 ./*.** Walk all
09a0: 65 78 70 72 65 73 73 69 6f 6e 73 20 61 73 73 6f expressions asso
09b0: 63 69 61 74 65 64 20 77 69 74 68 20 53 45 4c 45 ciated with SELE
09c0: 43 54 20 73 74 61 74 65 6d 65 6e 74 20 70 2e 20 CT statement p.
09d0: 20 44 6f 0a 2a 2a 20 6e 6f 74 20 69 6e 76 6f 6b Do.** not invok
09e0: 65 20 74 68 65 20 53 45 4c 45 43 54 20 63 61 6c e the SELECT cal
09f0: 6c 62 61 63 6b 20 6f 6e 20 70 2c 20 62 75 74 20 lback on p, but
0a00: 64 6f 20 28 6f 66 20 63 6f 75 72 73 65 29 20 69 do (of course) i
0a10: 6e 76 6f 6b 65 0a 2a 2a 20 61 6e 79 20 65 78 70 nvoke.** any exp
0a20: 72 20 63 61 6c 6c 62 61 63 6b 73 20 61 6e 64 20 r callbacks and
0a30: 53 45 4c 45 43 54 20 63 61 6c 6c 62 61 63 6b 73 SELECT callbacks
0a40: 20 74 68 61 74 20 63 6f 6d 65 20 66 72 6f 6d 20 that come from
0a50: 73 75 62 71 75 65 72 69 65 73 2e 0a 2a 2a 20 52 subqueries..** R
0a60: 65 74 75 72 6e 20 57 52 43 5f 41 62 6f 72 74 20 eturn WRC_Abort
0a70: 6f 72 20 57 52 43 5f 43 6f 6e 74 69 6e 75 65 2e or WRC_Continue.
0a80: 0a 2a 2f 0a 69 6e 74 20 73 71 6c 69 74 65 33 57 .*/.int sqlite3W
0a90: 61 6c 6b 53 65 6c 65 63 74 45 78 70 72 28 57 61 alkSelectExpr(Wa
0aa0: 6c 6b 65 72 20 2a 70 57 61 6c 6b 65 72 2c 20 53 lker *pWalker, S
0ab0: 65 6c 65 63 74 20 2a 70 29 7b 0a 20 20 69 66 28 elect *p){. if(
0ac0: 20 73 71 6c 69 74 65 33 57 61 6c 6b 45 78 70 72 sqlite3WalkExpr
0ad0: 4c 69 73 74 28 70 57 61 6c 6b 65 72 2c 20 70 2d List(pWalker, p-
0ae0: 3e 70 45 4c 69 73 74 29 20 29 20 72 65 74 75 72 >pEList) ) retur
0af0: 6e 20 57 52 43 5f 41 62 6f 72 74 3b 0a 20 20 69 n WRC_Abort;. i
0b00: 66 28 20 73 71 6c 69 74 65 33 57 61 6c 6b 45 78 f( sqlite3WalkEx
0b10: 70 72 28 70 57 61 6c 6b 65 72 2c 20 70 2d 3e 70 pr(pWalker, p->p
0b20: 57 68 65 72 65 29 20 29 20 72 65 74 75 72 6e 20 Where) ) return
0b30: 57 52 43 5f 41 62 6f 72 74 3b 0a 20 20 69 66 28 WRC_Abort;. if(
0b40: 20 73 71 6c 69 74 65 33 57 61 6c 6b 45 78 70 72 sqlite3WalkExpr
0b50: 4c 69 73 74 28 70 57 61 6c 6b 65 72 2c 20 70 2d List(pWalker, p-
0b60: 3e 70 47 72 6f 75 70 42 79 29 20 29 20 72 65 74 >pGroupBy) ) ret
0b70: 75 72 6e 20 57 52 43 5f 41 62 6f 72 74 3b 0a 20 urn WRC_Abort;.
0b80: 20 69 66 28 20 73 71 6c 69 74 65 33 57 61 6c 6b if( sqlite3Walk
0b90: 45 78 70 72 28 70 57 61 6c 6b 65 72 2c 20 70 2d Expr(pWalker, p-
0ba0: 3e 70 48 61 76 69 6e 67 29 20 29 20 72 65 74 75 >pHaving) ) retu
0bb0: 72 6e 20 57 52 43 5f 41 62 6f 72 74 3b 0a 20 20 rn WRC_Abort;.
0bc0: 69 66 28 20 73 71 6c 69 74 65 33 57 61 6c 6b 45 if( sqlite3WalkE
0bd0: 78 70 72 4c 69 73 74 28 70 57 61 6c 6b 65 72 2c xprList(pWalker,
0be0: 20 70 2d 3e 70 4f 72 64 65 72 42 79 29 20 29 20 p->pOrderBy) )
0bf0: 72 65 74 75 72 6e 20 57 52 43 5f 41 62 6f 72 74 return WRC_Abort
0c00: 3b 0a 20 20 69 66 28 20 73 71 6c 69 74 65 33 57 ;. if( sqlite3W
0c10: 61 6c 6b 45 78 70 72 28 70 57 61 6c 6b 65 72 2c alkExpr(pWalker,
0c20: 20 70 2d 3e 70 4c 69 6d 69 74 29 20 29 20 72 65 p->pLimit) ) re
0c30: 74 75 72 6e 20 57 52 43 5f 41 62 6f 72 74 3b 0a turn WRC_Abort;.
0c40: 20 20 69 66 28 20 73 71 6c 69 74 65 33 57 61 6c if( sqlite3Wal
0c50: 6b 45 78 70 72 28 70 57 61 6c 6b 65 72 2c 20 70 kExpr(pWalker, p
0c60: 2d 3e 70 4f 66 66 73 65 74 29 20 29 20 72 65 74 ->pOffset) ) ret
0c70: 75 72 6e 20 57 52 43 5f 41 62 6f 72 74 3b 0a 20 urn WRC_Abort;.
0c80: 20 72 65 74 75 72 6e 20 57 52 43 5f 43 6f 6e 74 return WRC_Cont
0c90: 69 6e 75 65 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 57 inue;.}../*.** W
0ca0: 61 6c 6b 20 74 68 65 20 70 61 72 73 65 20 74 72 alk the parse tr
0cb0: 65 65 73 20 61 73 73 6f 63 69 61 74 65 64 20 77 ees associated w
0cc0: 69 74 68 20 61 6c 6c 20 73 75 62 71 75 65 72 69 ith all subqueri
0cd0: 65 73 20 69 6e 20 74 68 65 0a 2a 2a 20 46 52 4f es in the.** FRO
0ce0: 4d 20 63 6c 61 75 73 65 20 6f 66 20 53 45 4c 45 M clause of SELE
0cf0: 43 54 20 73 74 61 74 65 6d 65 6e 74 20 70 2e 20 CT statement p.
0d00: 20 44 6f 20 6e 6f 74 20 69 6e 76 6f 6b 65 20 74 Do not invoke t
0d10: 68 65 20 73 65 6c 65 63 74 0a 2a 2a 20 63 61 6c he select.** cal
0d20: 6c 62 61 63 6b 20 6f 6e 20 70 2c 20 62 75 74 20 lback on p, but
0d30: 64 6f 20 69 6e 76 6f 6b 65 20 69 74 20 6f 6e 20 do invoke it on
0d40: 65 61 63 68 20 46 52 4f 4d 20 63 6c 61 75 73 65 each FROM clause
0d50: 20 73 75 62 71 75 65 72 79 0a 2a 2a 20 61 6e 64 subquery.** and
0d60: 20 6f 6e 20 61 6e 79 20 73 75 62 71 75 65 72 69 on any subqueri
0d70: 65 73 20 66 75 72 74 68 65 72 20 64 6f 77 6e 20 es further down
0d80: 69 6e 20 74 68 65 20 74 72 65 65 2e 20 20 52 65 in the tree. Re
0d90: 74 75 72 6e 20 0a 2a 2a 20 57 52 43 5f 41 62 6f turn .** WRC_Abo
0da0: 72 74 20 6f 72 20 57 52 43 5f 43 6f 6e 74 69 6e rt or WRC_Contin
0db0: 75 65 3b 0a 2a 2f 0a 69 6e 74 20 73 71 6c 69 74 ue;.*/.int sqlit
0dc0: 65 33 57 61 6c 6b 53 65 6c 65 63 74 46 72 6f 6d e3WalkSelectFrom
0dd0: 28 57 61 6c 6b 65 72 20 2a 70 57 61 6c 6b 65 72 (Walker *pWalker
0de0: 2c 20 53 65 6c 65 63 74 20 2a 70 29 7b 0a 20 20 , Select *p){.
0df0: 53 72 63 4c 69 73 74 20 2a 70 53 72 63 3b 0a 20 SrcList *pSrc;.
0e00: 20 69 6e 74 20 69 3b 0a 20 20 73 74 72 75 63 74 int i;. struct
0e10: 20 53 72 63 4c 69 73 74 5f 69 74 65 6d 20 2a 70 SrcList_item *p
0e20: 49 74 65 6d 3b 0a 0a 20 20 70 53 72 63 20 3d 20 Item;.. pSrc =
0e30: 70 2d 3e 70 53 72 63 3b 0a 20 20 69 66 28 20 41 p->pSrc;. if( A
0e40: 4c 57 41 59 53 28 70 53 72 63 29 20 29 7b 0a 20 LWAYS(pSrc) ){.
0e50: 20 20 20 66 6f 72 28 69 3d 70 53 72 63 2d 3e 6e for(i=pSrc->n
0e60: 53 72 63 2c 20 70 49 74 65 6d 3d 70 53 72 63 2d Src, pItem=pSrc-
0e70: 3e 61 3b 20 69 3e 30 3b 20 69 2d 2d 2c 20 70 49 >a; i>0; i--, pI
0e80: 74 65 6d 2b 2b 29 7b 0a 20 20 20 20 20 20 69 66 tem++){. if
0e90: 28 20 73 71 6c 69 74 65 33 57 61 6c 6b 53 65 6c ( sqlite3WalkSel
0ea0: 65 63 74 28 70 57 61 6c 6b 65 72 2c 20 70 49 74 ect(pWalker, pIt
0eb0: 65 6d 2d 3e 70 53 65 6c 65 63 74 29 20 29 7b 0a em->pSelect) ){.
0ec0: 20 20 20 20 20 20 20 20 72 65 74 75 72 6e 20 57 return W
0ed0: 52 43 5f 41 62 6f 72 74 3b 0a 20 20 20 20 20 20 RC_Abort;.
0ee0: 7d 0a 20 20 20 20 20 20 69 66 28 20 70 49 74 65 }. if( pIte
0ef0: 6d 2d 3e 66 67 2e 69 73 54 61 62 46 75 6e 63 0a m->fg.isTabFunc.
0f00: 20 20 20 20 20 20 20 26 26 20 73 71 6c 69 74 65 && sqlite
0f10: 33 57 61 6c 6b 45 78 70 72 4c 69 73 74 28 70 57 3WalkExprList(pW
0f20: 61 6c 6b 65 72 2c 20 70 49 74 65 6d 2d 3e 75 31 alker, pItem->u1
0f30: 2e 70 46 75 6e 63 41 72 67 29 0a 20 20 20 20 20 .pFuncArg).
0f40: 20 29 7b 0a 20 20 20 20 20 20 20 20 72 65 74 75 ){. retu
0f50: 72 6e 20 57 52 43 5f 41 62 6f 72 74 3b 0a 20 20 rn WRC_Abort;.
0f60: 20 20 20 20 7d 0a 20 20 20 20 7d 0a 20 20 7d 0a }. }. }.
0f70: 20 20 72 65 74 75 72 6e 20 57 52 43 5f 43 6f 6e return WRC_Con
0f80: 74 69 6e 75 65 3b 0a 7d 20 0a 0a 2f 2a 0a 2a 2a tinue;.} ../*.**
0f90: 20 43 61 6c 6c 20 73 71 6c 69 74 65 33 57 61 6c Call sqlite3Wal
0fa0: 6b 45 78 70 72 28 29 20 66 6f 72 20 65 76 65 72 kExpr() for ever
0fb0: 79 20 65 78 70 72 65 73 73 69 6f 6e 20 69 6e 20 y expression in
0fc0: 53 65 6c 65 63 74 20 73 74 61 74 65 6d 65 6e 74 Select statement
0fd0: 20 70 2e 0a 2a 2a 20 49 6e 76 6f 6b 65 20 73 71 p..** Invoke sq
0fe0: 6c 69 74 65 33 57 61 6c 6b 53 65 6c 65 63 74 28 lite3WalkSelect(
0ff0: 29 20 66 6f 72 20 73 75 62 71 75 65 72 69 65 73 ) for subqueries
1000: 20 69 6e 20 74 68 65 20 46 52 4f 4d 20 63 6c 61 in the FROM cla
1010: 75 73 65 20 61 6e 64 0a 2a 2a 20 6f 6e 20 74 68 use and.** on th
1020: 65 20 63 6f 6d 70 6f 75 6e 64 20 73 65 6c 65 63 e compound selec
1030: 74 20 63 68 61 69 6e 2c 20 70 2d 3e 70 50 72 69 t chain, p->pPri
1040: 6f 72 2e 20 0a 2a 2a 0a 2a 2a 20 49 66 20 69 74 or. .**.** If it
1050: 20 69 73 20 6e 6f 74 20 4e 55 4c 4c 2c 20 74 68 is not NULL, th
1060: 65 20 78 53 65 6c 65 63 74 43 61 6c 6c 62 61 63 e xSelectCallbac
1070: 6b 28 29 20 63 61 6c 6c 62 61 63 6b 20 69 73 20 k() callback is
1080: 69 6e 76 6f 6b 65 64 20 62 65 66 6f 72 65 0a 2a invoked before.*
1090: 2a 20 74 68 65 20 77 61 6c 6b 20 6f 66 20 74 68 * the walk of th
10a0: 65 20 65 78 70 72 65 73 73 69 6f 6e 73 20 61 6e e expressions an
10b0: 64 20 46 52 4f 4d 20 63 6c 61 75 73 65 2e 20 54 d FROM clause. T
10c0: 68 65 20 78 53 65 6c 65 63 74 43 61 6c 6c 62 61 he xSelectCallba
10d0: 63 6b 32 28 29 0a 2a 2a 20 6d 65 74 68 6f 64 2c ck2().** method,
10e0: 20 69 66 20 69 74 20 69 73 20 6e 6f 74 20 4e 55 if it is not NU
10f0: 4c 4c 2c 20 69 73 20 69 6e 76 6f 6b 65 64 20 66 LL, is invoked f
1100: 6f 6c 6c 6f 77 69 6e 67 20 74 68 65 20 77 61 6c ollowing the wal
1110: 6b 20 6f 66 20 74 68 65 20 0a 2a 2a 20 65 78 70 k of the .** exp
1120: 72 65 73 73 69 6f 6e 73 20 61 6e 64 20 46 52 4f ressions and FRO
1130: 4d 20 63 6c 61 75 73 65 2e 0a 2a 2a 0a 2a 2a 20 M clause..**.**
1140: 52 65 74 75 72 6e 20 57 52 43 5f 43 6f 6e 74 69 Return WRC_Conti
1150: 6e 75 65 20 75 6e 64 65 72 20 6e 6f 72 6d 61 6c nue under normal
1160: 20 63 6f 6e 64 69 74 69 6f 6e 73 2e 20 20 52 65 conditions. Re
1170: 74 75 72 6e 20 57 52 43 5f 41 62 6f 72 74 20 69 turn WRC_Abort i
1180: 66 0a 2a 2a 20 74 68 65 72 65 20 69 73 20 61 6e f.** there is an
1190: 20 61 62 6f 72 74 20 72 65 71 75 65 73 74 2e 0a abort request..
11a0: 2a 2a 0a 2a 2a 20 49 66 20 74 68 65 20 57 61 6c **.** If the Wal
11b0: 6b 65 72 20 64 6f 65 73 20 6e 6f 74 20 68 61 76 ker does not hav
11c0: 65 20 61 6e 20 78 53 65 6c 65 63 74 43 61 6c 6c e an xSelectCall
11d0: 62 61 63 6b 28 29 20 74 68 65 6e 20 74 68 69 73 back() then this
11e0: 20 72 6f 75 74 69 6e 65 0a 2a 2a 20 69 73 20 61 routine.** is a
11f0: 20 6e 6f 2d 6f 70 20 72 65 74 75 72 6e 69 6e 67 no-op returning
1200: 20 57 52 43 5f 43 6f 6e 74 69 6e 75 65 2e 0a 2a WRC_Continue..*
1210: 2f 0a 69 6e 74 20 73 71 6c 69 74 65 33 57 61 6c /.int sqlite3Wal
1220: 6b 53 65 6c 65 63 74 28 57 61 6c 6b 65 72 20 2a kSelect(Walker *
1230: 70 57 61 6c 6b 65 72 2c 20 53 65 6c 65 63 74 20 pWalker, Select
1240: 2a 70 29 7b 0a 20 20 69 6e 74 20 72 63 3b 0a 20 *p){. int rc;.
1250: 20 69 66 28 20 70 3d 3d 30 20 7c 7c 20 28 70 57 if( p==0 || (pW
1260: 61 6c 6b 65 72 2d 3e 78 53 65 6c 65 63 74 43 61 alker->xSelectCa
1270: 6c 6c 62 61 63 6b 3d 3d 30 20 26 26 20 70 57 61 llback==0 && pWa
1280: 6c 6b 65 72 2d 3e 78 53 65 6c 65 63 74 43 61 6c lker->xSelectCal
1290: 6c 62 61 63 6b 32 3d 3d 30 29 20 29 7b 0a 20 20 lback2==0) ){.
12a0: 20 20 72 65 74 75 72 6e 20 57 52 43 5f 43 6f 6e return WRC_Con
12b0: 74 69 6e 75 65 3b 0a 20 20 7d 0a 20 20 72 63 20 tinue;. }. rc
12c0: 3d 20 57 52 43 5f 43 6f 6e 74 69 6e 75 65 3b 0a = WRC_Continue;.
12d0: 20 20 70 57 61 6c 6b 65 72 2d 3e 77 61 6c 6b 65 pWalker->walke
12e0: 72 44 65 70 74 68 2b 2b 3b 0a 20 20 77 68 69 6c rDepth++;. whil
12f0: 65 28 20 70 20 29 7b 0a 20 20 20 20 69 66 28 20 e( p ){. if(
1300: 70 57 61 6c 6b 65 72 2d 3e 78 53 65 6c 65 63 74 pWalker->xSelect
1310: 43 61 6c 6c 62 61 63 6b 20 29 7b 0a 20 20 20 20 Callback ){.
1320: 20 20 20 72 63 20 3d 20 70 57 61 6c 6b 65 72 2d rc = pWalker-
1330: 3e 78 53 65 6c 65 63 74 43 61 6c 6c 62 61 63 6b >xSelectCallback
1340: 28 70 57 61 6c 6b 65 72 2c 20 70 29 3b 0a 20 20 (pWalker, p);.
1350: 20 20 20 20 20 69 66 28 20 72 63 20 29 20 62 72 if( rc ) br
1360: 65 61 6b 3b 0a 20 20 20 20 7d 0a 20 20 20 20 69 eak;. }. i
1370: 66 28 20 73 71 6c 69 74 65 33 57 61 6c 6b 53 65 f( sqlite3WalkSe
1380: 6c 65 63 74 45 78 70 72 28 70 57 61 6c 6b 65 72 lectExpr(pWalker
1390: 2c 20 70 29 0a 20 20 20 20 20 7c 7c 20 73 71 6c , p). || sql
13a0: 69 74 65 33 57 61 6c 6b 53 65 6c 65 63 74 46 72 ite3WalkSelectFr
13b0: 6f 6d 28 70 57 61 6c 6b 65 72 2c 20 70 29 0a 20 om(pWalker, p).
13c0: 20 20 20 29 7b 0a 20 20 20 20 20 20 70 57 61 6c ){. pWal
13d0: 6b 65 72 2d 3e 77 61 6c 6b 65 72 44 65 70 74 68 ker->walkerDepth
13e0: 2d 2d 3b 0a 20 20 20 20 20 20 72 65 74 75 72 6e --;. return
13f0: 20 57 52 43 5f 41 62 6f 72 74 3b 0a 20 20 20 20 WRC_Abort;.
1400: 7d 0a 20 20 20 20 69 66 28 20 70 57 61 6c 6b 65 }. if( pWalke
1410: 72 2d 3e 78 53 65 6c 65 63 74 43 61 6c 6c 62 61 r->xSelectCallba
1420: 63 6b 32 20 29 7b 0a 20 20 20 20 20 20 70 57 61 ck2 ){. pWa
1430: 6c 6b 65 72 2d 3e 78 53 65 6c 65 63 74 43 61 6c lker->xSelectCal
1440: 6c 62 61 63 6b 32 28 70 57 61 6c 6b 65 72 2c 20 lback2(pWalker,
1450: 70 29 3b 0a 20 20 20 20 7d 0a 20 20 20 20 70 20 p);. }. p
1460: 3d 20 70 2d 3e 70 50 72 69 6f 72 3b 0a 20 20 7d = p->pPrior;. }
1470: 0a 20 20 70 57 61 6c 6b 65 72 2d 3e 77 61 6c 6b . pWalker->walk
1480: 65 72 44 65 70 74 68 2d 2d 3b 0a 20 20 72 65 74 erDepth--;. ret
1490: 75 72 6e 20 72 63 20 26 20 57 52 43 5f 41 62 6f urn rc & WRC_Abo
14a0: 72 74 3b 0a 7d 0a rt;.}.