SQLite: Hex Artifact Content

Artifact d46044e7a5842560dfe7122d93ff5145dd4a96f4d0bf5ba5910a7731b8c01e79:

File src/walker.c — part of check-in [6854a34e] at 2017-05-29 14:26:07 on branch trunk — Optimizations to the Walker object and its methods to make the code a little smaller and to help it run a little faster. (user: drh size: 5254) [more...]
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 2c 20 62 75 74 20  hild nodes, but 
03c0: 61 6c 6c 6f 77 0a 2a 2a 20 20 20 20 20 20 20 20  allow.**        
03d0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 74 68                th
03e0: 65 20 77 61 6c 6b 20 74 6f 20 63 6f 6e 74 69 6e  e walk to contin
03f0: 75 65 20 77 69 74 68 20 73 69 62 6c 69 6e 67 20  ue with sibling 
0400: 6e 6f 64 65 73 2e 0a 2a 2a 0a 2a 2a 20 20 20 20  nodes..**.**    
0410: 57 52 43 5f 41 62 6f 72 74 20 20 20 20 20 20 20  WRC_Abort       
0420: 20 20 44 6f 20 6e 6f 20 6d 6f 72 65 20 63 61 6c    Do no more cal
0430: 6c 62 61 63 6b 73 2e 20 20 55 6e 77 69 6e 64 20  lbacks.  Unwind 
0440: 74 68 65 20 73 74 61 63 6b 20 61 6e 64 0a 2a 2a  the stack and.**
0450: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0460: 20 20 20 20 20 20 72 65 74 75 72 6e 20 66 72 6f        return fro
0470: 6d 20 74 68 65 20 74 6f 70 2d 6c 65 76 65 6c 20  m the top-level 
0480: 77 61 6c 6b 20 63 61 6c 6c 2e 0a 2a 2a 0a 2a 2a  walk call..**.**
0490: 20 54 68 65 20 72 65 74 75 72 6e 20 76 61 6c 75   The return valu
04a0: 65 20 66 72 6f 6d 20 74 68 69 73 20 72 6f 75 74  e from this rout
04b0: 69 6e 65 20 69 73 20 57 52 43 5f 41 62 6f 72 74  ine is WRC_Abort
04c0: 20 74 6f 20 61 62 61 6e 64 6f 6e 20 74 68 65 20   to abandon the 
04d0: 74 72 65 65 20 77 61 6c 6b 0a 2a 2a 20 61 6e 64  tree walk.** and
04e0: 20 57 52 43 5f 43 6f 6e 74 69 6e 75 65 20 74 6f   WRC_Continue to
04f0: 20 63 6f 6e 74 69 6e 75 65 2e 0a 2a 2f 0a 73 74   continue..*/.st
0500: 61 74 69 63 20 53 51 4c 49 54 45 5f 4e 4f 49 4e  atic SQLITE_NOIN
0510: 4c 49 4e 45 20 69 6e 74 20 77 61 6c 6b 45 78 70  LINE int walkExp
0520: 72 28 57 61 6c 6b 65 72 20 2a 70 57 61 6c 6b 65  r(Walker *pWalke
0530: 72 2c 20 45 78 70 72 20 2a 70 45 78 70 72 29 7b  r, Expr *pExpr){
0540: 0a 20 20 69 6e 74 20 72 63 3b 0a 20 20 74 65 73  .  int rc;.  tes
0550: 74 63 61 73 65 28 20 45 78 70 72 48 61 73 50 72  tcase( ExprHasPr
0560: 6f 70 65 72 74 79 28 70 45 78 70 72 2c 20 45 50  operty(pExpr, EP
0570: 5f 54 6f 6b 65 6e 4f 6e 6c 79 29 20 29 3b 0a 20  _TokenOnly) );. 
0580: 20 74 65 73 74 63 61 73 65 28 20 45 78 70 72 48   testcase( ExprH
0590: 61 73 50 72 6f 70 65 72 74 79 28 70 45 78 70 72  asProperty(pExpr
05a0: 2c 20 45 50 5f 52 65 64 75 63 65 64 29 20 29 3b  , EP_Reduced) );
05b0: 0a 20 20 72 63 20 3d 20 70 57 61 6c 6b 65 72 2d  .  rc = pWalker-
05c0: 3e 78 45 78 70 72 43 61 6c 6c 62 61 63 6b 28 70  >xExprCallback(p
05d0: 57 61 6c 6b 65 72 2c 20 70 45 78 70 72 29 3b 0a  Walker, pExpr);.
05e0: 20 20 69 66 28 20 72 63 20 7c 7c 20 45 78 70 72    if( rc || Expr
05f0: 48 61 73 50 72 6f 70 65 72 74 79 28 70 45 78 70  HasProperty(pExp
0600: 72 2c 28 45 50 5f 54 6f 6b 65 6e 4f 6e 6c 79 7c  r,(EP_TokenOnly|
0610: 45 50 5f 4c 65 61 66 29 29 20 29 7b 0a 20 20 20  EP_Leaf)) ){.   
0620: 20 72 65 74 75 72 6e 20 72 63 20 26 20 57 52 43   return rc & WRC
0630: 5f 41 62 6f 72 74 3b 0a 20 20 7d 0a 20 20 69 66  _Abort;.  }.  if
0640: 28 20 70 45 78 70 72 2d 3e 70 4c 65 66 74 20 26  ( pExpr->pLeft &
0650: 26 20 77 61 6c 6b 45 78 70 72 28 70 57 61 6c 6b  & walkExpr(pWalk
0660: 65 72 2c 20 70 45 78 70 72 2d 3e 70 4c 65 66 74  er, pExpr->pLeft
0670: 29 20 29 20 72 65 74 75 72 6e 20 57 52 43 5f 41  ) ) return WRC_A
0680: 62 6f 72 74 3b 0a 20 20 69 66 28 20 70 45 78 70  bort;.  if( pExp
0690: 72 2d 3e 70 52 69 67 68 74 20 26 26 20 77 61 6c  r->pRight && wal
06a0: 6b 45 78 70 72 28 70 57 61 6c 6b 65 72 2c 20 70  kExpr(pWalker, p
06b0: 45 78 70 72 2d 3e 70 52 69 67 68 74 29 20 29 20  Expr->pRight) ) 
06c0: 72 65 74 75 72 6e 20 57 52 43 5f 41 62 6f 72 74  return WRC_Abort
06d0: 3b 0a 20 20 69 66 28 20 45 78 70 72 48 61 73 50  ;.  if( ExprHasP
06e0: 72 6f 70 65 72 74 79 28 70 45 78 70 72 2c 20 45  roperty(pExpr, E
06f0: 50 5f 78 49 73 53 65 6c 65 63 74 29 20 29 7b 0a  P_xIsSelect) ){.
0700: 20 20 20 20 69 66 28 20 73 71 6c 69 74 65 33 57      if( sqlite3W
0710: 61 6c 6b 53 65 6c 65 63 74 28 70 57 61 6c 6b 65  alkSelect(pWalke
0720: 72 2c 20 70 45 78 70 72 2d 3e 78 2e 70 53 65 6c  r, pExpr->x.pSel
0730: 65 63 74 29 20 29 20 72 65 74 75 72 6e 20 57 52  ect) ) return WR
0740: 43 5f 41 62 6f 72 74 3b 0a 20 20 7d 65 6c 73 65  C_Abort;.  }else
0750: 20 69 66 28 20 70 45 78 70 72 2d 3e 78 2e 70 4c   if( pExpr->x.pL
0760: 69 73 74 20 29 7b 0a 20 20 20 20 69 66 28 20 73  ist ){.    if( s
0770: 71 6c 69 74 65 33 57 61 6c 6b 45 78 70 72 4c 69  qlite3WalkExprLi
0780: 73 74 28 70 57 61 6c 6b 65 72 2c 20 70 45 78 70  st(pWalker, pExp
0790: 72 2d 3e 78 2e 70 4c 69 73 74 29 20 29 20 72 65  r->x.pList) ) re
07a0: 74 75 72 6e 20 57 52 43 5f 41 62 6f 72 74 3b 0a  turn WRC_Abort;.
07b0: 20 20 7d 0a 20 20 72 65 74 75 72 6e 20 57 52 43    }.  return WRC
07c0: 5f 43 6f 6e 74 69 6e 75 65 3b 0a 7d 0a 69 6e 74  _Continue;.}.int
07d0: 20 73 71 6c 69 74 65 33 57 61 6c 6b 45 78 70 72   sqlite3WalkExpr
07e0: 28 57 61 6c 6b 65 72 20 2a 70 57 61 6c 6b 65 72  (Walker *pWalker
07f0: 2c 20 45 78 70 72 20 2a 70 45 78 70 72 29 7b 0a  , Expr *pExpr){.
0800: 20 20 72 65 74 75 72 6e 20 70 45 78 70 72 20 3f    return pExpr ?
0810: 20 77 61 6c 6b 45 78 70 72 28 70 57 61 6c 6b 65   walkExpr(pWalke
0820: 72 2c 70 45 78 70 72 29 20 3a 20 57 52 43 5f 43  r,pExpr) : WRC_C
0830: 6f 6e 74 69 6e 75 65 3b 0a 7d 0a 0a 2f 2a 0a 2a  ontinue;.}../*.*
0840: 2a 20 43 61 6c 6c 20 73 71 6c 69 74 65 33 57 61  * Call sqlite3Wa
0850: 6c 6b 45 78 70 72 28 29 20 66 6f 72 20 65 76 65  lkExpr() for eve
0860: 72 79 20 65 78 70 72 65 73 73 69 6f 6e 20 69 6e  ry expression in
0870: 20 6c 69 73 74 20 70 20 6f 72 20 75 6e 74 69 6c   list p or until
0880: 0a 2a 2a 20 61 6e 20 61 62 6f 72 74 20 72 65 71  .** an abort req
0890: 75 65 73 74 20 69 73 20 73 65 65 6e 2e 0a 2a 2f  uest is seen..*/
08a0: 0a 69 6e 74 20 73 71 6c 69 74 65 33 57 61 6c 6b  .int sqlite3Walk
08b0: 45 78 70 72 4c 69 73 74 28 57 61 6c 6b 65 72 20  ExprList(Walker 
08c0: 2a 70 57 61 6c 6b 65 72 2c 20 45 78 70 72 4c 69  *pWalker, ExprLi
08d0: 73 74 20 2a 70 29 7b 0a 20 20 69 6e 74 20 69 3b  st *p){.  int i;
08e0: 0a 20 20 73 74 72 75 63 74 20 45 78 70 72 4c 69  .  struct ExprLi
08f0: 73 74 5f 69 74 65 6d 20 2a 70 49 74 65 6d 3b 0a  st_item *pItem;.
0900: 20 20 69 66 28 20 70 20 29 7b 0a 20 20 20 20 66    if( p ){.    f
0910: 6f 72 28 69 3d 70 2d 3e 6e 45 78 70 72 2c 20 70  or(i=p->nExpr, p
0920: 49 74 65 6d 3d 70 2d 3e 61 3b 20 69 3e 30 3b 20  Item=p->a; i>0; 
0930: 69 2d 2d 2c 20 70 49 74 65 6d 2b 2b 29 7b 0a 20  i--, pItem++){. 
0940: 20 20 20 20 20 69 66 28 20 73 71 6c 69 74 65 33       if( sqlite3
0950: 57 61 6c 6b 45 78 70 72 28 70 57 61 6c 6b 65 72  WalkExpr(pWalker
0960: 2c 20 70 49 74 65 6d 2d 3e 70 45 78 70 72 29 20  , pItem->pExpr) 
0970: 29 20 72 65 74 75 72 6e 20 57 52 43 5f 41 62 6f  ) return WRC_Abo
0980: 72 74 3b 0a 20 20 20 20 7d 0a 20 20 7d 0a 20 20  rt;.    }.  }.  
0990: 72 65 74 75 72 6e 20 57 52 43 5f 43 6f 6e 74 69  return WRC_Conti
09a0: 6e 75 65 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 57 61  nue;.}../*.** Wa
09b0: 6c 6b 20 61 6c 6c 20 65 78 70 72 65 73 73 69 6f  lk all expressio
09c0: 6e 73 20 61 73 73 6f 63 69 61 74 65 64 20 77 69  ns associated wi
09d0: 74 68 20 53 45 4c 45 43 54 20 73 74 61 74 65 6d  th SELECT statem
09e0: 65 6e 74 20 70 2e 20 20 44 6f 0a 2a 2a 20 6e 6f  ent p.  Do.** no
09f0: 74 20 69 6e 76 6f 6b 65 20 74 68 65 20 53 45 4c  t invoke the SEL
0a00: 45 43 54 20 63 61 6c 6c 62 61 63 6b 20 6f 6e 20  ECT callback on 
0a10: 70 2c 20 62 75 74 20 64 6f 20 28 6f 66 20 63 6f  p, but do (of co
0a20: 75 72 73 65 29 20 69 6e 76 6f 6b 65 0a 2a 2a 20  urse) invoke.** 
0a30: 61 6e 79 20 65 78 70 72 20 63 61 6c 6c 62 61 63  any expr callbac
0a40: 6b 73 20 61 6e 64 20 53 45 4c 45 43 54 20 63 61  ks and SELECT ca
0a50: 6c 6c 62 61 63 6b 73 20 74 68 61 74 20 63 6f 6d  llbacks that com
0a60: 65 20 66 72 6f 6d 20 73 75 62 71 75 65 72 69 65  e from subquerie
0a70: 73 2e 0a 2a 2a 20 52 65 74 75 72 6e 20 57 52 43  s..** Return WRC
0a80: 5f 41 62 6f 72 74 20 6f 72 20 57 52 43 5f 43 6f  _Abort or WRC_Co
0a90: 6e 74 69 6e 75 65 2e 0a 2a 2f 0a 69 6e 74 20 73  ntinue..*/.int s
0aa0: 71 6c 69 74 65 33 57 61 6c 6b 53 65 6c 65 63 74  qlite3WalkSelect
0ab0: 45 78 70 72 28 57 61 6c 6b 65 72 20 2a 70 57 61  Expr(Walker *pWa
0ac0: 6c 6b 65 72 2c 20 53 65 6c 65 63 74 20 2a 70 29  lker, Select *p)
0ad0: 7b 0a 20 20 69 66 28 20 73 71 6c 69 74 65 33 57  {.  if( sqlite3W
0ae0: 61 6c 6b 45 78 70 72 4c 69 73 74 28 70 57 61 6c  alkExprList(pWal
0af0: 6b 65 72 2c 20 70 2d 3e 70 45 4c 69 73 74 29 20  ker, p->pEList) 
0b00: 29 20 72 65 74 75 72 6e 20 57 52 43 5f 41 62 6f  ) return WRC_Abo
0b10: 72 74 3b 0a 20 20 69 66 28 20 73 71 6c 69 74 65  rt;.  if( sqlite
0b20: 33 57 61 6c 6b 45 78 70 72 28 70 57 61 6c 6b 65  3WalkExpr(pWalke
0b30: 72 2c 20 70 2d 3e 70 57 68 65 72 65 29 20 29 20  r, p->pWhere) ) 
0b40: 72 65 74 75 72 6e 20 57 52 43 5f 41 62 6f 72 74  return WRC_Abort
0b50: 3b 0a 20 20 69 66 28 20 73 71 6c 69 74 65 33 57  ;.  if( sqlite3W
0b60: 61 6c 6b 45 78 70 72 4c 69 73 74 28 70 57 61 6c  alkExprList(pWal
0b70: 6b 65 72 2c 20 70 2d 3e 70 47 72 6f 75 70 42 79  ker, p->pGroupBy
0b80: 29 20 29 20 72 65 74 75 72 6e 20 57 52 43 5f 41  ) ) return WRC_A
0b90: 62 6f 72 74 3b 0a 20 20 69 66 28 20 73 71 6c 69  bort;.  if( sqli
0ba0: 74 65 33 57 61 6c 6b 45 78 70 72 28 70 57 61 6c  te3WalkExpr(pWal
0bb0: 6b 65 72 2c 20 70 2d 3e 70 48 61 76 69 6e 67 29  ker, p->pHaving)
0bc0: 20 29 20 72 65 74 75 72 6e 20 57 52 43 5f 41 62   ) return WRC_Ab
0bd0: 6f 72 74 3b 0a 20 20 69 66 28 20 73 71 6c 69 74  ort;.  if( sqlit
0be0: 65 33 57 61 6c 6b 45 78 70 72 4c 69 73 74 28 70  e3WalkExprList(p
0bf0: 57 61 6c 6b 65 72 2c 20 70 2d 3e 70 4f 72 64 65  Walker, p->pOrde
0c00: 72 42 79 29 20 29 20 72 65 74 75 72 6e 20 57 52  rBy) ) return WR
0c10: 43 5f 41 62 6f 72 74 3b 0a 20 20 69 66 28 20 73  C_Abort;.  if( s
0c20: 71 6c 69 74 65 33 57 61 6c 6b 45 78 70 72 28 70  qlite3WalkExpr(p
0c30: 57 61 6c 6b 65 72 2c 20 70 2d 3e 70 4c 69 6d 69  Walker, p->pLimi
0c40: 74 29 20 29 20 72 65 74 75 72 6e 20 57 52 43 5f  t) ) return WRC_
0c50: 41 62 6f 72 74 3b 0a 20 20 69 66 28 20 73 71 6c  Abort;.  if( sql
0c60: 69 74 65 33 57 61 6c 6b 45 78 70 72 28 70 57 61  ite3WalkExpr(pWa
0c70: 6c 6b 65 72 2c 20 70 2d 3e 70 4f 66 66 73 65 74  lker, p->pOffset
0c80: 29 20 29 20 72 65 74 75 72 6e 20 57 52 43 5f 41  ) ) return WRC_A
0c90: 62 6f 72 74 3b 0a 20 20 72 65 74 75 72 6e 20 57  bort;.  return W
0ca0: 52 43 5f 43 6f 6e 74 69 6e 75 65 3b 0a 7d 0a 0a  RC_Continue;.}..
0cb0: 2f 2a 0a 2a 2a 20 57 61 6c 6b 20 74 68 65 20 70  /*.** Walk the p
0cc0: 61 72 73 65 20 74 72 65 65 73 20 61 73 73 6f 63  arse trees assoc
0cd0: 69 61 74 65 64 20 77 69 74 68 20 61 6c 6c 20 73  iated with all s
0ce0: 75 62 71 75 65 72 69 65 73 20 69 6e 20 74 68 65  ubqueries in the
0cf0: 0a 2a 2a 20 46 52 4f 4d 20 63 6c 61 75 73 65 20  .** FROM clause 
0d00: 6f 66 20 53 45 4c 45 43 54 20 73 74 61 74 65 6d  of SELECT statem
0d10: 65 6e 74 20 70 2e 20 20 44 6f 20 6e 6f 74 20 69  ent p.  Do not i
0d20: 6e 76 6f 6b 65 20 74 68 65 20 73 65 6c 65 63 74  nvoke the select
0d30: 0a 2a 2a 20 63 61 6c 6c 62 61 63 6b 20 6f 6e 20  .** callback on 
0d40: 70 2c 20 62 75 74 20 64 6f 20 69 6e 76 6f 6b 65  p, but do invoke
0d50: 20 69 74 20 6f 6e 20 65 61 63 68 20 46 52 4f 4d   it on each FROM
0d60: 20 63 6c 61 75 73 65 20 73 75 62 71 75 65 72 79   clause subquery
0d70: 0a 2a 2a 20 61 6e 64 20 6f 6e 20 61 6e 79 20 73  .** and on any s
0d80: 75 62 71 75 65 72 69 65 73 20 66 75 72 74 68 65  ubqueries furthe
0d90: 72 20 64 6f 77 6e 20 69 6e 20 74 68 65 20 74 72  r down in the tr
0da0: 65 65 2e 20 20 52 65 74 75 72 6e 20 0a 2a 2a 20  ee.  Return .** 
0db0: 57 52 43 5f 41 62 6f 72 74 20 6f 72 20 57 52 43  WRC_Abort or WRC
0dc0: 5f 43 6f 6e 74 69 6e 75 65 3b 0a 2a 2f 0a 69 6e  _Continue;.*/.in
0dd0: 74 20 73 71 6c 69 74 65 33 57 61 6c 6b 53 65 6c  t sqlite3WalkSel
0de0: 65 63 74 46 72 6f 6d 28 57 61 6c 6b 65 72 20 2a  ectFrom(Walker *
0df0: 70 57 61 6c 6b 65 72 2c 20 53 65 6c 65 63 74 20  pWalker, Select 
0e00: 2a 70 29 7b 0a 20 20 53 72 63 4c 69 73 74 20 2a  *p){.  SrcList *
0e10: 70 53 72 63 3b 0a 20 20 69 6e 74 20 69 3b 0a 20  pSrc;.  int i;. 
0e20: 20 73 74 72 75 63 74 20 53 72 63 4c 69 73 74 5f   struct SrcList_
0e30: 69 74 65 6d 20 2a 70 49 74 65 6d 3b 0a 0a 20 20  item *pItem;..  
0e40: 70 53 72 63 20 3d 20 70 2d 3e 70 53 72 63 3b 0a  pSrc = p->pSrc;.
0e50: 20 20 69 66 28 20 41 4c 57 41 59 53 28 70 53 72    if( ALWAYS(pSr
0e60: 63 29 20 29 7b 0a 20 20 20 20 66 6f 72 28 69 3d  c) ){.    for(i=
0e70: 70 53 72 63 2d 3e 6e 53 72 63 2c 20 70 49 74 65  pSrc->nSrc, pIte
0e80: 6d 3d 70 53 72 63 2d 3e 61 3b 20 69 3e 30 3b 20  m=pSrc->a; i>0; 
0e90: 69 2d 2d 2c 20 70 49 74 65 6d 2b 2b 29 7b 0a 20  i--, pItem++){. 
0ea0: 20 20 20 20 20 69 66 28 20 73 71 6c 69 74 65 33       if( sqlite3
0eb0: 57 61 6c 6b 53 65 6c 65 63 74 28 70 57 61 6c 6b  WalkSelect(pWalk
0ec0: 65 72 2c 20 70 49 74 65 6d 2d 3e 70 53 65 6c 65  er, pItem->pSele
0ed0: 63 74 29 20 29 7b 0a 20 20 20 20 20 20 20 20 72  ct) ){.        r
0ee0: 65 74 75 72 6e 20 57 52 43 5f 41 62 6f 72 74 3b  eturn WRC_Abort;
0ef0: 0a 20 20 20 20 20 20 7d 0a 20 20 20 20 20 20 69  .      }.      i
0f00: 66 28 20 70 49 74 65 6d 2d 3e 66 67 2e 69 73 54  f( pItem->fg.isT
0f10: 61 62 46 75 6e 63 0a 20 20 20 20 20 20 20 26 26  abFunc.       &&
0f20: 20 73 71 6c 69 74 65 33 57 61 6c 6b 45 78 70 72   sqlite3WalkExpr
0f30: 4c 69 73 74 28 70 57 61 6c 6b 65 72 2c 20 70 49  List(pWalker, pI
0f40: 74 65 6d 2d 3e 75 31 2e 70 46 75 6e 63 41 72 67  tem->u1.pFuncArg
0f50: 29 0a 20 20 20 20 20 20 29 7b 0a 20 20 20 20 20  ).      ){.     
0f60: 20 20 20 72 65 74 75 72 6e 20 57 52 43 5f 41 62     return WRC_Ab
0f70: 6f 72 74 3b 0a 20 20 20 20 20 20 7d 0a 20 20 20  ort;.      }.   
0f80: 20 7d 0a 20 20 7d 0a 20 20 72 65 74 75 72 6e 20   }.  }.  return 
0f90: 57 52 43 5f 43 6f 6e 74 69 6e 75 65 3b 0a 7d 20  WRC_Continue;.} 
0fa0: 0a 0a 2f 2a 0a 2a 2a 20 43 61 6c 6c 20 73 71 6c  ../*.** Call sql
0fb0: 69 74 65 33 57 61 6c 6b 45 78 70 72 28 29 20 66  ite3WalkExpr() f
0fc0: 6f 72 20 65 76 65 72 79 20 65 78 70 72 65 73 73  or every express
0fd0: 69 6f 6e 20 69 6e 20 53 65 6c 65 63 74 20 73 74  ion in Select st
0fe0: 61 74 65 6d 65 6e 74 20 70 2e 0a 2a 2a 20 49 6e  atement p..** In
0ff0: 76 6f 6b 65 20 73 71 6c 69 74 65 33 57 61 6c 6b  voke sqlite3Walk
1000: 53 65 6c 65 63 74 28 29 20 66 6f 72 20 73 75 62  Select() for sub
1010: 71 75 65 72 69 65 73 20 69 6e 20 74 68 65 20 46  queries in the F
1020: 52 4f 4d 20 63 6c 61 75 73 65 20 61 6e 64 0a 2a  ROM clause and.*
1030: 2a 20 6f 6e 20 74 68 65 20 63 6f 6d 70 6f 75 6e  * on the compoun
1040: 64 20 73 65 6c 65 63 74 20 63 68 61 69 6e 2c 20  d select chain, 
1050: 70 2d 3e 70 50 72 69 6f 72 2e 20 0a 2a 2a 0a 2a  p->pPrior. .**.*
1060: 2a 20 49 66 20 69 74 20 69 73 20 6e 6f 74 20 4e  * If it is not N
1070: 55 4c 4c 2c 20 74 68 65 20 78 53 65 6c 65 63 74  ULL, the xSelect
1080: 43 61 6c 6c 62 61 63 6b 28 29 20 63 61 6c 6c 62  Callback() callb
1090: 61 63 6b 20 69 73 20 69 6e 76 6f 6b 65 64 20 62  ack is invoked b
10a0: 65 66 6f 72 65 0a 2a 2a 20 74 68 65 20 77 61 6c  efore.** the wal
10b0: 6b 20 6f 66 20 74 68 65 20 65 78 70 72 65 73 73  k of the express
10c0: 69 6f 6e 73 20 61 6e 64 20 46 52 4f 4d 20 63 6c  ions and FROM cl
10d0: 61 75 73 65 2e 20 54 68 65 20 78 53 65 6c 65 63  ause. The xSelec
10e0: 74 43 61 6c 6c 62 61 63 6b 32 28 29 0a 2a 2a 20  tCallback2().** 
10f0: 6d 65 74 68 6f 64 20 69 73 20 69 6e 76 6f 6b 65  method is invoke
1100: 64 20 66 6f 6c 6c 6f 77 69 6e 67 20 74 68 65 20  d following the 
1110: 77 61 6c 6b 20 6f 66 20 74 68 65 20 65 78 70 72  walk of the expr
1120: 65 73 73 69 6f 6e 73 20 61 6e 64 20 46 52 4f 4d  essions and FROM
1130: 20 63 6c 61 75 73 65 2c 0a 2a 2a 20 62 75 74 20   clause,.** but 
1140: 6f 6e 6c 79 20 69 66 20 62 6f 74 68 20 78 53 65  only if both xSe
1150: 6c 65 63 74 43 61 6c 6c 62 61 63 6b 20 61 6e 64  lectCallback and
1160: 20 78 53 65 6c 65 63 74 43 61 6c 6c 62 61 63 6b   xSelectCallback
1170: 32 20 61 72 65 20 62 6f 74 68 20 6e 6f 6e 2d 4e  2 are both non-N
1180: 55 4c 4c 0a 2a 2a 20 61 6e 64 20 69 66 20 74 68  ULL.** and if th
1190: 65 20 65 78 70 72 65 73 73 69 6f 6e 73 20 61 6e  e expressions an
11a0: 64 20 46 52 4f 4d 20 63 6c 61 75 73 65 20 62 6f  d FROM clause bo
11b0: 74 68 20 72 65 74 75 72 6e 20 57 52 43 5f 43 6f  th return WRC_Co
11c0: 6e 74 69 6e 75 65 3b 0a 2a 2a 0a 2a 2a 20 52 65  ntinue;.**.** Re
11d0: 74 75 72 6e 20 57 52 43 5f 43 6f 6e 74 69 6e 75  turn WRC_Continu
11e0: 65 20 75 6e 64 65 72 20 6e 6f 72 6d 61 6c 20 63  e under normal c
11f0: 6f 6e 64 69 74 69 6f 6e 73 2e 20 20 52 65 74 75  onditions.  Retu
1200: 72 6e 20 57 52 43 5f 41 62 6f 72 74 20 69 66 0a  rn WRC_Abort if.
1210: 2a 2a 20 74 68 65 72 65 20 69 73 20 61 6e 20 61  ** there is an a
1220: 62 6f 72 74 20 72 65 71 75 65 73 74 2e 0a 2a 2a  bort request..**
1230: 0a 2a 2a 20 49 66 20 74 68 65 20 57 61 6c 6b 65  .** If the Walke
1240: 72 20 64 6f 65 73 20 6e 6f 74 20 68 61 76 65 20  r does not have 
1250: 61 6e 20 78 53 65 6c 65 63 74 43 61 6c 6c 62 61  an xSelectCallba
1260: 63 6b 28 29 20 74 68 65 6e 20 74 68 69 73 20 72  ck() then this r
1270: 6f 75 74 69 6e 65 0a 2a 2a 20 69 73 20 61 20 6e  outine.** is a n
1280: 6f 2d 6f 70 20 72 65 74 75 72 6e 69 6e 67 20 57  o-op returning W
1290: 52 43 5f 43 6f 6e 74 69 6e 75 65 2e 0a 2a 2f 0a  RC_Continue..*/.
12a0: 69 6e 74 20 73 71 6c 69 74 65 33 57 61 6c 6b 53  int sqlite3WalkS
12b0: 65 6c 65 63 74 28 57 61 6c 6b 65 72 20 2a 70 57  elect(Walker *pW
12c0: 61 6c 6b 65 72 2c 20 53 65 6c 65 63 74 20 2a 70  alker, Select *p
12d0: 29 7b 0a 20 20 69 6e 74 20 72 63 3b 0a 20 20 69  ){.  int rc;.  i
12e0: 66 28 20 70 3d 3d 30 20 7c 7c 20 70 57 61 6c 6b  f( p==0 || pWalk
12f0: 65 72 2d 3e 78 53 65 6c 65 63 74 43 61 6c 6c 62  er->xSelectCallb
1300: 61 63 6b 3d 3d 30 20 29 20 72 65 74 75 72 6e 20  ack==0 ) return 
1310: 57 52 43 5f 43 6f 6e 74 69 6e 75 65 3b 0a 20 20  WRC_Continue;.  
1320: 64 6f 7b 0a 20 20 20 20 72 63 20 3d 20 70 57 61  do{.    rc = pWa
1330: 6c 6b 65 72 2d 3e 78 53 65 6c 65 63 74 43 61 6c  lker->xSelectCal
1340: 6c 62 61 63 6b 28 70 57 61 6c 6b 65 72 2c 20 70  lback(pWalker, p
1350: 29 3b 0a 20 20 20 20 69 66 28 20 72 63 20 29 20  );.    if( rc ) 
1360: 72 65 74 75 72 6e 20 72 63 20 26 20 57 52 43 5f  return rc & WRC_
1370: 41 62 6f 72 74 3b 0a 20 20 20 20 69 66 28 20 73  Abort;.    if( s
1380: 71 6c 69 74 65 33 57 61 6c 6b 53 65 6c 65 63 74  qlite3WalkSelect
1390: 45 78 70 72 28 70 57 61 6c 6b 65 72 2c 20 70 29  Expr(pWalker, p)
13a0: 0a 20 20 20 20 20 7c 7c 20 73 71 6c 69 74 65 33  .     || sqlite3
13b0: 57 61 6c 6b 53 65 6c 65 63 74 46 72 6f 6d 28 70  WalkSelectFrom(p
13c0: 57 61 6c 6b 65 72 2c 20 70 29 0a 20 20 20 20 29  Walker, p).    )
13d0: 7b 0a 20 20 20 20 20 20 72 65 74 75 72 6e 20 57  {.      return W
13e0: 52 43 5f 41 62 6f 72 74 3b 0a 20 20 20 20 7d 0a  RC_Abort;.    }.
13f0: 20 20 20 20 69 66 28 20 70 57 61 6c 6b 65 72 2d      if( pWalker-
1400: 3e 78 53 65 6c 65 63 74 43 61 6c 6c 62 61 63 6b  >xSelectCallback
1410: 32 20 29 7b 0a 20 20 20 20 20 20 70 57 61 6c 6b  2 ){.      pWalk
1420: 65 72 2d 3e 78 53 65 6c 65 63 74 43 61 6c 6c 62  er->xSelectCallb
1430: 61 63 6b 32 28 70 57 61 6c 6b 65 72 2c 20 70 29  ack2(pWalker, p)
1440: 3b 0a 20 20 20 20 7d 0a 20 20 20 20 70 20 3d 20  ;.    }.    p = 
1450: 70 2d 3e 70 50 72 69 6f 72 3b 0a 20 20 7d 77 68  p->pPrior;.  }wh
1460: 69 6c 65 28 20 70 21 3d 30 20 29 3b 0a 20 20 72  ile( p!=0 );.  r
1470: 65 74 75 72 6e 20 57 52 43 5f 43 6f 6e 74 69 6e  eturn WRC_Contin
1480: 75 65 3b 0a 7d 0a                                ue;.}.