/ Hex Artifact Content
Login

Artifact ba4cccc04184e0bcea0a43175c4978042a07a242:


0000: 23 20 32 30 31 30 20 4a 75 6c 79 20 31 36 0a 23  # 2010 July 16.#
0010: 0a 23 20 54 68 65 20 61 75 74 68 6f 72 20 64 69  .# The author di
0020: 73 63 6c 61 69 6d 73 20 63 6f 70 79 72 69 67 68  sclaims copyrigh
0030: 74 20 74 6f 20 74 68 69 73 20 73 6f 75 72 63 65  t to this source
0040: 20 63 6f 64 65 2e 20 20 49 6e 20 70 6c 61 63 65   code.  In place
0050: 20 6f 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e 6f   of.# a legal no
0060: 74 69 63 65 2c 20 68 65 72 65 20 69 73 20 61 20  tice, here is a 
0070: 62 6c 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20 20  blessing:.#.#   
0080: 20 4d 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f 64   May you do good
0090: 20 61 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a 23   and not evil..#
00a0: 20 20 20 20 4d 61 79 20 79 6f 75 20 66 69 6e 64      May you find
00b0: 20 66 6f 72 67 69 76 65 6e 65 73 73 20 66 6f 72   forgiveness for
00c0: 20 79 6f 75 72 73 65 6c 66 20 61 6e 64 20 66 6f   yourself and fo
00d0: 72 67 69 76 65 20 6f 74 68 65 72 73 2e 0a 23 20  rgive others..# 
00e0: 20 20 20 4d 61 79 20 79 6f 75 20 73 68 61 72 65     May you share
00f0: 20 66 72 65 65 6c 79 2c 20 6e 65 76 65 72 20 74   freely, never t
0100: 61 6b 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e 20  aking more than 
0110: 79 6f 75 20 67 69 76 65 2e 0a 23 0a 23 2a 2a 2a  you give..#.#***
0120: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
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 0a 23 0a 23 20 54 68 69 73 20 66 69  ****.#.# This fi
0170: 6c 65 20 69 6d 70 6c 65 6d 65 6e 74 73 20 74 65  le implements te
0180: 73 74 73 20 74 6f 20 76 65 72 69 66 79 20 74 68  sts to verify th
0190: 61 74 20 74 68 65 20 22 74 65 73 74 61 62 6c 65  at the "testable
01a0: 20 73 74 61 74 65 6d 65 6e 74 73 22 20 69 6e 20   statements" in 
01b0: 0a 23 20 74 68 65 20 6c 61 6e 67 5f 65 78 70 72  .# the lang_expr
01c0: 2e 68 74 6d 6c 20 64 6f 63 75 6d 65 6e 74 20 61  .html document a
01d0: 72 65 20 63 6f 72 72 65 63 74 2e 0a 23 0a 0a 73  re correct..#..s
01e0: 65 74 20 74 65 73 74 64 69 72 20 5b 66 69 6c 65  et testdir [file
01f0: 20 64 69 72 6e 61 6d 65 20 24 61 72 67 76 30 5d   dirname $argv0]
0200: 0a 73 6f 75 72 63 65 20 24 74 65 73 74 64 69 72  .source $testdir
0210: 2f 74 65 73 74 65 72 2e 74 63 6c 0a 73 6f 75 72  /tester.tcl.sour
0220: 63 65 20 24 74 65 73 74 64 69 72 2f 6d 61 6c 6c  ce $testdir/mall
0230: 6f 63 5f 63 6f 6d 6d 6f 6e 2e 74 63 6c 0a 0a 23  oc_common.tcl..#
0240: 20 53 65 74 20 75 70 20 74 68 72 65 65 20 67 6c   Set up three gl
0250: 6f 62 61 6c 20 76 61 72 69 61 62 6c 65 73 3a 0a  obal variables:.
0260: 23 0a 23 20 20 20 3a 3a 6f 70 6e 61 6d 65 20 20  #.#   ::opname  
0270: 20 20 20 20 20 20 20 41 6e 20 61 72 72 61 79 20         An array 
0280: 6d 61 70 70 69 6e 67 20 66 72 6f 6d 20 53 51 4c  mapping from SQL
0290: 20 6f 70 65 72 61 74 6f 72 20 74 6f 20 61 6e 20   operator to an 
02a0: 65 61 73 79 20 74 6f 20 70 61 72 73 65 0a 23 20  easy to parse.# 
02b0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
02c0: 20 20 20 6e 61 6d 65 2e 20 54 68 65 20 6e 61 6d     name. The nam
02d0: 65 73 20 61 72 65 20 75 73 65 64 20 61 73 20 70  es are used as p
02e0: 61 72 74 20 6f 66 20 74 65 73 74 20 63 61 73 65  art of test case
02f0: 20 6e 61 6d 65 73 2e 0a 23 0a 23 20 20 20 3a 3a   names..#.#   ::
0300: 6f 70 70 72 65 63 20 20 20 20 20 20 20 20 20 41  opprec         A
0310: 6e 20 61 72 72 61 79 20 6d 61 70 70 69 6e 67 20  n array mapping 
0320: 66 72 6f 6d 20 53 51 4c 20 6f 70 65 72 61 74 6f  from SQL operato
0330: 72 20 74 6f 20 61 20 6e 75 6d 65 72 69 63 0a 23  r to a numeric.#
0340: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0350: 20 20 20 20 70 72 65 63 65 64 65 6e 63 65 20 76      precedence v
0360: 61 6c 75 65 2e 20 4f 70 65 72 61 74 6f 72 73 20  alue. Operators 
0370: 74 68 61 74 20 67 72 6f 75 70 20 6d 6f 72 65 20  that group more 
0380: 74 69 67 68 74 6c 79 0a 23 20 20 20 20 20 20 20  tightly.#       
0390: 20 20 20 20 20 20 20 20 20 20 20 20 20 68 61 76               hav
03a0: 65 20 6c 6f 77 65 72 20 6e 75 6d 65 72 69 63 20  e lower numeric 
03b0: 70 72 65 63 65 64 65 6e 63 65 73 2e 0a 23 0a 23  precedences..#.#
03c0: 20 20 20 3a 3a 6f 70 6c 69 73 74 20 20 20 20 20     ::oplist     
03d0: 20 20 20 20 41 20 6c 69 73 74 20 6f 66 20 61 6c      A list of al
03e0: 6c 20 53 51 4c 20 6f 70 65 72 61 74 6f 72 73 20  l SQL operators 
03f0: 73 75 70 70 6f 72 74 65 64 20 62 79 20 53 51 4c  supported by SQL
0400: 69 74 65 2e 0a 23 0a 66 6f 72 65 61 63 68 20 7b  ite..#.foreach {
0410: 6f 70 20 6f 70 6e 7d 20 7b 0a 20 20 20 20 20 20  op opn} {.      
0420: 7c 7c 20 20 20 63 61 74 20 20 20 20 20 2a 20 20  ||   cat     *  
0430: 20 6d 75 6c 20 20 20 20 20 20 20 2f 20 20 64 69   mul       /  di
0440: 76 20 20 20 20 20 20 20 25 20 20 20 20 20 6d 6f  v       %     mo
0450: 64 20 20 20 20 20 20 20 2b 20 20 20 20 20 20 61  d       +      a
0460: 64 64 0a 20 20 20 20 20 20 2d 20 20 20 20 73 75  dd.      -    su
0470: 62 20 20 20 20 20 3c 3c 20 20 6c 73 68 69 66 74  b     <<  lshift
0480: 20 20 20 20 3e 3e 20 72 73 68 69 66 74 20 20 20      >> rshift   
0490: 20 26 20 20 20 20 20 62 69 74 61 6e 64 20 20 20   &     bitand   
04a0: 20 7c 20 20 20 20 20 20 62 69 74 6f 72 0a 20 20   |      bitor.  
04b0: 20 20 20 20 3c 20 20 20 20 6c 65 73 73 20 20 20      <    less   
04c0: 20 3c 3d 20 20 6c 65 73 73 65 71 20 20 20 20 3e   <=  lesseq    >
04d0: 20 20 6d 6f 72 65 20 20 20 20 20 20 3e 3d 20 20    more      >=  
04e0: 20 20 6d 6f 72 65 65 71 20 20 20 20 3d 20 20 20    moreeq    =   
04f0: 20 20 20 65 71 31 0a 20 20 20 20 20 20 3d 3d 20     eq1.      == 
0500: 20 20 65 71 32 20 20 20 20 20 3c 3e 20 20 6e 65    eq2     <>  ne
0510: 31 20 20 20 20 20 20 20 21 3d 20 6e 65 32 20 20  1       != ne2  
0520: 20 20 20 20 20 49 53 20 20 20 20 69 73 20 20 20       IS    is   
0530: 20 20 20 20 20 4c 49 4b 45 20 20 20 6c 69 6b 65       LIKE   like
0540: 0a 20 20 20 20 20 20 47 4c 4f 42 20 67 6c 6f 62  .      GLOB glob
0550: 20 20 20 20 41 4e 44 20 61 6e 64 20 20 20 20 20      AND and     
0560: 20 20 4f 52 20 6f 72 20 20 20 20 20 20 20 20 4d    OR or        M
0570: 41 54 43 48 20 6d 61 74 63 68 20 20 20 20 20 52  ATCH match     R
0580: 45 47 45 58 50 20 72 65 67 65 78 70 0a 20 20 20  EGEXP regexp.   
0590: 20 20 20 7b 49 53 20 4e 4f 54 7d 20 69 73 6e 74     {IS NOT} isnt
05a0: 0a 7d 20 7b 0a 20 20 73 65 74 20 3a 3a 6f 70 6e  .} {.  set ::opn
05b0: 61 6d 65 28 24 6f 70 29 20 24 6f 70 6e 0a 7d 0a  ame($op) $opn.}.
05c0: 73 65 74 20 6f 70 6c 69 73 74 20 5b 6c 69 73 74  set oplist [list
05d0: 5d 0a 66 6f 72 65 61 63 68 20 7b 70 72 65 63 20  ].foreach {prec 
05e0: 6f 70 6c 7d 20 7b 0a 20 20 31 20 20 20 7c 7c 0a  opl} {.  1   ||.
05f0: 20 20 32 20 20 20 7b 2a 20 2f 20 25 7d 0a 20 20    2   {* / %}.  
0600: 33 20 20 20 7b 2b 20 2d 7d 0a 20 20 34 20 20 20  3   {+ -}.  4   
0610: 7b 3c 3c 20 3e 3e 20 26 20 7c 7d 0a 20 20 35 20  {<< >> & |}.  5 
0620: 20 20 7b 3c 20 3c 3d 20 3e 20 3e 3d 7d 0a 20 20    {< <= > >=}.  
0630: 36 20 20 20 7b 3d 20 3d 3d 20 21 3d 20 3c 3e 20  6   {= == != <> 
0640: 49 53 20 7b 49 53 20 4e 4f 54 7d 20 4c 49 4b 45  IS {IS NOT} LIKE
0650: 20 47 4c 4f 42 20 4d 41 54 43 48 20 52 45 47 45   GLOB MATCH REGE
0660: 58 50 7d 0a 20 20 37 20 20 20 41 4e 44 0a 20 20  XP}.  7   AND.  
0670: 38 20 20 20 4f 52 0a 7d 20 7b 0a 20 20 66 6f 72  8   OR.} {.  for
0680: 65 61 63 68 20 6f 70 20 24 6f 70 6c 20 7b 20 0a  each op $opl { .
0690: 20 20 20 20 73 65 74 20 3a 3a 6f 70 70 72 65 63      set ::opprec
06a0: 28 24 6f 70 29 20 24 70 72 65 63 20 0a 20 20 20  ($op) $prec .   
06b0: 20 6c 61 70 70 65 6e 64 20 6f 70 6c 69 73 74 20   lappend oplist 
06c0: 24 6f 70 0a 20 20 7d 0a 7d 0a 0a 0a 23 20 48 6f  $op.  }.}...# Ho
06d0: 6f 6b 20 69 6e 20 64 65 66 69 6e 69 74 69 6f 6e  ok in definition
06e0: 73 20 6f 66 20 4d 41 54 43 48 20 61 6e 64 20 52  s of MATCH and R
06f0: 45 47 45 58 2e 20 54 68 65 20 66 6f 6c 6c 6f 77  EGEX. The follow
0700: 69 6e 67 20 69 6d 70 6c 65 6d 65 6e 74 61 74 69  ing implementati
0710: 6f 6e 73 0a 23 20 63 61 75 73 65 20 4d 41 54 43  ons.# cause MATC
0720: 48 20 61 6e 64 20 52 45 47 45 58 20 74 6f 20 62  H and REGEX to b
0730: 65 68 61 76 65 20 73 69 6d 69 6c 61 72 6c 79 20  ehave similarly 
0740: 74 6f 20 74 68 65 20 3d 3d 20 6f 70 65 72 61 74  to the == operat
0750: 6f 72 2e 0a 23 0a 70 72 6f 63 20 6d 61 74 63 68  or..#.proc match
0760: 66 75 6e 63 20 7b 61 20 62 7d 20 7b 20 72 65 74  func {a b} { ret
0770: 75 72 6e 20 5b 65 78 70 72 20 7b 24 61 3d 3d 24  urn [expr {$a==$
0780: 62 7d 5d 20 7d 0a 70 72 6f 63 20 72 65 67 65 78  b}] }.proc regex
0790: 66 75 6e 63 20 7b 61 20 62 7d 20 7b 20 72 65 74  func {a b} { ret
07a0: 75 72 6e 20 5b 65 78 70 72 20 7b 24 61 3d 3d 24  urn [expr {$a==$
07b0: 62 7d 5d 20 7d 0a 64 62 20 66 75 6e 63 20 6d 61  b}] }.db func ma
07c0: 74 63 68 20 20 2d 61 72 67 63 6f 75 6e 74 20 32  tch  -argcount 2
07d0: 20 6d 61 74 63 68 66 75 6e 63 0a 64 62 20 66 75   matchfunc.db fu
07e0: 6e 63 20 72 65 67 65 78 70 20 2d 61 72 67 63 6f  nc regexp -argco
07f0: 75 6e 74 20 32 20 72 65 67 65 78 66 75 6e 63 0a  unt 2 regexfunc.
0800: 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  .#--------------
0810: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0820: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0830: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0840: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54 65  -----------.# Te
0850: 73 74 20 63 61 73 65 73 20 65 5f 65 78 70 72 2d  st cases e_expr-
0860: 31 2e 2a 20 61 74 74 65 6d 70 74 20 74 6f 20 76  1.* attempt to v
0870: 65 72 69 66 79 20 74 68 61 74 20 61 6c 6c 20 62  erify that all b
0880: 69 6e 61 72 79 20 6f 70 65 72 61 74 6f 72 73 20  inary operators 
0890: 6c 69 73 74 65 64 0a 23 20 69 6e 20 74 68 65 20  listed.# in the 
08a0: 64 6f 63 75 6d 65 6e 74 61 74 69 6f 6e 20 65 78  documentation ex
08b0: 69 73 74 20 61 6e 64 20 74 68 61 74 20 74 68 65  ist and that the
08c0: 20 72 65 6c 61 74 69 76 65 20 70 72 65 63 65 64   relative preced
08d0: 65 6e 63 65 73 20 6f 66 20 74 68 65 0a 23 20 6f  ences of the.# o
08e0: 70 65 72 61 74 6f 72 73 20 61 72 65 20 61 6c 73  perators are als
08f0: 6f 20 61 73 20 74 68 65 20 64 6f 63 75 6d 65 6e  o as the documen
0900: 74 61 74 69 6f 6e 20 73 75 67 67 65 73 74 73 2e  tation suggests.
0910: 0a 23 0a 23 20 45 56 49 44 45 4e 43 45 2d 4f 46  .#.# EVIDENCE-OF
0920: 3a 20 52 2d 31 35 35 31 34 2d 36 35 31 36 33 20  : R-15514-65163 
0930: 53 51 4c 69 74 65 20 75 6e 64 65 72 73 74 61 6e  SQLite understan
0940: 64 73 20 74 68 65 20 66 6f 6c 6c 6f 77 69 6e 67  ds the following
0950: 20 62 69 6e 61 72 79 0a 23 20 6f 70 65 72 61 74   binary.# operat
0960: 6f 72 73 2c 20 69 6e 20 6f 72 64 65 72 20 66 72  ors, in order fr
0970: 6f 6d 20 68 69 67 68 65 73 74 20 74 6f 20 6c 6f  om highest to lo
0980: 77 65 73 74 20 70 72 65 63 65 64 65 6e 63 65 3a  west precedence:
0990: 20 7c 7c 20 2a 20 2f 20 25 20 2b 20 2d 0a 23 20   || * / % + -.# 
09a0: 3c 3c 20 3e 3e 20 26 20 7c 20 3c 20 3c 3d 20 3e  << >> & | < <= >
09b0: 20 3e 3d 20 3d 20 3d 3d 20 21 3d 20 3c 3e 20 49   >= = == != <> I
09c0: 53 20 49 53 0a 23 20 4e 4f 54 20 49 4e 20 4c 49  S IS.# NOT IN LI
09d0: 4b 45 20 47 4c 4f 42 20 4d 41 54 43 48 20 52 45  KE GLOB MATCH RE
09e0: 47 45 58 50 20 41 4e 44 20 4f 52 0a 23 0a 23 20  GEXP AND OR.#.# 
09f0: 45 56 49 44 45 4e 43 45 2d 4f 46 3a 20 52 2d 33  EVIDENCE-OF: R-3
0a00: 38 37 35 39 2d 33 38 37 38 39 20 4f 70 65 72 61  8759-38789 Opera
0a10: 74 6f 72 73 20 49 53 20 61 6e 64 20 49 53 20 4e  tors IS and IS N
0a20: 4f 54 20 68 61 76 65 20 74 68 65 20 73 61 6d 65  OT have the same
0a30: 0a 23 20 70 72 65 63 65 64 65 6e 63 65 20 61 73  .# precedence as
0a40: 20 3d 2e 0a 23 0a 0a 75 6e 73 65 74 20 2d 6e 6f   =..#..unset -no
0a50: 63 6f 6d 70 6c 61 69 6e 20 75 6e 74 65 73 74 65  complain unteste
0a60: 64 0a 66 6f 72 65 61 63 68 20 6f 70 31 20 24 6f  d.foreach op1 $o
0a70: 70 6c 69 73 74 20 7b 0a 20 20 66 6f 72 65 61 63  plist {.  foreac
0a80: 68 20 6f 70 32 20 24 6f 70 6c 69 73 74 20 7b 0a  h op2 $oplist {.
0a90: 20 20 20 20 73 65 74 20 75 6e 74 65 73 74 65 64      set untested
0aa0: 28 24 6f 70 31 2c 24 6f 70 32 29 20 31 0a 20 20  ($op1,$op2) 1.  
0ab0: 20 20 66 6f 72 65 61 63 68 20 7b 74 6e 20 41 20    foreach {tn A 
0ac0: 42 20 43 7d 20 7b 0a 20 20 20 20 20 20 20 31 20  B C} {.       1 
0ad0: 20 20 20 20 32 32 20 20 20 34 35 20 20 20 20 36      22   45    6
0ae0: 36 0a 20 20 20 20 20 20 20 32 20 20 20 20 20 20  6.       2      
0af0: 30 20 20 20 20 30 20 20 20 20 20 30 0a 20 20 20  0    0     0.   
0b00: 20 20 20 20 33 20 20 20 20 20 20 30 20 20 20 20      3      0    
0b10: 30 20 20 20 20 20 31 0a 20 20 20 20 20 20 20 34  0     1.       4
0b20: 20 20 20 20 20 20 30 20 20 20 20 31 20 20 20 20        0    1    
0b30: 20 30 0a 20 20 20 20 20 20 20 35 20 20 20 20 20   0.       5     
0b40: 20 30 20 20 20 20 31 20 20 20 20 20 31 0a 20 20   0    1     1.  
0b50: 20 20 20 20 20 36 20 20 20 20 20 20 31 20 20 20       6      1   
0b60: 20 30 20 20 20 20 20 30 0a 20 20 20 20 20 20 20   0     0.       
0b70: 37 20 20 20 20 20 20 31 20 20 20 20 30 20 20 20  7      1    0   
0b80: 20 20 31 0a 20 20 20 20 20 20 20 38 20 20 20 20    1.       8    
0b90: 20 20 31 20 20 20 20 31 20 20 20 20 20 30 0a 20    1    1     0. 
0ba0: 20 20 20 20 20 20 39 20 20 20 20 20 20 31 20 20        9      1  
0bb0: 20 20 31 20 20 20 20 20 31 0a 20 20 20 20 20 20    1     1.      
0bc0: 31 30 20 20 20 20 20 20 35 20 20 20 20 36 20 20  10      5    6  
0bd0: 20 20 20 31 0a 20 20 20 20 20 20 31 31 20 20 20     1.      11   
0be0: 20 20 20 31 20 20 20 20 35 20 20 20 20 20 36 0a     1    5     6.
0bf0: 20 20 20 20 20 20 31 32 20 20 20 20 20 20 31 20        12      1 
0c00: 20 20 20 35 20 20 20 20 20 35 0a 20 20 20 20 20     5     5.     
0c10: 20 31 33 20 20 20 20 20 20 35 20 20 20 20 35 20   13      5    5 
0c20: 20 20 20 20 31 0a 0a 20 20 20 20 20 20 31 34 20      1..      14 
0c30: 20 20 20 20 20 35 20 20 20 20 32 20 20 20 20 20       5    2     
0c40: 31 0a 20 20 20 20 20 20 31 35 20 20 20 20 20 20  1.      15      
0c50: 31 20 20 20 20 34 20 20 20 20 20 31 0a 20 20 20  1    4     1.   
0c60: 20 20 20 31 36 20 20 20 20 20 2d 31 20 20 20 20     16     -1    
0c70: 30 20 20 20 20 20 31 0a 20 20 20 20 20 20 31 37  0     1.      17
0c80: 20 20 20 20 20 20 30 20 20 20 20 31 20 20 20 20        0    1    
0c90: 2d 31 0a 0a 20 20 20 20 7d 20 7b 0a 20 20 20 20  -1..    } {.    
0ca0: 20 20 73 65 74 20 74 65 73 74 6e 61 6d 65 20 22    set testname "
0cb0: 65 5f 65 78 70 72 2d 31 2e 24 6f 70 6e 61 6d 65  e_expr-1.$opname
0cc0: 28 24 6f 70 31 29 2e 24 6f 70 6e 61 6d 65 28 24  ($op1).$opname($
0cd0: 6f 70 32 29 2e 24 74 6e 22 0a 0a 20 20 20 20 20  op2).$tn"..     
0ce0: 20 23 20 49 66 20 24 6f 70 32 20 67 72 6f 75 70   # If $op2 group
0cf0: 73 20 6d 6f 72 65 20 74 69 67 68 74 6c 79 20 74  s more tightly t
0d00: 68 61 6e 20 24 6f 70 31 2c 20 74 68 65 6e 20 74  han $op1, then t
0d10: 68 65 20 72 65 73 75 6c 74 0a 20 20 20 20 20 20  he result.      
0d20: 23 20 6f 66 20 65 78 65 63 75 74 69 6e 67 20 24  # of executing $
0d30: 73 71 6c 31 20 77 68 6f 75 6c 64 20 62 65 20 74  sql1 whould be t
0d40: 68 65 20 73 61 6d 65 20 61 73 20 65 78 65 63 75  he same as execu
0d50: 74 69 6e 67 20 24 73 71 6c 33 2e 0a 20 20 20 20  ting $sql3..    
0d60: 20 20 23 20 49 66 20 24 6f 70 31 20 67 72 6f 75    # If $op1 grou
0d70: 70 73 20 6d 6f 72 65 20 74 69 67 68 74 6c 79 2c  ps more tightly,
0d80: 20 6f 72 20 69 66 20 24 6f 70 31 20 61 6e 64 20   or if $op1 and 
0d90: 24 6f 70 32 20 68 61 76 65 20 0a 20 20 20 20 20  $op2 have .     
0da0: 20 23 20 74 68 65 20 73 61 6d 65 20 70 72 65 63   # the same prec
0db0: 65 64 65 6e 63 65 2c 20 74 68 65 6e 20 65 78 65  edence, then exe
0dc0: 63 75 74 69 6e 67 20 24 73 71 6c 31 20 73 68 6f  cuting $sql1 sho
0dd0: 75 6c 64 20 72 65 74 75 72 6e 0a 20 20 20 20 20  uld return.     
0de0: 20 23 20 74 68 65 20 73 61 6d 65 20 76 61 6c 75   # the same valu
0df0: 65 20 61 73 20 24 73 71 6c 32 2e 0a 20 20 20 20  e as $sql2..    
0e00: 20 20 23 0a 20 20 20 20 20 20 73 65 74 20 73 71    #.      set sq
0e10: 6c 31 20 22 53 45 4c 45 43 54 20 24 41 20 24 6f  l1 "SELECT $A $o
0e20: 70 31 20 24 42 20 24 6f 70 32 20 24 43 22 0a 20  p1 $B $op2 $C". 
0e30: 20 20 20 20 20 73 65 74 20 73 71 6c 32 20 22 53       set sql2 "S
0e40: 45 4c 45 43 54 20 28 24 41 20 24 6f 70 31 20 24  ELECT ($A $op1 $
0e50: 42 29 20 24 6f 70 32 20 24 43 22 0a 20 20 20 20  B) $op2 $C".    
0e60: 20 20 73 65 74 20 73 71 6c 33 20 22 53 45 4c 45    set sql3 "SELE
0e70: 43 54 20 24 41 20 24 6f 70 31 20 28 24 42 20 24  CT $A $op1 ($B $
0e80: 6f 70 32 20 24 43 29 22 0a 0a 20 20 20 20 20 20  op2 $C)"..      
0e90: 73 65 74 20 61 32 20 5b 64 62 20 6f 6e 65 20 24  set a2 [db one $
0ea0: 73 71 6c 32 5d 0a 20 20 20 20 20 20 73 65 74 20  sql2].      set 
0eb0: 61 33 20 5b 64 62 20 6f 6e 65 20 24 73 71 6c 33  a3 [db one $sql3
0ec0: 5d 0a 0a 20 20 20 20 20 20 64 6f 5f 65 78 65 63  ]..      do_exec
0ed0: 73 71 6c 5f 74 65 73 74 20 24 74 65 73 74 6e 61  sql_test $testna
0ee0: 6d 65 20 24 73 71 6c 31 20 5b 6c 69 73 74 20 5b  me $sql1 [list [
0ef0: 0a 20 20 20 20 20 20 20 20 69 66 20 7b 24 6f 70  .        if {$op
0f00: 70 72 65 63 28 24 6f 70 32 29 20 3c 20 24 6f 70  prec($op2) < $op
0f10: 70 72 65 63 28 24 6f 70 31 29 7d 20 7b 73 65 74  prec($op1)} {set
0f20: 20 61 33 7d 20 7b 73 65 74 20 61 32 7d 0a 20 20   a3} {set a2}.  
0f30: 20 20 20 20 5d 5d 0a 20 20 20 20 20 20 69 66 20      ]].      if 
0f40: 7b 24 61 32 20 21 3d 20 24 61 33 7d 20 7b 20 75  {$a2 != $a3} { u
0f50: 6e 73 65 74 20 2d 6e 6f 63 6f 6d 70 6c 61 69 6e  nset -nocomplain
0f60: 20 75 6e 74 65 73 74 65 64 28 24 6f 70 31 2c 24   untested($op1,$
0f70: 6f 70 32 29 20 7d 0a 20 20 20 20 7d 0a 20 20 7d  op2) }.    }.  }
0f80: 0a 7d 0a 0a 66 6f 72 65 61 63 68 20 6f 70 20 7b  .}..foreach op {
0f90: 2a 20 41 4e 44 20 4f 52 20 2b 20 7c 7c 20 26 20  * AND OR + || & 
0fa0: 7c 7d 20 7b 20 75 6e 73 65 74 20 75 6e 74 65 73  |} { unset untes
0fb0: 74 65 64 28 24 6f 70 2c 24 6f 70 29 20 7d 0a 75  ted($op,$op) }.u
0fc0: 6e 73 65 74 20 75 6e 74 65 73 74 65 64 28 2b 2c  nset untested(+,
0fd0: 2d 29 20 20 3b 23 20 20 20 20 20 20 20 53 69 6e  -)  ;#       Sin
0fe0: 63 65 20 20 20 20 28 61 2b 62 29 2d 63 20 3d 3d  ce    (a+b)-c ==
0ff0: 20 61 2b 28 62 2d 63 29 0a 75 6e 73 65 74 20 75   a+(b-c).unset u
1000: 6e 74 65 73 74 65 64 28 2a 2c 3c 3c 29 20 3b 23  ntested(*,<<) ;#
1010: 20 20 20 20 20 20 20 53 69 6e 63 65 20 20 20 20         Since    
1020: 28 61 2a 62 29 3c 3c 63 20 3d 3d 20 61 2a 28 62  (a*b)<<c == a*(b
1030: 3c 3c 63 29 0a 0a 64 6f 5f 74 65 73 74 20 65 5f  <<c)..do_test e_
1040: 65 78 70 72 2d 31 2e 31 20 7b 20 61 72 72 61 79  expr-1.1 { array
1050: 20 6e 61 6d 65 73 20 75 6e 74 65 73 74 65 64 20   names untested 
1060: 7d 20 7b 7d 0a 0a 23 20 41 74 20 6f 6e 65 20 70  } {}..# At one p
1070: 6f 69 6e 74 2c 20 74 65 73 74 20 31 2e 32 2e 32  oint, test 1.2.2
1080: 20 77 61 73 20 66 61 69 6c 69 6e 67 2e 20 49 6e   was failing. In
1090: 73 74 65 61 64 20 6f 66 20 74 68 65 20 63 6f 72  stead of the cor
10a0: 72 65 63 74 20 72 65 73 75 6c 74 2c 20 69 74 0a  rect result, it.
10b0: 23 20 77 61 73 20 72 65 74 75 72 6e 69 6e 67 20  # was returning 
10c0: 7b 31 20 31 20 30 7d 2e 20 54 68 69 73 20 77 6f  {1 1 0}. This wo
10d0: 75 6c 64 20 73 65 65 6d 20 74 6f 20 69 6e 64 69  uld seem to indi
10e0: 63 61 74 65 20 74 68 61 74 20 4c 49 4b 45 20 68  cate that LIKE h
10f0: 61 73 20 74 68 65 0a 23 20 73 61 6d 65 20 70 72  as the.# same pr
1100: 65 63 65 64 65 6e 63 65 20 61 73 20 27 3c 27 2e  ecedence as '<'.
1110: 20 57 68 69 63 68 20 69 73 20 69 6e 63 6f 72 72   Which is incorr
1120: 65 63 74 2e 20 49 74 20 68 61 73 20 6c 6f 77 65  ect. It has lowe
1130: 72 20 70 72 65 63 65 64 65 6e 63 65 2e 0a 23 0a  r precedence..#.
1140: 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20  do_execsql_test 
1150: 65 5f 65 78 70 72 2d 31 2e 32 2e 31 20 7b 20 0a  e_expr-1.2.1 { .
1160: 20 20 53 45 4c 45 43 54 20 30 20 3c 20 32 20 4c    SELECT 0 < 2 L
1170: 49 4b 45 20 31 2c 20 20 20 28 30 20 3c 20 32 29  IKE 1,   (0 < 2)
1180: 20 4c 49 4b 45 20 31 2c 20 20 20 30 20 3c 20 28   LIKE 1,   0 < (
1190: 32 20 4c 49 4b 45 20 31 29 0a 7d 20 7b 31 20 31  2 LIKE 1).} {1 1
11a0: 20 30 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74   0}.do_execsql_t
11b0: 65 73 74 20 65 5f 65 78 70 72 2d 31 2e 32 2e 32  est e_expr-1.2.2
11c0: 20 7b 20 0a 20 20 53 45 4c 45 43 54 20 30 20 4c   { .  SELECT 0 L
11d0: 49 4b 45 20 30 20 3c 20 32 2c 20 20 20 28 30 20  IKE 0 < 2,   (0 
11e0: 4c 49 4b 45 20 30 29 20 3c 20 32 2c 20 20 20 30  LIKE 0) < 2,   0
11f0: 20 4c 49 4b 45 20 28 30 20 3c 20 32 29 0a 7d 20   LIKE (0 < 2).} 
1200: 7b 30 20 31 20 30 7d 0a 0a 23 20 53 68 6f 77 69  {0 1 0}..# Showi
1210: 6e 67 20 74 68 61 74 20 4c 49 4b 45 20 61 6e 64  ng that LIKE and
1220: 20 3d 3d 20 68 61 76 65 20 74 68 65 20 73 61 6d   == have the sam
1230: 65 20 70 72 65 63 65 64 65 6e 63 65 0a 23 0a 64  e precedence.#.d
1240: 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 65  o_execsql_test e
1250: 5f 65 78 70 72 2d 31 2e 32 2e 33 20 7b 20 0a 20  _expr-1.2.3 { . 
1260: 20 53 45 4c 45 43 54 20 32 20 4c 49 4b 45 20 32   SELECT 2 LIKE 2
1270: 20 3d 3d 20 31 2c 20 20 20 28 32 20 4c 49 4b 45   == 1,   (2 LIKE
1280: 20 32 29 20 3d 3d 20 31 2c 20 20 20 20 32 20 4c   2) == 1,    2 L
1290: 49 4b 45 20 28 32 20 3d 3d 20 31 29 0a 7d 20 7b  IKE (2 == 1).} {
12a0: 31 20 31 20 30 7d 0a 64 6f 5f 65 78 65 63 73 71  1 1 0}.do_execsq
12b0: 6c 5f 74 65 73 74 20 65 5f 65 78 70 72 2d 31 2e  l_test e_expr-1.
12c0: 32 2e 34 20 7b 20 0a 20 20 53 45 4c 45 43 54 20  2.4 { .  SELECT 
12d0: 32 20 3d 3d 20 32 20 4c 49 4b 45 20 31 2c 20 20  2 == 2 LIKE 1,  
12e0: 20 28 32 20 3d 3d 20 32 29 20 4c 49 4b 45 20 31   (2 == 2) LIKE 1
12f0: 2c 20 20 20 20 32 20 3d 3d 20 28 32 20 4c 49 4b  ,    2 == (2 LIK
1300: 45 20 31 29 0a 7d 20 7b 31 20 31 20 30 7d 0a 0a  E 1).} {1 1 0}..
1310: 23 20 53 68 6f 77 69 6e 67 20 74 68 61 74 20 3c  # Showing that <
1320: 20 67 72 6f 75 70 73 20 6d 6f 72 65 20 74 69 67   groups more tig
1330: 68 74 6c 79 20 74 68 61 6e 20 3d 3d 20 28 3c 20  htly than == (< 
1340: 68 61 73 20 68 69 67 68 65 72 20 70 72 65 63 65  has higher prece
1350: 64 65 6e 63 65 29 2e 20 0a 23 0a 64 6f 5f 65 78  dence). .#.do_ex
1360: 65 63 73 71 6c 5f 74 65 73 74 20 65 5f 65 78 70  ecsql_test e_exp
1370: 72 2d 31 2e 32 2e 35 20 7b 20 0a 20 20 53 45 4c  r-1.2.5 { .  SEL
1380: 45 43 54 20 30 20 3c 20 32 20 3d 3d 20 31 2c 20  ECT 0 < 2 == 1, 
1390: 20 20 28 30 20 3c 20 32 29 20 3d 3d 20 31 2c 20    (0 < 2) == 1, 
13a0: 20 20 30 20 3c 20 28 32 20 3d 3d 20 31 29 0a 7d    0 < (2 == 1).}
13b0: 20 7b 31 20 31 20 30 7d 0a 64 6f 5f 65 78 65 63   {1 1 0}.do_exec
13c0: 73 71 6c 5f 74 65 73 74 20 65 5f 65 78 70 72 2d  sql_test e_expr-
13d0: 31 2e 36 20 7b 20 0a 20 20 53 45 4c 45 43 54 20  1.6 { .  SELECT 
13e0: 30 20 3d 3d 20 30 20 3c 20 32 2c 20 20 20 28 30  0 == 0 < 2,   (0
13f0: 20 3d 3d 20 30 29 20 3c 20 32 2c 20 20 20 30 20   == 0) < 2,   0 
1400: 3d 3d 20 28 30 20 3c 20 32 29 0a 7d 20 7b 30 20  == (0 < 2).} {0 
1410: 31 20 30 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d  1 0}..#---------
1420: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1430: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1440: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1450: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1460: 0a 23 20 43 68 65 63 6b 20 74 68 61 74 20 74 68  .# Check that th
1470: 65 20 66 6f 75 72 20 75 6e 61 72 79 20 70 72 65  e four unary pre
1480: 66 69 78 20 6f 70 65 72 61 74 6f 72 73 20 6d 65  fix operators me
1490: 6e 74 69 6f 6e 65 64 20 69 6e 20 74 68 65 20 0a  ntioned in the .
14a0: 23 20 64 6f 63 75 6d 65 6e 74 61 74 69 6f 6e 20  # documentation 
14b0: 65 78 69 73 74 2e 0a 23 0a 23 20 45 56 49 44 45  exist..#.# EVIDE
14c0: 4e 43 45 2d 4f 46 3a 20 52 2d 31 33 39 35 38 2d  NCE-OF: R-13958-
14d0: 35 33 34 31 39 20 53 75 70 70 6f 72 74 65 64 20  53419 Supported 
14e0: 75 6e 61 72 79 20 70 72 65 66 69 78 20 6f 70 65  unary prefix ope
14f0: 72 61 74 6f 72 73 20 61 72 65 20 74 68 65 73 65  rators are these
1500: 3a 0a 23 20 2d 20 2b 20 7e 20 4e 4f 54 0a 23 0a  :.# - + ~ NOT.#.
1510: 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20  do_execsql_test 
1520: 65 5f 65 78 70 72 2d 32 2e 31 20 7b 20 53 45 4c  e_expr-2.1 { SEL
1530: 45 43 54 20 2d 20 20 20 31 30 20 20 20 7d 20 7b  ECT -   10   } {
1540: 2d 31 30 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f  -10}.do_execsql_
1550: 74 65 73 74 20 65 5f 65 78 70 72 2d 32 2e 32 20  test e_expr-2.2 
1560: 7b 20 53 45 4c 45 43 54 20 2b 20 20 20 31 30 20  { SELECT +   10 
1570: 20 20 7d 20 7b 31 30 7d 0a 64 6f 5f 65 78 65 63    } {10}.do_exec
1580: 73 71 6c 5f 74 65 73 74 20 65 5f 65 78 70 72 2d  sql_test e_expr-
1590: 32 2e 33 20 7b 20 53 45 4c 45 43 54 20 7e 20 20  2.3 { SELECT ~  
15a0: 20 31 30 20 20 20 7d 20 7b 2d 31 31 7d 0a 64 6f   10   } {-11}.do
15b0: 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 65 5f  _execsql_test e_
15c0: 65 78 70 72 2d 32 2e 34 20 7b 20 53 45 4c 45 43  expr-2.4 { SELEC
15d0: 54 20 4e 4f 54 20 31 30 20 20 20 7d 20 7b 30 7d  T NOT 10   } {0}
15e0: 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ..#-------------
15f0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1600: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1610: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1620: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54  ------------.# T
1630: 65 73 74 73 20 66 6f 72 20 74 68 65 20 74 77 6f  ests for the two
1640: 20 73 74 61 74 65 6d 65 6e 74 73 20 6d 61 64 65   statements made
1650: 20 72 65 67 61 72 64 69 6e 67 20 74 68 65 20 75   regarding the u
1660: 6e 61 72 79 20 2b 20 6f 70 65 72 61 74 6f 72 2e  nary + operator.
1670: 0a 23 0a 23 20 45 56 49 44 45 4e 43 45 2d 4f 46  .#.# EVIDENCE-OF
1680: 3a 20 52 2d 35 33 36 37 30 2d 30 33 33 37 33 20  : R-53670-03373 
1690: 54 68 65 20 75 6e 61 72 79 20 6f 70 65 72 61 74  The unary operat
16a0: 6f 72 20 2b 20 69 73 20 61 20 6e 6f 2d 6f 70 2e  or + is a no-op.
16b0: 0a 23 0a 23 20 45 56 49 44 45 4e 43 45 2d 4f 46  .#.# EVIDENCE-OF
16c0: 3a 20 52 2d 31 39 34 38 30 2d 33 30 39 36 38 20  : R-19480-30968 
16d0: 49 74 20 63 61 6e 20 62 65 20 61 70 70 6c 69 65  It can be applie
16e0: 64 20 74 6f 20 73 74 72 69 6e 67 73 2c 20 6e 75  d to strings, nu
16f0: 6d 62 65 72 73 2c 0a 23 20 62 6c 6f 62 73 20 6f  mbers,.# blobs o
1700: 72 20 4e 55 4c 4c 20 61 6e 64 20 69 74 20 61 6c  r NULL and it al
1710: 77 61 79 73 20 72 65 74 75 72 6e 73 20 61 20 72  ways returns a r
1720: 65 73 75 6c 74 20 77 69 74 68 20 74 68 65 20 73  esult with the s
1730: 61 6d 65 20 76 61 6c 75 65 20 61 73 0a 23 20 74  ame value as.# t
1740: 68 65 20 6f 70 65 72 61 6e 64 2e 0a 23 0a 66 6f  he operand..#.fo
1750: 72 65 61 63 68 20 7b 74 6e 20 6c 69 74 65 72 61  reach {tn litera
1760: 6c 20 74 79 70 65 7d 20 7b 0a 20 20 31 20 20 20  l type} {.  1   
1770: 20 20 27 68 65 6c 6c 6f 77 6f 72 6c 64 27 20 20    'helloworld'  
1780: 20 74 65 78 74 0a 20 20 32 20 20 20 20 20 34 35   text.  2     45
1790: 20 20 20 20 20 20 20 20 20 20 20 20 20 69 6e 74               int
17a0: 65 67 65 72 0a 20 20 33 20 20 20 20 20 34 35 2e  eger.  3     45.
17b0: 32 20 20 20 20 20 20 20 20 20 20 20 72 65 61 6c  2           real
17c0: 0a 20 20 34 20 20 20 20 20 34 35 2e 30 20 20 20  .  4     45.0   
17d0: 20 20 20 20 20 20 20 20 72 65 61 6c 0a 20 20 35          real.  5
17e0: 20 20 20 20 20 58 27 41 42 43 44 45 46 27 20 20       X'ABCDEF'  
17f0: 20 20 20 20 62 6c 6f 62 0a 20 20 36 20 20 20 20      blob.  6    
1800: 20 4e 55 4c 4c 20 20 20 20 20 20 20 20 20 20 20   NULL           
1810: 6e 75 6c 6c 0a 7d 20 7b 0a 20 20 73 65 74 20 73  null.} {.  set s
1820: 71 6c 20 22 20 53 45 4c 45 43 54 20 71 75 6f 74  ql " SELECT quot
1830: 65 28 20 2b 20 24 6c 69 74 65 72 61 6c 20 29 2c  e( + $literal ),
1840: 20 74 79 70 65 6f 66 28 20 2b 20 24 6c 69 74 65   typeof( + $lite
1850: 72 61 6c 29 20 22 0a 20 20 64 6f 5f 65 78 65 63  ral) ".  do_exec
1860: 73 71 6c 5f 74 65 73 74 20 65 5f 65 78 70 72 2d  sql_test e_expr-
1870: 33 2e 24 74 6e 20 24 73 71 6c 20 5b 6c 69 73 74  3.$tn $sql [list
1880: 20 24 6c 69 74 65 72 61 6c 20 24 74 79 70 65 5d   $literal $type]
1890: 0a 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  .}..#-----------
18a0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
18b0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
18c0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
18d0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23  --------------.#
18e0: 20 43 68 65 63 6b 20 74 68 61 74 20 62 6f 74 68   Check that both
18f0: 20 3d 20 61 6e 64 20 3d 3d 20 61 72 65 20 62 6f   = and == are bo
1900: 74 68 20 61 63 63 65 70 74 61 62 6c 65 20 61 73  th acceptable as
1910: 20 74 68 65 20 22 65 71 75 61 6c 73 22 20 6f 70   the "equals" op
1920: 65 72 61 74 6f 72 2e 0a 23 20 53 69 6d 69 6c 61  erator..# Simila
1930: 72 6c 79 2c 20 65 69 74 68 65 72 20 21 3d 20 6f  rly, either != o
1940: 72 20 3c 3e 20 77 6f 72 6b 20 61 73 20 74 68 65  r <> work as the
1950: 20 6e 6f 74 2d 65 71 75 61 6c 73 20 6f 70 65 72   not-equals oper
1960: 61 74 6f 72 2e 0a 23 0a 23 20 45 56 49 44 45 4e  ator..#.# EVIDEN
1970: 43 45 2d 4f 46 3a 20 52 2d 30 33 36 37 39 2d 36  CE-OF: R-03679-6
1980: 30 36 33 39 20 45 71 75 61 6c 73 20 63 61 6e 20  0639 Equals can 
1990: 62 65 20 65 69 74 68 65 72 20 3d 20 6f 72 20 3d  be either = or =
19a0: 3d 2e 0a 23 0a 23 20 45 56 49 44 45 4e 43 45 2d  =..#.# EVIDENCE-
19b0: 4f 46 3a 20 52 2d 33 30 30 38 32 2d 33 38 39 39  OF: R-30082-3899
19c0: 36 20 54 68 65 20 6e 6f 6e 2d 65 71 75 61 6c 73  6 The non-equals
19d0: 20 6f 70 65 72 61 74 6f 72 20 63 61 6e 20 62 65   operator can be
19e0: 20 65 69 74 68 65 72 20 21 3d 20 6f 72 0a 23 20   either != or.# 
19f0: 3c 3e 2e 0a 23 0a 66 6f 72 65 61 63 68 20 7b 74  <>..#.foreach {t
1a00: 6e 20 6c 69 74 65 72 61 6c 20 64 69 66 66 65 72  n literal differ
1a10: 65 6e 74 7d 20 7b 0a 20 20 31 20 20 20 27 68 65  ent} {.  1   'he
1a20: 6c 6c 6f 77 6f 72 6c 64 27 20 20 27 31 32 33 34  lloworld'  '1234
1a30: 35 27 0a 20 20 32 20 20 20 32 32 20 20 20 20 20  5'.  2   22     
1a40: 20 20 20 20 20 20 20 32 33 0a 20 20 33 20 20 20         23.  3   
1a50: 27 78 79 7a 27 20 20 20 20 20 20 20 20 20 58 27  'xyz'         X'
1a60: 37 38 37 39 37 41 27 0a 20 20 34 20 20 20 58 27  78797A'.  4   X'
1a70: 37 38 37 39 37 41 30 30 27 20 20 20 27 78 79 7a  78797A00'   'xyz
1a80: 27 0a 7d 20 7b 0a 20 20 64 6f 5f 65 78 65 63 73  '.} {.  do_execs
1a90: 71 6c 5f 74 65 73 74 20 65 5f 65 78 70 72 2d 34  ql_test e_expr-4
1aa0: 2e 24 74 6e 20 22 0a 20 20 20 20 53 45 4c 45 43  .$tn ".    SELEC
1ab0: 54 20 24 6c 69 74 65 72 61 6c 20 20 3d 20 24 6c  T $literal  = $l
1ac0: 69 74 65 72 61 6c 2c 20 20 20 24 6c 69 74 65 72  iteral,   $liter
1ad0: 61 6c 20 3d 3d 20 24 6c 69 74 65 72 61 6c 2c 0a  al == $literal,.
1ae0: 20 20 20 20 20 20 20 20 20 20 20 24 6c 69 74 65             $lite
1af0: 72 61 6c 20 20 3d 20 24 64 69 66 66 65 72 65 6e  ral  = $differen
1b00: 74 2c 20 24 6c 69 74 65 72 61 6c 20 3d 3d 20 24  t, $literal == $
1b10: 64 69 66 66 65 72 65 6e 74 2c 0a 20 20 20 20 20  different,.     
1b20: 20 20 20 20 20 20 24 6c 69 74 65 72 61 6c 20 20        $literal  
1b30: 3d 20 4e 55 4c 4c 2c 20 20 20 20 20 20 20 24 6c  = NULL,       $l
1b40: 69 74 65 72 61 6c 20 3d 3d 20 4e 55 4c 4c 2c 0a  iteral == NULL,.
1b50: 20 20 20 20 20 20 20 20 20 20 20 24 6c 69 74 65             $lite
1b60: 72 61 6c 20 21 3d 20 24 6c 69 74 65 72 61 6c 2c  ral != $literal,
1b70: 20 20 20 24 6c 69 74 65 72 61 6c 20 3c 3e 20 24     $literal <> $
1b80: 6c 69 74 65 72 61 6c 2c 0a 20 20 20 20 20 20 20  literal,.       
1b90: 20 20 20 20 24 6c 69 74 65 72 61 6c 20 21 3d 20      $literal != 
1ba0: 24 64 69 66 66 65 72 65 6e 74 2c 20 24 6c 69 74  $different, $lit
1bb0: 65 72 61 6c 20 3c 3e 20 24 64 69 66 66 65 72 65  eral <> $differe
1bc0: 6e 74 2c 0a 20 20 20 20 20 20 20 20 20 20 20 24  nt,.           $
1bd0: 6c 69 74 65 72 61 6c 20 21 3d 20 4e 55 4c 4c 2c  literal != NULL,
1be0: 20 20 20 20 20 20 20 24 6c 69 74 65 72 61 6c 20         $literal 
1bf0: 21 3d 20 4e 55 4c 4c 0a 0a 20 20 22 20 7b 31 20  != NULL..  " {1 
1c00: 31 20 30 20 30 20 7b 7d 20 7b 7d 20 30 20 30 20  1 0 0 {} {} 0 0 
1c10: 31 20 31 20 7b 7d 20 7b 7d 7d 0a 7d 0a 0a 23 2d  1 1 {} {}}.}..#-
1c20: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1c30: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1c40: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1c50: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1c60: 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54 65 73 74 20  --------.# Test 
1c70: 74 68 65 20 7c 7c 20 6f 70 65 72 61 74 6f 72 2e  the || operator.
1c80: 0a 23 0a 23 20 45 56 49 44 45 4e 43 45 2d 4f 46  .#.# EVIDENCE-OF
1c90: 3a 20 52 2d 34 34 34 30 39 2d 36 32 36 34 31 20  : R-44409-62641 
1ca0: 54 68 65 20 7c 7c 20 6f 70 65 72 61 74 6f 72 20  The || operator 
1cb0: 69 73 20 22 63 6f 6e 63 61 74 65 6e 61 74 65 22  is "concatenate"
1cc0: 20 2d 20 69 74 20 6a 6f 69 6e 73 0a 23 20 74 6f   - it joins.# to
1cd0: 67 65 74 68 65 72 20 74 68 65 20 74 77 6f 20 73  gether the two s
1ce0: 74 72 69 6e 67 73 20 6f 66 20 69 74 73 20 6f 70  trings of its op
1cf0: 65 72 61 6e 64 73 2e 0a 23 0a 66 6f 72 65 61 63  erands..#.foreac
1d00: 68 20 7b 74 6e 20 61 20 62 7d 20 7b 0a 20 20 31  h {tn a b} {.  1
1d10: 20 20 20 27 68 65 6c 6c 6f 77 6f 72 6c 64 27 20     'helloworld' 
1d20: 20 27 31 32 33 34 35 27 0a 20 20 32 20 20 20 32   '12345'.  2   2
1d30: 32 20 20 20 20 20 20 20 20 20 20 20 20 32 33 0a  2            23.
1d40: 7d 20 7b 0a 20 20 73 65 74 20 61 73 20 5b 64 62  } {.  set as [db
1d50: 20 6f 6e 65 20 22 53 45 4c 45 43 54 20 24 61 22   one "SELECT $a"
1d60: 5d 0a 20 20 73 65 74 20 62 73 20 5b 64 62 20 6f  ].  set bs [db o
1d70: 6e 65 20 22 53 45 4c 45 43 54 20 24 62 22 5d 0a  ne "SELECT $b"].
1d80: 20 20 0a 20 20 64 6f 5f 65 78 65 63 73 71 6c 5f    .  do_execsql_
1d90: 74 65 73 74 20 65 5f 65 78 70 72 2d 35 2e 24 74  test e_expr-5.$t
1da0: 6e 20 22 53 45 4c 45 43 54 20 24 61 20 7c 7c 20  n "SELECT $a || 
1db0: 24 62 22 20 5b 6c 69 73 74 20 22 24 7b 61 73 7d  $b" [list "${as}
1dc0: 24 7b 62 73 7d 22 5d 0a 7d 0a 0a 23 2d 2d 2d 2d  ${bs}"].}..#----
1dd0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1de0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1df0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1e00: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1e10: 2d 2d 2d 2d 2d 0a 23 20 54 65 73 74 20 74 68 65  -----.# Test the
1e20: 20 25 20 6f 70 65 72 61 74 6f 72 2e 0a 23 0a 23   % operator..#.#
1e30: 20 45 56 49 44 45 4e 43 45 2d 4f 46 3a 20 52 2d   EVIDENCE-OF: R-
1e40: 30 38 39 31 34 2d 36 33 37 39 30 20 54 68 65 20  08914-63790 The 
1e50: 6f 70 65 72 61 74 6f 72 20 25 20 6f 75 74 70 75  operator % outpu
1e60: 74 73 20 74 68 65 20 76 61 6c 75 65 20 6f 66 20  ts the value of 
1e70: 69 74 73 0a 23 20 6c 65 66 74 20 6f 70 65 72 61  its.# left opera
1e80: 6e 64 20 6d 6f 64 75 6c 6f 20 69 74 73 20 72 69  nd modulo its ri
1e90: 67 68 74 20 6f 70 65 72 61 6e 64 2e 0a 23 0a 64  ght operand..#.d
1ea0: 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 65  o_execsql_test e
1eb0: 5f 65 78 70 72 2d 36 2e 31 20 7b 53 45 4c 45 43  _expr-6.1 {SELEC
1ec0: 54 20 20 37 32 25 35 7d 20 20 7b 32 7d 0a 64 6f  T  72%5}  {2}.do
1ed0: 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 65 5f  _execsql_test e_
1ee0: 65 78 70 72 2d 36 2e 32 20 7b 53 45 4c 45 43 54  expr-6.2 {SELECT
1ef0: 20 20 37 32 25 2d 35 7d 20 7b 32 7d 0a 64 6f 5f    72%-5} {2}.do_
1f00: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 65 5f 65  execsql_test e_e
1f10: 78 70 72 2d 36 2e 33 20 7b 53 45 4c 45 43 54 20  xpr-6.3 {SELECT 
1f20: 2d 37 32 25 2d 35 7d 20 7b 2d 32 7d 0a 64 6f 5f  -72%-5} {-2}.do_
1f30: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 65 5f 65  execsql_test e_e
1f40: 78 70 72 2d 36 2e 34 20 7b 53 45 4c 45 43 54 20  xpr-6.4 {SELECT 
1f50: 2d 37 32 25 35 7d 20 20 7b 2d 32 7d 0a 0a 23 2d  -72%5}  {-2}..#-
1f60: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1f70: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1f80: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1f90: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1fa0: 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54 65 73 74 20  --------.# Test 
1fb0: 74 68 61 74 20 74 68 65 20 72 65 73 75 6c 74 73  that the results
1fc0: 20 6f 66 20 61 6c 6c 20 62 69 6e 61 72 79 20 6f   of all binary o
1fd0: 70 65 72 61 74 6f 72 73 20 61 72 65 20 65 69 74  perators are eit
1fe0: 68 65 72 20 6e 75 6d 65 72 69 63 20 6f 72 20 0a  her numeric or .
1ff0: 23 20 4e 55 4c 4c 2c 20 65 78 63 65 70 74 20 66  # NULL, except f
2000: 6f 72 20 74 68 65 20 7c 7c 20 6f 70 65 72 61 74  or the || operat
2010: 6f 72 2c 20 77 68 69 63 68 20 6d 61 79 20 65 76  or, which may ev
2020: 61 6c 75 61 74 65 20 74 6f 20 65 69 74 68 65 72  aluate to either
2030: 20 61 20 74 65 78 74 0a 23 20 76 61 6c 75 65 20   a text.# value 
2040: 6f 72 20 4e 55 4c 4c 2e 0a 23 0a 23 20 45 56 49  or NULL..#.# EVI
2050: 44 45 4e 43 45 2d 4f 46 3a 20 52 2d 32 30 36 36  DENCE-OF: R-2066
2060: 35 2d 31 37 37 39 32 20 54 68 65 20 72 65 73 75  5-17792 The resu
2070: 6c 74 20 6f 66 20 61 6e 79 20 62 69 6e 61 72 79  lt of any binary
2080: 20 6f 70 65 72 61 74 6f 72 20 69 73 20 65 69 74   operator is eit
2090: 68 65 72 0a 23 20 61 20 6e 75 6d 65 72 69 63 20  her.# a numeric 
20a0: 76 61 6c 75 65 20 6f 72 20 4e 55 4c 4c 2c 20 65  value or NULL, e
20b0: 78 63 65 70 74 20 66 6f 72 20 74 68 65 20 7c 7c  xcept for the ||
20c0: 20 63 6f 6e 63 61 74 65 6e 61 74 69 6f 6e 20 6f   concatenation o
20d0: 70 65 72 61 74 6f 72 0a 23 20 77 68 69 63 68 20  perator.# which 
20e0: 61 6c 77 61 79 73 20 65 76 61 6c 75 61 74 65 73  always evaluates
20f0: 20 74 6f 20 65 69 74 68 65 72 20 4e 55 4c 4c 20   to either NULL 
2100: 6f 72 20 61 20 74 65 78 74 20 76 61 6c 75 65 2e  or a text value.
2110: 0a 23 0a 73 65 74 20 6c 69 74 65 72 61 6c 73 20  .#.set literals 
2120: 7b 0a 20 20 31 20 27 61 62 63 27 20 20 20 20 20  {.  1 'abc'     
2130: 20 20 20 32 20 27 68 65 78 61 64 65 63 69 6d 61     2 'hexadecima
2140: 6c 27 20 20 20 20 20 20 20 33 20 27 27 0a 20 20  l'       3 ''.  
2150: 34 20 31 32 33 20 20 20 20 20 20 20 20 20 20 35  4 123          5
2160: 20 2d 31 32 33 20 20 20 20 20 20 20 20 20 20 20   -123           
2170: 20 20 20 20 20 36 20 30 0a 20 20 37 20 31 32 33       6 0.  7 123
2180: 2e 34 20 20 20 20 20 20 20 20 38 20 30 2e 30 20  .4        8 0.0 
2190: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
21a0: 39 20 2d 31 32 33 2e 34 0a 20 31 30 20 58 27 41  9 -123.4. 10 X'A
21b0: 42 43 44 45 46 27 20 20 20 31 31 20 58 27 27 20  BCDEF'   11 X'' 
21c0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 31                 1
21d0: 32 20 58 27 30 30 30 30 27 0a 20 31 33 20 20 20  2 X'0000'. 13   
21e0: 20 20 4e 55 4c 4c 0a 7d 0a 66 6f 72 65 61 63 68    NULL.}.foreach
21f0: 20 6f 70 20 24 6f 70 6c 69 73 74 20 7b 0a 20 20   op $oplist {.  
2200: 66 6f 72 65 61 63 68 20 7b 6e 31 20 72 68 73 7d  foreach {n1 rhs}
2210: 20 24 6c 69 74 65 72 61 6c 73 20 7b 20 0a 20 20   $literals { .  
2220: 66 6f 72 65 61 63 68 20 7b 6e 32 20 6c 68 73 7d  foreach {n2 lhs}
2230: 20 24 6c 69 74 65 72 61 6c 73 20 7b 0a 0a 20 20   $literals {..  
2240: 20 20 73 65 74 20 74 20 5b 64 62 20 6f 6e 65 20    set t [db one 
2250: 22 20 53 45 4c 45 43 54 20 74 79 70 65 6f 66 28  " SELECT typeof(
2260: 24 6c 68 73 20 24 6f 70 20 24 72 68 73 29 20 22  $lhs $op $rhs) "
2270: 5d 0a 20 20 20 20 64 6f 5f 74 65 73 74 20 65 5f  ].    do_test e_
2280: 65 78 70 72 2d 37 2e 24 6f 70 6e 61 6d 65 28 24  expr-7.$opname($
2290: 6f 70 29 2e 24 6e 31 2e 24 6e 32 20 7b 0a 20 20  op).$n1.$n2 {.  
22a0: 20 20 20 20 65 78 70 72 20 7b 0a 20 20 20 20 20      expr {.     
22b0: 20 20 20 20 20 20 28 24 6f 70 3d 3d 22 7c 7c 22        ($op=="||"
22c0: 20 26 26 20 28 24 74 20 3d 3d 20 22 74 65 78 74   && ($t == "text
22d0: 22 20 7c 7c 20 24 74 20 3d 3d 20 22 6e 75 6c 6c  " || $t == "null
22e0: 22 29 29 0a 20 20 20 20 20 20 20 20 7c 7c 20 28  ")).        || (
22f0: 24 6f 70 21 3d 22 7c 7c 22 20 26 26 20 28 24 74  $op!="||" && ($t
2300: 20 3d 3d 20 22 69 6e 74 65 67 65 72 22 20 7c 7c   == "integer" ||
2310: 20 24 74 20 3d 3d 20 22 72 65 61 6c 22 20 7c 7c   $t == "real" ||
2320: 20 24 74 20 3d 3d 20 22 6e 75 6c 6c 22 29 29 0a   $t == "null")).
2330: 20 20 20 20 20 20 7d 0a 20 20 20 20 7d 20 31 0a        }.    } 1.
2340: 0a 20 20 7d 7d 0a 7d 0a 0a 23 2d 2d 2d 2d 2d 2d  .  }}.}..#------
2350: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2360: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2370: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2380: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2390: 2d 2d 2d 0a 23 20 54 65 73 74 20 74 68 65 20 49  ---.# Test the I
23a0: 53 20 61 6e 64 20 49 53 20 4e 4f 54 20 6f 70 65  S and IS NOT ope
23b0: 72 61 74 6f 72 73 2e 0a 23 0a 23 20 45 56 49 44  rators..#.# EVID
23c0: 45 4e 43 45 2d 4f 46 3a 20 52 2d 32 34 37 33 31  ENCE-OF: R-24731
23d0: 2d 34 35 37 37 33 20 54 68 65 20 49 53 20 61 6e  -45773 The IS an
23e0: 64 20 49 53 20 4e 4f 54 20 6f 70 65 72 61 74 6f  d IS NOT operato
23f0: 72 73 20 77 6f 72 6b 20 6c 69 6b 65 20 3d 20 61  rs work like = a
2400: 6e 64 0a 23 20 21 3d 20 65 78 63 65 70 74 20 77  nd.# != except w
2410: 68 65 6e 20 6f 6e 65 20 6f 72 20 62 6f 74 68 20  hen one or both 
2420: 6f 66 20 74 68 65 20 6f 70 65 72 61 6e 64 73 20  of the operands 
2430: 61 72 65 20 4e 55 4c 4c 2e 0a 23 0a 23 20 45 56  are NULL..#.# EV
2440: 49 44 45 4e 43 45 2d 4f 46 3a 20 52 2d 30 36 33  IDENCE-OF: R-063
2450: 32 35 2d 31 35 33 31 35 20 49 6e 20 74 68 69 73  25-15315 In this
2460: 20 63 61 73 65 2c 20 69 66 20 62 6f 74 68 20 6f   case, if both o
2470: 70 65 72 61 6e 64 73 20 61 72 65 20 4e 55 4c 4c  perands are NULL
2480: 2c 0a 23 20 74 68 65 6e 20 74 68 65 20 49 53 20  ,.# then the IS 
2490: 6f 70 65 72 61 74 6f 72 20 65 76 61 6c 75 61 74  operator evaluat
24a0: 65 73 20 74 6f 20 31 20 28 74 72 75 65 29 20 61  es to 1 (true) a
24b0: 6e 64 20 74 68 65 20 49 53 20 4e 4f 54 20 6f 70  nd the IS NOT op
24c0: 65 72 61 74 6f 72 0a 23 20 65 76 61 6c 75 61 74  erator.# evaluat
24d0: 65 73 20 74 6f 20 30 20 28 66 61 6c 73 65 29 2e  es to 0 (false).
24e0: 0a 23 0a 23 20 45 56 49 44 45 4e 43 45 2d 4f 46  .#.# EVIDENCE-OF
24f0: 3a 20 52 2d 31 39 38 31 32 2d 33 36 37 37 39 20  : R-19812-36779 
2500: 49 66 20 6f 6e 65 20 6f 70 65 72 61 6e 64 20 69  If one operand i
2510: 73 20 4e 55 4c 4c 20 61 6e 64 20 74 68 65 20 6f  s NULL and the o
2520: 74 68 65 72 20 69 73 0a 23 20 6e 6f 74 2c 20 74  ther is.# not, t
2530: 68 65 6e 20 74 68 65 20 49 53 20 6f 70 65 72 61  hen the IS opera
2540: 74 6f 72 20 65 76 61 6c 75 61 74 65 73 20 74 6f  tor evaluates to
2550: 20 30 20 28 66 61 6c 73 65 29 20 61 6e 64 20 74   0 (false) and t
2560: 68 65 20 49 53 20 4e 4f 54 0a 23 20 6f 70 65 72  he IS NOT.# oper
2570: 61 74 6f 72 20 69 73 20 31 20 28 74 72 75 65 29  ator is 1 (true)
2580: 2e 0a 23 0a 23 20 45 56 49 44 45 4e 43 45 2d 4f  ..#.# EVIDENCE-O
2590: 46 3a 20 52 2d 36 31 39 37 35 2d 31 33 34 31 30  F: R-61975-13410
25a0: 20 49 74 20 69 73 20 6e 6f 74 20 70 6f 73 73 69   It is not possi
25b0: 62 6c 65 20 66 6f 72 20 61 6e 20 49 53 20 6f 72  ble for an IS or
25c0: 20 49 53 20 4e 4f 54 0a 23 20 65 78 70 72 65 73   IS NOT.# expres
25d0: 73 69 6f 6e 20 74 6f 20 65 76 61 6c 75 61 74 65  sion to evaluate
25e0: 20 74 6f 20 4e 55 4c 4c 2e 0a 23 0a 64 6f 5f 65   to NULL..#.do_e
25f0: 78 65 63 73 71 6c 5f 74 65 73 74 20 65 5f 65 78  xecsql_test e_ex
2600: 70 72 2d 38 2e 31 2e 31 20 20 7b 20 53 45 4c 45  pr-8.1.1  { SELE
2610: 43 54 20 4e 55 4c 4c 20 49 53 20 20 20 20 20 4e  CT NULL IS     N
2620: 55 4c 4c 20 7d 20 7b 31 7d 0a 64 6f 5f 65 78 65  ULL } {1}.do_exe
2630: 63 73 71 6c 5f 74 65 73 74 20 65 5f 65 78 70 72  csql_test e_expr
2640: 2d 38 2e 31 2e 32 20 20 7b 20 53 45 4c 45 43 54  -8.1.2  { SELECT
2650: 20 27 61 62 27 20 49 53 20 20 20 20 20 4e 55 4c   'ab' IS     NUL
2660: 4c 20 7d 20 7b 30 7d 0a 64 6f 5f 65 78 65 63 73  L } {0}.do_execs
2670: 71 6c 5f 74 65 73 74 20 65 5f 65 78 70 72 2d 38  ql_test e_expr-8
2680: 2e 31 2e 33 20 20 7b 20 53 45 4c 45 43 54 20 4e  .1.3  { SELECT N
2690: 55 4c 4c 20 49 53 20 20 20 20 20 27 61 62 27 20  ULL IS     'ab' 
26a0: 7d 20 7b 30 7d 0a 64 6f 5f 65 78 65 63 73 71 6c  } {0}.do_execsql
26b0: 5f 74 65 73 74 20 65 5f 65 78 70 72 2d 38 2e 31  _test e_expr-8.1
26c0: 2e 34 20 20 7b 20 53 45 4c 45 43 54 20 27 61 62  .4  { SELECT 'ab
26d0: 27 20 49 53 20 20 20 20 20 27 61 62 27 20 7d 20  ' IS     'ab' } 
26e0: 7b 31 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74  {1}.do_execsql_t
26f0: 65 73 74 20 65 5f 65 78 70 72 2d 38 2e 31 2e 35  est e_expr-8.1.5
2700: 20 20 7b 20 53 45 4c 45 43 54 20 4e 55 4c 4c 20    { SELECT NULL 
2710: 3d 3d 20 20 20 20 20 4e 55 4c 4c 20 7d 20 7b 7b  ==     NULL } {{
2720: 7d 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65  }}.do_execsql_te
2730: 73 74 20 65 5f 65 78 70 72 2d 38 2e 31 2e 36 20  st e_expr-8.1.6 
2740: 20 7b 20 53 45 4c 45 43 54 20 27 61 62 27 20 3d   { SELECT 'ab' =
2750: 3d 20 20 20 20 20 4e 55 4c 4c 20 7d 20 7b 7b 7d  =     NULL } {{}
2760: 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73  }.do_execsql_tes
2770: 74 20 65 5f 65 78 70 72 2d 38 2e 31 2e 37 20 20  t e_expr-8.1.7  
2780: 7b 20 53 45 4c 45 43 54 20 4e 55 4c 4c 20 3d 3d  { SELECT NULL ==
2790: 20 20 20 20 20 27 61 62 27 20 7d 20 7b 7b 7d 7d       'ab' } {{}}
27a0: 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74  .do_execsql_test
27b0: 20 65 5f 65 78 70 72 2d 38 2e 31 2e 38 20 20 7b   e_expr-8.1.8  {
27c0: 20 53 45 4c 45 43 54 20 27 61 62 27 20 3d 3d 20   SELECT 'ab' == 
27d0: 20 20 20 20 27 61 62 27 20 7d 20 7b 31 7d 0a 64      'ab' } {1}.d
27e0: 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 65  o_execsql_test e
27f0: 5f 65 78 70 72 2d 38 2e 31 2e 39 20 20 7b 20 53  _expr-8.1.9  { S
2800: 45 4c 45 43 54 20 4e 55 4c 4c 20 49 53 20 4e 4f  ELECT NULL IS NO
2810: 54 20 4e 55 4c 4c 20 7d 20 7b 30 7d 0a 64 6f 5f  T NULL } {0}.do_
2820: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 65 5f 65  execsql_test e_e
2830: 78 70 72 2d 38 2e 31 2e 31 30 20 7b 20 53 45 4c  xpr-8.1.10 { SEL
2840: 45 43 54 20 27 61 62 27 20 49 53 20 4e 4f 54 20  ECT 'ab' IS NOT 
2850: 4e 55 4c 4c 20 7d 20 7b 31 7d 0a 64 6f 5f 65 78  NULL } {1}.do_ex
2860: 65 63 73 71 6c 5f 74 65 73 74 20 65 5f 65 78 70  ecsql_test e_exp
2870: 72 2d 38 2e 31 2e 31 31 20 7b 20 53 45 4c 45 43  r-8.1.11 { SELEC
2880: 54 20 4e 55 4c 4c 20 49 53 20 4e 4f 54 20 27 61  T NULL IS NOT 'a
2890: 62 27 20 7d 20 7b 31 7d 0a 64 6f 5f 65 78 65 63  b' } {1}.do_exec
28a0: 73 71 6c 5f 74 65 73 74 20 65 5f 65 78 70 72 2d  sql_test e_expr-
28b0: 38 2e 31 2e 31 32 20 7b 20 53 45 4c 45 43 54 20  8.1.12 { SELECT 
28c0: 27 61 62 27 20 49 53 20 4e 4f 54 20 27 61 62 27  'ab' IS NOT 'ab'
28d0: 20 7d 20 7b 30 7d 0a 64 6f 5f 65 78 65 63 73 71   } {0}.do_execsq
28e0: 6c 5f 74 65 73 74 20 65 5f 65 78 70 72 2d 38 2e  l_test e_expr-8.
28f0: 31 2e 31 33 20 7b 20 53 45 4c 45 43 54 20 4e 55  1.13 { SELECT NU
2900: 4c 4c 20 21 3d 20 20 20 20 20 4e 55 4c 4c 20 7d  LL !=     NULL }
2910: 20 7b 7b 7d 7d 0a 64 6f 5f 65 78 65 63 73 71 6c   {{}}.do_execsql
2920: 5f 74 65 73 74 20 65 5f 65 78 70 72 2d 38 2e 31  _test e_expr-8.1
2930: 2e 31 34 20 7b 20 53 45 4c 45 43 54 20 27 61 62  .14 { SELECT 'ab
2940: 27 20 21 3d 20 20 20 20 20 4e 55 4c 4c 20 7d 20  ' !=     NULL } 
2950: 7b 7b 7d 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f  {{}}.do_execsql_
2960: 74 65 73 74 20 65 5f 65 78 70 72 2d 38 2e 31 2e  test e_expr-8.1.
2970: 31 35 20 7b 20 53 45 4c 45 43 54 20 4e 55 4c 4c  15 { SELECT NULL
2980: 20 21 3d 20 20 20 20 20 27 61 62 27 20 7d 20 7b   !=     'ab' } {
2990: 7b 7d 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74  {}}.do_execsql_t
29a0: 65 73 74 20 65 5f 65 78 70 72 2d 38 2e 31 2e 31  est e_expr-8.1.1
29b0: 36 20 7b 20 53 45 4c 45 43 54 20 27 61 62 27 20  6 { SELECT 'ab' 
29c0: 21 3d 20 20 20 20 20 27 61 62 27 20 7d 20 7b 30  !=     'ab' } {0
29d0: 7d 0a 0a 66 6f 72 65 61 63 68 20 7b 6e 31 20 72  }..foreach {n1 r
29e0: 68 73 7d 20 24 6c 69 74 65 72 61 6c 73 20 7b 20  hs} $literals { 
29f0: 0a 20 20 66 6f 72 65 61 63 68 20 7b 6e 32 20 6c  .  foreach {n2 l
2a00: 68 73 7d 20 24 6c 69 74 65 72 61 6c 73 20 7b 0a  hs} $literals {.
2a10: 20 20 20 20 69 66 20 7b 24 72 68 73 21 3d 22 4e      if {$rhs!="N
2a20: 55 4c 4c 22 20 26 26 20 24 6c 68 73 21 3d 22 4e  ULL" && $lhs!="N
2a30: 55 4c 4c 22 7d 20 7b 0a 20 20 20 20 20 20 73 65  ULL"} {.      se
2a40: 74 20 65 71 20 5b 65 78 65 63 73 71 6c 20 22 53  t eq [execsql "S
2a50: 45 4c 45 43 54 20 24 6c 68 73 20 3d 20 24 72 68  ELECT $lhs = $rh
2a60: 73 2c 20 24 6c 68 73 20 21 3d 20 24 72 68 73 22  s, $lhs != $rhs"
2a70: 5d 0a 20 20 20 20 7d 20 65 6c 73 65 20 7b 0a 20  ].    } else {. 
2a80: 20 20 20 20 20 73 65 74 20 65 71 20 5b 6c 69 73       set eq [lis
2a90: 74 20 5b 65 78 70 72 20 7b 24 6c 68 73 3d 3d 22  t [expr {$lhs=="
2aa0: 4e 55 4c 4c 22 20 26 26 20 24 72 68 73 3d 3d 22  NULL" && $rhs=="
2ab0: 4e 55 4c 4c 22 7d 5d 20 5c 0a 20 20 20 20 20 20  NULL"}] \.      
2ac0: 20 20 20 20 20 20 20 20 20 20 20 20 20 5b 65 78               [ex
2ad0: 70 72 20 7b 24 6c 68 73 21 3d 22 4e 55 4c 4c 22  pr {$lhs!="NULL"
2ae0: 20 7c 7c 20 24 72 68 73 21 3d 22 4e 55 4c 4c 22   || $rhs!="NULL"
2af0: 7d 5d 0a 20 20 20 20 20 20 5d 0a 20 20 20 20 7d  }].      ].    }
2b00: 0a 20 20 20 20 73 65 74 20 74 65 73 74 20 65 5f  .    set test e_
2b10: 65 78 70 72 2d 38 2e 32 2e 24 6e 31 2e 24 6e 32  expr-8.2.$n1.$n2
2b20: 0a 20 20 20 20 64 6f 5f 65 78 65 63 73 71 6c 5f  .    do_execsql_
2b30: 74 65 73 74 20 24 74 65 73 74 2e 31 20 22 53 45  test $test.1 "SE
2b40: 4c 45 43 54 20 24 6c 68 73 20 49 53 20 24 72 68  LECT $lhs IS $rh
2b50: 73 2c 20 24 6c 68 73 20 49 53 20 4e 4f 54 20 24  s, $lhs IS NOT $
2b60: 72 68 73 22 20 24 65 71 0a 20 20 20 20 64 6f 5f  rhs" $eq.    do_
2b70: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 24 74 65  execsql_test $te
2b80: 73 74 2e 32 20 22 0a 20 20 20 20 20 20 53 45 4c  st.2 ".      SEL
2b90: 45 43 54 20 28 24 6c 68 73 20 49 53 20 24 72 68  ECT ($lhs IS $rh
2ba0: 73 29 20 49 53 20 4e 55 4c 4c 2c 20 28 24 6c 68  s) IS NULL, ($lh
2bb0: 73 20 49 53 20 4e 4f 54 20 24 72 68 73 29 20 49  s IS NOT $rhs) I
2bc0: 53 20 4e 55 4c 4c 0a 20 20 20 20 22 20 7b 30 20  S NULL.    " {0 
2bd0: 30 7d 0a 20 20 7d 0a 7d 0a 0a 23 2d 2d 2d 2d 2d  0}.  }.}..#-----
2be0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2bf0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2c00: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2c10: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2c20: 2d 2d 2d 2d 0a 23 20 52 75 6e 20 73 6f 6d 65 20  ----.# Run some 
2c30: 74 65 73 74 73 20 6f 6e 20 74 68 65 20 43 4f 4c  tests on the COL
2c40: 4c 41 54 45 20 22 75 6e 61 72 79 20 70 6f 73 74  LATE "unary post
2c50: 66 69 78 20 6f 70 65 72 61 74 6f 72 22 2e 0a 23  fix operator"..#
2c60: 0a 23 20 54 68 69 73 20 63 6f 6c 6c 61 74 69 6f  .# This collatio
2c70: 6e 20 73 65 71 75 65 6e 63 65 20 72 65 76 65 72  n sequence rever
2c80: 73 65 73 20 62 6f 74 68 20 61 72 67 75 6d 65 6e  ses both argumen
2c90: 74 73 20 62 65 66 6f 72 65 20 75 73 69 6e 67 20  ts before using 
2ca0: 0a 23 20 5b 73 74 72 69 6e 67 20 63 6f 6d 70 61  .# [string compa
2cb0: 72 65 5d 20 74 6f 20 63 6f 6d 70 61 72 65 20 74  re] to compare t
2cc0: 68 65 6d 2e 20 46 6f 72 20 65 78 61 6d 70 6c 65  hem. For example
2cd0: 2c 20 77 68 65 6e 20 63 6f 6d 70 61 72 69 6e 67  , when comparing
2ce0: 20 74 68 65 0a 23 20 73 74 72 69 6e 67 73 20 27   the.# strings '
2cf0: 6f 6e 65 27 20 61 6e 64 20 27 66 6f 75 72 27 2c  one' and 'four',
2d00: 20 72 65 74 75 72 6e 20 74 68 65 20 72 65 73 75   return the resu
2d10: 6c 74 20 6f 66 3a 0a 23 20 20 20 0a 23 20 20 20  lt of:.#   .#   
2d20: 73 74 72 69 6e 67 20 63 6f 6d 70 61 72 65 20 65  string compare e
2d30: 6e 6f 20 72 75 6f 66 0a 23 0a 70 72 6f 63 20 72  no ruof.#.proc r
2d40: 65 76 65 72 73 65 5f 73 74 72 20 7b 7a 53 74 72  everse_str {zStr
2d50: 7d 20 7b 0a 20 20 73 65 74 20 6f 75 74 20 22 22  } {.  set out ""
2d60: 0a 20 20 66 6f 72 65 61 63 68 20 63 20 5b 73 70  .  foreach c [sp
2d70: 6c 69 74 20 24 7a 53 74 72 20 7b 7d 5d 20 7b 20  lit $zStr {}] { 
2d80: 73 65 74 20 6f 75 74 20 22 24 7b 63 7d 24 7b 6f  set out "${c}${o
2d90: 75 74 7d 22 20 7d 0a 20 20 73 65 74 20 6f 75 74  ut}" }.  set out
2da0: 0a 7d 0a 70 72 6f 63 20 72 65 76 65 72 73 65 5f  .}.proc reverse_
2db0: 63 6f 6c 6c 61 74 65 20 7b 7a 4c 65 66 74 20 7a  collate {zLeft z
2dc0: 52 69 67 68 74 7d 20 7b 0a 20 20 73 74 72 69 6e  Right} {.  strin
2dd0: 67 20 63 6f 6d 70 61 72 65 20 5b 72 65 76 65 72  g compare [rever
2de0: 73 65 5f 73 74 72 20 24 7a 4c 65 66 74 5d 20 5b  se_str $zLeft] [
2df0: 72 65 76 65 72 73 65 5f 73 74 72 20 24 7a 52 69  reverse_str $zRi
2e00: 67 68 74 5d 0a 7d 0a 64 62 20 63 6f 6c 6c 61 74  ght].}.db collat
2e10: 65 20 72 65 76 65 72 73 65 20 72 65 76 65 72 73  e reverse revers
2e20: 65 5f 63 6f 6c 6c 61 74 65 0a 0a 23 20 45 56 49  e_collate..# EVI
2e30: 44 45 4e 43 45 2d 4f 46 3a 20 52 2d 35 39 35 37  DENCE-OF: R-5957
2e40: 37 2d 33 33 34 37 31 20 54 68 65 20 43 4f 4c 4c  7-33471 The COLL
2e50: 41 54 45 20 6f 70 65 72 61 74 6f 72 20 69 73 20  ATE operator is 
2e60: 61 20 75 6e 61 72 79 20 70 6f 73 74 66 69 78 0a  a unary postfix.
2e70: 23 20 6f 70 65 72 61 74 6f 72 20 74 68 61 74 20  # operator that 
2e80: 61 73 73 69 67 6e 73 20 61 20 63 6f 6c 6c 61 74  assigns a collat
2e90: 69 6e 67 20 73 65 71 75 65 6e 63 65 20 74 6f 20  ing sequence to 
2ea0: 61 6e 20 65 78 70 72 65 73 73 69 6f 6e 2e 0a 23  an expression..#
2eb0: 0a 23 20 45 56 49 44 45 4e 43 45 2d 4f 46 3a 20  .# EVIDENCE-OF: 
2ec0: 52 2d 32 33 34 34 31 2d 32 32 35 34 31 20 54 68  R-23441-22541 Th
2ed0: 65 20 43 4f 4c 4c 41 54 45 20 6f 70 65 72 61 74  e COLLATE operat
2ee0: 6f 72 20 68 61 73 20 61 20 68 69 67 68 65 72 0a  or has a higher.
2ef0: 23 20 70 72 65 63 65 64 65 6e 63 65 20 28 62 69  # precedence (bi
2f00: 6e 64 73 20 6d 6f 72 65 20 74 69 67 68 74 6c 79  nds more tightly
2f10: 29 20 74 68 61 6e 20 61 6e 79 20 70 72 65 66 69  ) than any prefi
2f20: 78 20 75 6e 61 72 79 20 6f 70 65 72 61 74 6f 72  x unary operator
2f30: 20 6f 72 20 61 6e 79 0a 23 20 62 69 6e 61 72 79   or any.# binary
2f40: 20 6f 70 65 72 61 74 6f 72 2e 0a 23 0a 64 6f 5f   operator..#.do_
2f50: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 65 5f 65  execsql_test e_e
2f60: 78 70 72 2d 39 2e 31 20 7b 20 53 45 4c 45 43 54  xpr-9.1 { SELECT
2f70: 20 20 27 61 62 63 64 27 20 3c 20 27 62 62 62 62    'abcd' < 'bbbb
2f80: 27 20 20 20 20 43 4f 4c 4c 41 54 45 20 72 65 76  '    COLLATE rev
2f90: 65 72 73 65 20 7d 20 30 0a 64 6f 5f 65 78 65 63  erse } 0.do_exec
2fa0: 73 71 6c 5f 74 65 73 74 20 65 5f 65 78 70 72 2d  sql_test e_expr-
2fb0: 39 2e 32 20 7b 20 53 45 4c 45 43 54 20 28 27 61  9.2 { SELECT ('a
2fc0: 62 63 64 27 20 3c 20 27 62 62 62 62 27 29 20 20  bcd' < 'bbbb')  
2fd0: 20 43 4f 4c 4c 41 54 45 20 72 65 76 65 72 73 65   COLLATE reverse
2fe0: 20 7d 20 31 0a 64 6f 5f 65 78 65 63 73 71 6c 5f   } 1.do_execsql_
2ff0: 74 65 73 74 20 65 5f 65 78 70 72 2d 39 2e 33 20  test e_expr-9.3 
3000: 7b 20 53 45 4c 45 43 54 20 20 27 61 62 63 64 27  { SELECT  'abcd'
3010: 20 3c 3d 20 27 62 62 62 62 27 20 20 20 43 4f 4c   <= 'bbbb'   COL
3020: 4c 41 54 45 20 72 65 76 65 72 73 65 20 7d 20 30  LATE reverse } 0
3030: 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74  .do_execsql_test
3040: 20 65 5f 65 78 70 72 2d 39 2e 34 20 7b 20 53 45   e_expr-9.4 { SE
3050: 4c 45 43 54 20 28 27 61 62 63 64 27 20 3c 3d 20  LECT ('abcd' <= 
3060: 27 62 62 62 62 27 29 20 20 43 4f 4c 4c 41 54 45  'bbbb')  COLLATE
3070: 20 72 65 76 65 72 73 65 20 7d 20 31 0a 0a 64 6f   reverse } 1..do
3080: 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 65 5f  _execsql_test e_
3090: 65 78 70 72 2d 39 2e 35 20 7b 20 53 45 4c 45 43  expr-9.5 { SELEC
30a0: 54 20 20 27 61 62 63 64 27 20 3e 20 27 62 62 62  T  'abcd' > 'bbb
30b0: 62 27 20 20 20 20 43 4f 4c 4c 41 54 45 20 72 65  b'    COLLATE re
30c0: 76 65 72 73 65 20 7d 20 31 0a 64 6f 5f 65 78 65  verse } 1.do_exe
30d0: 63 73 71 6c 5f 74 65 73 74 20 65 5f 65 78 70 72  csql_test e_expr
30e0: 2d 39 2e 36 20 7b 20 53 45 4c 45 43 54 20 28 27  -9.6 { SELECT ('
30f0: 61 62 63 64 27 20 3e 20 27 62 62 62 62 27 29 20  abcd' > 'bbbb') 
3100: 20 20 43 4f 4c 4c 41 54 45 20 72 65 76 65 72 73    COLLATE revers
3110: 65 20 7d 20 30 0a 64 6f 5f 65 78 65 63 73 71 6c  e } 0.do_execsql
3120: 5f 74 65 73 74 20 65 5f 65 78 70 72 2d 39 2e 37  _test e_expr-9.7
3130: 20 7b 20 53 45 4c 45 43 54 20 20 27 61 62 63 64   { SELECT  'abcd
3140: 27 20 3e 3d 20 27 62 62 62 62 27 20 20 20 43 4f  ' >= 'bbbb'   CO
3150: 4c 4c 41 54 45 20 72 65 76 65 72 73 65 20 7d 20  LLATE reverse } 
3160: 31 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73  1.do_execsql_tes
3170: 74 20 65 5f 65 78 70 72 2d 39 2e 38 20 7b 20 53  t e_expr-9.8 { S
3180: 45 4c 45 43 54 20 28 27 61 62 63 64 27 20 3e 3d  ELECT ('abcd' >=
3190: 20 27 62 62 62 62 27 29 20 20 43 4f 4c 4c 41 54   'bbbb')  COLLAT
31a0: 45 20 72 65 76 65 72 73 65 20 7d 20 30 0a 0a 64  E reverse } 0..d
31b0: 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 65  o_execsql_test e
31c0: 5f 65 78 70 72 2d 39 2e 31 30 20 7b 20 53 45 4c  _expr-9.10 { SEL
31d0: 45 43 54 20 20 27 61 62 63 64 27 20 3d 20 20 27  ECT  'abcd' =  '
31e0: 41 42 43 44 27 20 20 43 4f 4c 4c 41 54 45 20 6e  ABCD'  COLLATE n
31f0: 6f 63 61 73 65 20 7d 20 31 0a 64 6f 5f 65 78 65  ocase } 1.do_exe
3200: 63 73 71 6c 5f 74 65 73 74 20 65 5f 65 78 70 72  csql_test e_expr
3210: 2d 39 2e 31 31 20 7b 20 53 45 4c 45 43 54 20 28  -9.11 { SELECT (
3220: 27 61 62 63 64 27 20 3d 20 20 27 41 42 43 44 27  'abcd' =  'ABCD'
3230: 29 20 43 4f 4c 4c 41 54 45 20 6e 6f 63 61 73 65  ) COLLATE nocase
3240: 20 7d 20 30 0a 64 6f 5f 65 78 65 63 73 71 6c 5f   } 0.do_execsql_
3250: 74 65 73 74 20 65 5f 65 78 70 72 2d 39 2e 31 32  test e_expr-9.12
3260: 20 7b 20 53 45 4c 45 43 54 20 20 27 61 62 63 64   { SELECT  'abcd
3270: 27 20 3d 3d 20 27 41 42 43 44 27 20 20 43 4f 4c  ' == 'ABCD'  COL
3280: 4c 41 54 45 20 6e 6f 63 61 73 65 20 7d 20 31 0a  LATE nocase } 1.
3290: 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20  do_execsql_test 
32a0: 65 5f 65 78 70 72 2d 39 2e 31 33 20 7b 20 53 45  e_expr-9.13 { SE
32b0: 4c 45 43 54 20 28 27 61 62 63 64 27 20 3d 3d 20  LECT ('abcd' == 
32c0: 27 41 42 43 44 27 29 20 43 4f 4c 4c 41 54 45 20  'ABCD') COLLATE 
32d0: 6e 6f 63 61 73 65 20 7d 20 30 0a 64 6f 5f 65 78  nocase } 0.do_ex
32e0: 65 63 73 71 6c 5f 74 65 73 74 20 65 5f 65 78 70  ecsql_test e_exp
32f0: 72 2d 39 2e 31 34 20 7b 20 53 45 4c 45 43 54 20  r-9.14 { SELECT 
3300: 20 27 61 62 63 64 27 20 49 53 20 27 41 42 43 44   'abcd' IS 'ABCD
3310: 27 20 20 43 4f 4c 4c 41 54 45 20 6e 6f 63 61 73  '  COLLATE nocas
3320: 65 20 7d 20 31 0a 64 6f 5f 65 78 65 63 73 71 6c  e } 1.do_execsql
3330: 5f 74 65 73 74 20 65 5f 65 78 70 72 2d 39 2e 31  _test e_expr-9.1
3340: 35 20 7b 20 53 45 4c 45 43 54 20 28 27 61 62 63  5 { SELECT ('abc
3350: 64 27 20 49 53 20 27 41 42 43 44 27 29 20 43 4f  d' IS 'ABCD') CO
3360: 4c 4c 41 54 45 20 6e 6f 63 61 73 65 20 7d 20 30  LLATE nocase } 0
3370: 0a 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73  ..do_execsql_tes
3380: 74 20 65 5f 65 78 70 72 2d 39 2e 31 36 20 7b 20  t e_expr-9.16 { 
3390: 53 45 4c 45 43 54 20 20 27 61 62 63 64 27 20 21  SELECT  'abcd' !
33a0: 3d 20 27 41 42 43 44 27 20 20 20 20 20 20 43 4f  = 'ABCD'      CO
33b0: 4c 4c 41 54 45 20 6e 6f 63 61 73 65 20 7d 20 30  LLATE nocase } 0
33c0: 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74  .do_execsql_test
33d0: 20 65 5f 65 78 70 72 2d 39 2e 31 37 20 7b 20 53   e_expr-9.17 { S
33e0: 45 4c 45 43 54 20 28 27 61 62 63 64 27 20 21 3d  ELECT ('abcd' !=
33f0: 20 27 41 42 43 44 27 29 20 20 20 20 20 43 4f 4c   'ABCD')     COL
3400: 4c 41 54 45 20 6e 6f 63 61 73 65 20 7d 20 31 0a  LATE nocase } 1.
3410: 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20  do_execsql_test 
3420: 65 5f 65 78 70 72 2d 39 2e 31 38 20 7b 20 53 45  e_expr-9.18 { SE
3430: 4c 45 43 54 20 20 27 61 62 63 64 27 20 3c 3e 20  LECT  'abcd' <> 
3440: 27 41 42 43 44 27 20 20 20 20 20 20 43 4f 4c 4c  'ABCD'      COLL
3450: 41 54 45 20 6e 6f 63 61 73 65 20 7d 20 30 0a 64  ATE nocase } 0.d
3460: 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 65  o_execsql_test e
3470: 5f 65 78 70 72 2d 39 2e 31 39 20 7b 20 53 45 4c  _expr-9.19 { SEL
3480: 45 43 54 20 28 27 61 62 63 64 27 20 3c 3e 20 27  ECT ('abcd' <> '
3490: 41 42 43 44 27 29 20 20 20 20 20 43 4f 4c 4c 41  ABCD')     COLLA
34a0: 54 45 20 6e 6f 63 61 73 65 20 7d 20 31 0a 64 6f  TE nocase } 1.do
34b0: 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 65 5f  _execsql_test e_
34c0: 65 78 70 72 2d 39 2e 32 30 20 7b 20 53 45 4c 45  expr-9.20 { SELE
34d0: 43 54 20 20 27 61 62 63 64 27 20 49 53 20 4e 4f  CT  'abcd' IS NO
34e0: 54 20 27 41 42 43 44 27 20 20 43 4f 4c 4c 41 54  T 'ABCD'  COLLAT
34f0: 45 20 6e 6f 63 61 73 65 20 7d 20 30 0a 64 6f 5f  E nocase } 0.do_
3500: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 65 5f 65  execsql_test e_e
3510: 78 70 72 2d 39 2e 32 31 20 7b 20 53 45 4c 45 43  xpr-9.21 { SELEC
3520: 54 20 28 27 61 62 63 64 27 20 49 53 20 4e 4f 54  T ('abcd' IS NOT
3530: 20 27 41 42 43 44 27 29 20 43 4f 4c 4c 41 54 45   'ABCD') COLLATE
3540: 20 6e 6f 63 61 73 65 20 7d 20 31 0a 0a 64 6f 5f   nocase } 1..do_
3550: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 65 5f 65  execsql_test e_e
3560: 78 70 72 2d 39 2e 32 32 20 7b 20 0a 20 20 53 45  xpr-9.22 { .  SE
3570: 4c 45 43 54 20 27 62 62 62 27 20 42 45 54 57 45  LECT 'bbb' BETWE
3580: 45 4e 20 27 41 41 41 27 20 41 4e 44 20 27 43 43  EN 'AAA' AND 'CC
3590: 43 27 20 43 4f 4c 4c 41 54 45 20 6e 6f 63 61 73  C' COLLATE nocas
35a0: 65 20 0a 7d 20 31 0a 64 6f 5f 65 78 65 63 73 71  e .} 1.do_execsq
35b0: 6c 5f 74 65 73 74 20 65 5f 65 78 70 72 2d 39 2e  l_test e_expr-9.
35c0: 32 33 20 7b 20 0a 20 20 53 45 4c 45 43 54 20 28  23 { .  SELECT (
35d0: 27 62 62 62 27 20 42 45 54 57 45 45 4e 20 27 41  'bbb' BETWEEN 'A
35e0: 41 41 27 20 41 4e 44 20 27 43 43 43 27 29 20 43  AA' AND 'CCC') C
35f0: 4f 4c 4c 41 54 45 20 6e 6f 63 61 73 65 20 0a 7d  OLLATE nocase .}
3600: 20 30 0a 0a 23 20 45 56 49 44 45 4e 43 45 2d 4f   0..# EVIDENCE-O
3610: 46 3a 20 52 2d 35 38 37 33 31 2d 32 35 34 33 39  F: R-58731-25439
3620: 20 54 68 65 20 63 6f 6c 6c 61 74 69 6e 67 20 73   The collating s
3630: 65 71 75 65 6e 63 65 20 73 65 74 20 62 79 20 74  equence set by t
3640: 68 65 20 43 4f 4c 4c 41 54 45 0a 23 20 6f 70 65  he COLLATE.# ope
3650: 72 61 74 6f 72 20 6f 76 65 72 72 69 64 65 73 20  rator overrides 
3660: 74 68 65 20 63 6f 6c 6c 61 74 69 6e 67 20 73 65  the collating se
3670: 71 75 65 6e 63 65 20 64 65 74 65 72 6d 69 6e 65  quence determine
3680: 64 20 62 79 20 74 68 65 20 43 4f 4c 4c 41 54 45  d by the COLLATE
3690: 0a 23 20 63 6c 61 75 73 65 20 69 6e 20 61 20 74  .# clause in a t
36a0: 61 62 6c 65 20 63 6f 6c 75 6d 6e 20 64 65 66 69  able column defi
36b0: 6e 69 74 69 6f 6e 2e 0a 23 0a 64 6f 5f 65 78 65  nition..#.do_exe
36c0: 63 73 71 6c 5f 74 65 73 74 20 65 5f 65 78 70 72  csql_test e_expr
36d0: 2d 39 2e 32 34 20 7b 20 0a 20 20 43 52 45 41 54  -9.24 { .  CREAT
36e0: 45 20 54 41 42 4c 45 20 74 32 34 28 61 20 43 4f  E TABLE t24(a CO
36f0: 4c 4c 41 54 45 20 4e 4f 43 41 53 45 2c 20 62 29  LLATE NOCASE, b)
3700: 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20  ;.  INSERT INTO 
3710: 74 32 34 20 56 41 4c 55 45 53 28 27 61 61 61 27  t24 VALUES('aaa'
3720: 2c 20 31 29 3b 0a 20 20 49 4e 53 45 52 54 20 49  , 1);.  INSERT I
3730: 4e 54 4f 20 74 32 34 20 56 41 4c 55 45 53 28 27  NTO t24 VALUES('
3740: 62 62 62 27 2c 20 32 29 3b 0a 20 20 49 4e 53 45  bbb', 2);.  INSE
3750: 52 54 20 49 4e 54 4f 20 74 32 34 20 56 41 4c 55  RT INTO t24 VALU
3760: 45 53 28 27 63 63 63 27 2c 20 33 29 3b 0a 7d 20  ES('ccc', 3);.} 
3770: 7b 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65  {}.do_execsql_te
3780: 73 74 20 65 5f 65 78 70 72 2d 39 2e 32 35 20 7b  st e_expr-9.25 {
3790: 20 53 45 4c 45 43 54 20 27 42 42 42 27 20 3d 20   SELECT 'BBB' = 
37a0: 61 20 46 52 4f 4d 20 74 32 34 20 7d 20 7b 30 20  a FROM t24 } {0 
37b0: 31 20 30 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f  1 0}.do_execsql_
37c0: 74 65 73 74 20 65 5f 65 78 70 72 2d 39 2e 32 35  test e_expr-9.25
37d0: 20 7b 20 53 45 4c 45 43 54 20 61 20 3d 20 27 42   { SELECT a = 'B
37e0: 42 42 27 20 46 52 4f 4d 20 74 32 34 20 7d 20 7b  BB' FROM t24 } {
37f0: 30 20 31 20 30 7d 0a 64 6f 5f 65 78 65 63 73 71  0 1 0}.do_execsq
3800: 6c 5f 74 65 73 74 20 65 5f 65 78 70 72 2d 39 2e  l_test e_expr-9.
3810: 32 35 20 7b 20 53 45 4c 45 43 54 20 27 42 42 42  25 { SELECT 'BBB
3820: 27 20 3d 20 61 20 43 4f 4c 4c 41 54 45 20 62 69  ' = a COLLATE bi
3830: 6e 61 72 79 20 46 52 4f 4d 20 74 32 34 20 7d 20  nary FROM t24 } 
3840: 7b 30 20 30 20 30 7d 0a 64 6f 5f 65 78 65 63 73  {0 0 0}.do_execs
3850: 71 6c 5f 74 65 73 74 20 65 5f 65 78 70 72 2d 39  ql_test e_expr-9
3860: 2e 32 35 20 7b 20 53 45 4c 45 43 54 20 61 20 43  .25 { SELECT a C
3870: 4f 4c 4c 41 54 45 20 62 69 6e 61 72 79 20 3d 20  OLLATE binary = 
3880: 27 42 42 42 27 20 46 52 4f 4d 20 74 32 34 20 7d  'BBB' FROM t24 }
3890: 20 7b 30 20 30 20 30 7d 0a 0a 23 2d 2d 2d 2d 2d   {0 0 0}..#-----
38a0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
38b0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
38c0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
38d0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
38e0: 2d 2d 2d 2d 0a 23 20 54 65 73 74 20 73 74 61 74  ----.# Test stat
38f0: 65 6d 65 6e 74 73 20 72 65 6c 61 74 65 64 20 74  ements related t
3900: 6f 20 6c 69 74 65 72 61 6c 20 76 61 6c 75 65 73  o literal values
3910: 2e 0a 23 0a 23 20 45 56 49 44 45 4e 43 45 2d 4f  ..#.# EVIDENCE-O
3920: 46 3a 20 52 2d 33 31 35 33 36 2d 33 32 30 30 38  F: R-31536-32008
3930: 20 4c 69 74 65 72 61 6c 20 76 61 6c 75 65 73 20   Literal values 
3940: 6d 61 79 20 62 65 20 69 6e 74 65 67 65 72 73 2c  may be integers,
3950: 20 66 6c 6f 61 74 69 6e 67 0a 23 20 70 6f 69 6e   floating.# poin
3960: 74 20 6e 75 6d 62 65 72 73 2c 20 73 74 72 69 6e  t numbers, strin
3970: 67 73 2c 20 42 4c 4f 42 73 2c 20 6f 72 20 4e 55  gs, BLOBs, or NU
3980: 4c 4c 73 2e 0a 23 0a 64 6f 5f 65 78 65 63 73 71  LLs..#.do_execsq
3990: 6c 5f 74 65 73 74 20 65 5f 65 78 70 72 2d 31 30  l_test e_expr-10
39a0: 2e 31 2e 31 20 7b 20 53 45 4c 45 43 54 20 74 79  .1.1 { SELECT ty
39b0: 70 65 6f 66 28 35 29 20 20 20 20 20 20 20 7d 20  peof(5)       } 
39c0: 7b 69 6e 74 65 67 65 72 7d 0a 64 6f 5f 65 78 65  {integer}.do_exe
39d0: 63 73 71 6c 5f 74 65 73 74 20 65 5f 65 78 70 72  csql_test e_expr
39e0: 2d 31 30 2e 31 2e 32 20 7b 20 53 45 4c 45 43 54  -10.1.2 { SELECT
39f0: 20 74 79 70 65 6f 66 28 35 2e 31 29 20 20 20 20   typeof(5.1)    
3a00: 20 7d 20 7b 72 65 61 6c 7d 0a 64 6f 5f 65 78 65   } {real}.do_exe
3a10: 63 73 71 6c 5f 74 65 73 74 20 65 5f 65 78 70 72  csql_test e_expr
3a20: 2d 31 30 2e 31 2e 33 20 7b 20 53 45 4c 45 43 54  -10.1.3 { SELECT
3a30: 20 74 79 70 65 6f 66 28 27 35 2e 31 27 29 20 20   typeof('5.1')  
3a40: 20 7d 20 7b 74 65 78 74 7d 0a 64 6f 5f 65 78 65   } {text}.do_exe
3a50: 63 73 71 6c 5f 74 65 73 74 20 65 5f 65 78 70 72  csql_test e_expr
3a60: 2d 31 30 2e 31 2e 34 20 7b 20 53 45 4c 45 43 54  -10.1.4 { SELECT
3a70: 20 74 79 70 65 6f 66 28 58 27 41 42 43 44 27 29   typeof(X'ABCD')
3a80: 20 7d 20 7b 62 6c 6f 62 7d 0a 64 6f 5f 65 78 65   } {blob}.do_exe
3a90: 63 73 71 6c 5f 74 65 73 74 20 65 5f 65 78 70 72  csql_test e_expr
3aa0: 2d 31 30 2e 31 2e 35 20 7b 20 53 45 4c 45 43 54  -10.1.5 { SELECT
3ab0: 20 74 79 70 65 6f 66 28 4e 55 4c 4c 29 20 20 20   typeof(NULL)   
3ac0: 20 7d 20 7b 6e 75 6c 6c 7d 0a 0a 23 20 45 56 49   } {null}..# EVI
3ad0: 44 45 4e 43 45 2d 4f 46 3a 20 52 2d 32 36 39 32  DENCE-OF: R-2692
3ae0: 31 2d 35 39 32 39 38 20 53 63 69 65 6e 74 69 66  1-59298 Scientif
3af0: 69 63 20 6e 6f 74 61 74 69 6f 6e 20 69 73 20 73  ic notation is s
3b00: 75 70 70 6f 72 74 65 64 20 66 6f 72 0a 23 20 66  upported for.# f
3b10: 6c 6f 61 74 69 6e 67 20 70 6f 69 6e 74 20 6c 69  loating point li
3b20: 74 65 72 61 6c 20 76 61 6c 75 65 73 2e 0a 23 0a  teral values..#.
3b30: 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20  do_execsql_test 
3b40: 65 5f 65 78 70 72 2d 31 30 2e 32 2e 31 20 7b 20  e_expr-10.2.1 { 
3b50: 53 45 4c 45 43 54 20 74 79 70 65 6f 66 28 33 2e  SELECT typeof(3.
3b60: 34 65 2d 30 32 29 20 20 20 20 7d 20 7b 72 65 61  4e-02)    } {rea
3b70: 6c 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65  l}.do_execsql_te
3b80: 73 74 20 65 5f 65 78 70 72 2d 31 30 2e 32 2e 32  st e_expr-10.2.2
3b90: 20 7b 20 53 45 4c 45 43 54 20 74 79 70 65 6f 66   { SELECT typeof
3ba0: 28 33 65 2b 35 29 20 20 20 20 20 20 20 7d 20 7b  (3e+5)       } {
3bb0: 72 65 61 6c 7d 0a 64 6f 5f 65 78 65 63 73 71 6c  real}.do_execsql
3bc0: 5f 74 65 73 74 20 65 5f 65 78 70 72 2d 31 30 2e  _test e_expr-10.
3bd0: 32 2e 33 20 7b 20 53 45 4c 45 43 54 20 33 2e 34  2.3 { SELECT 3.4
3be0: 65 2d 30 32 20 20 20 20 20 20 20 20 20 20 20 20  e-02            
3bf0: 7d 20 7b 30 2e 30 33 34 7d 0a 64 6f 5f 65 78 65  } {0.034}.do_exe
3c00: 63 73 71 6c 5f 74 65 73 74 20 65 5f 65 78 70 72  csql_test e_expr
3c10: 2d 31 30 2e 32 2e 34 20 7b 20 53 45 4c 45 43 54  -10.2.4 { SELECT
3c20: 20 33 65 2b 34 20 20 20 20 20 20 20 20 20 20 20   3e+4           
3c30: 20 20 20 20 7d 20 7b 33 30 30 30 30 2e 30 7d 0a      } {30000.0}.
3c40: 0a 23 20 45 56 49 44 45 4e 43 45 2d 4f 46 3a 20  .# EVIDENCE-OF: 
3c50: 52 2d 33 35 32 32 39 2d 31 37 38 33 30 20 41 20  R-35229-17830 A 
3c60: 73 74 72 69 6e 67 20 63 6f 6e 73 74 61 6e 74 20  string constant 
3c70: 69 73 20 66 6f 72 6d 65 64 20 62 79 20 65 6e 63  is formed by enc
3c80: 6c 6f 73 69 6e 67 0a 23 20 74 68 65 20 73 74 72  losing.# the str
3c90: 69 6e 67 20 69 6e 20 73 69 6e 67 6c 65 20 71 75  ing in single qu
3ca0: 6f 74 65 73 20 28 27 29 2e 0a 23 0a 23 20 45 56  otes (')..#.# EV
3cb0: 49 44 45 4e 43 45 2d 4f 46 3a 20 52 2d 30 37 31  IDENCE-OF: R-071
3cc0: 30 30 2d 30 36 36 30 36 20 41 20 73 69 6e 67 6c  00-06606 A singl
3cd0: 65 20 71 75 6f 74 65 20 77 69 74 68 69 6e 20 74  e quote within t
3ce0: 68 65 20 73 74 72 69 6e 67 20 63 61 6e 20 62 65  he string can be
3cf0: 0a 23 20 65 6e 63 6f 64 65 64 20 62 79 20 70 75  .# encoded by pu
3d00: 74 74 69 6e 67 20 74 77 6f 20 73 69 6e 67 6c 65  tting two single
3d10: 20 71 75 6f 74 65 73 20 69 6e 20 61 20 72 6f 77   quotes in a row
3d20: 20 2d 20 61 73 20 69 6e 20 50 61 73 63 61 6c 2e   - as in Pascal.
3d30: 0a 23 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65  .#.do_execsql_te
3d40: 73 74 20 65 5f 65 78 70 72 2d 31 30 2e 33 2e 31  st e_expr-10.3.1
3d50: 20 7b 20 53 45 4c 45 43 54 20 27 69 73 20 6e 6f   { SELECT 'is no
3d60: 74 27 20 7d 20 20 20 20 20 20 20 20 20 7b 7b 69  t' }         {{i
3d70: 73 20 6e 6f 74 7d 7d 0a 64 6f 5f 65 78 65 63 73  s not}}.do_execs
3d80: 71 6c 5f 74 65 73 74 20 65 5f 65 78 70 72 2d 31  ql_test e_expr-1
3d90: 30 2e 33 2e 32 20 7b 20 53 45 4c 45 43 54 20 74  0.3.2 { SELECT t
3da0: 79 70 65 6f 66 28 27 69 73 20 6e 6f 74 27 29 20  ypeof('is not') 
3db0: 7d 20 7b 74 65 78 74 7d 0a 64 6f 5f 65 78 65 63  } {text}.do_exec
3dc0: 73 71 6c 5f 74 65 73 74 20 65 5f 65 78 70 72 2d  sql_test e_expr-
3dd0: 31 30 2e 33 2e 33 20 7b 20 53 45 4c 45 43 54 20  10.3.3 { SELECT 
3de0: 27 69 73 6e 27 27 74 27 20 7d 20 20 20 20 20 20  'isn''t' }      
3df0: 20 20 20 7b 69 73 6e 27 74 7d 0a 64 6f 5f 65 78     {isn't}.do_ex
3e00: 65 63 73 71 6c 5f 74 65 73 74 20 65 5f 65 78 70  ecsql_test e_exp
3e10: 72 2d 31 30 2e 33 2e 34 20 7b 20 53 45 4c 45 43  r-10.3.4 { SELEC
3e20: 54 20 74 79 70 65 6f 66 28 27 69 73 6e 27 27 74  T typeof('isn''t
3e30: 27 29 20 7d 20 7b 74 65 78 74 7d 0a 0a 23 20 45  ') } {text}..# E
3e40: 56 49 44 45 4e 43 45 2d 4f 46 3a 20 52 2d 30 39  VIDENCE-OF: R-09
3e50: 35 39 33 2d 30 33 33 32 31 20 42 4c 4f 42 20 6c  593-03321 BLOB l
3e60: 69 74 65 72 61 6c 73 20 61 72 65 20 73 74 72 69  iterals are stri
3e70: 6e 67 20 6c 69 74 65 72 61 6c 73 0a 23 20 63 6f  ng literals.# co
3e80: 6e 74 61 69 6e 69 6e 67 20 68 65 78 61 64 65 63  ntaining hexadec
3e90: 69 6d 61 6c 20 64 61 74 61 20 61 6e 64 20 70 72  imal data and pr
3ea0: 65 63 65 64 65 64 20 62 79 20 61 20 73 69 6e 67  eceded by a sing
3eb0: 6c 65 20 22 78 22 20 6f 72 20 22 58 22 0a 23 20  le "x" or "X".# 
3ec0: 63 68 61 72 61 63 74 65 72 2e 0a 23 0a 23 20 45  character..#.# E
3ed0: 56 49 44 45 4e 43 45 2d 4f 46 3a 20 52 2d 33 39  VIDENCE-OF: R-39
3ee0: 33 34 34 2d 35 39 37 38 37 20 46 6f 72 20 65 78  344-59787 For ex
3ef0: 61 6d 70 6c 65 3a 20 58 27 35 33 35 31 34 43 36  ample: X'53514C6
3f00: 39 37 34 36 35 27 0a 23 0a 64 6f 5f 65 78 65 63  97465'.#.do_exec
3f10: 73 71 6c 5f 74 65 73 74 20 65 5f 65 78 70 72 2d  sql_test e_expr-
3f20: 31 30 2e 34 2e 31 20 7b 20 53 45 4c 45 43 54 20  10.4.1 { SELECT 
3f30: 74 79 70 65 6f 66 28 58 27 30 31 32 33 34 35 36  typeof(X'0123456
3f40: 37 38 39 41 42 43 44 45 46 27 29 20 7d 20 62 6c  789ABCDEF') } bl
3f50: 6f 62 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65  ob.do_execsql_te
3f60: 73 74 20 65 5f 65 78 70 72 2d 31 30 2e 34 2e 32  st e_expr-10.4.2
3f70: 20 7b 20 53 45 4c 45 43 54 20 74 79 70 65 6f 66   { SELECT typeof
3f80: 28 78 27 30 31 32 33 34 35 36 37 38 39 41 42 43  (x'0123456789ABC
3f90: 44 45 46 27 29 20 7d 20 62 6c 6f 62 0a 64 6f 5f  DEF') } blob.do_
3fa0: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 65 5f 65  execsql_test e_e
3fb0: 78 70 72 2d 31 30 2e 34 2e 33 20 7b 20 53 45 4c  xpr-10.4.3 { SEL
3fc0: 45 43 54 20 74 79 70 65 6f 66 28 58 27 30 31 32  ECT typeof(X'012
3fd0: 33 34 35 36 37 38 39 61 62 63 64 65 66 27 29 20  3456789abcdef') 
3fe0: 7d 20 62 6c 6f 62 0a 64 6f 5f 65 78 65 63 73 71  } blob.do_execsq
3ff0: 6c 5f 74 65 73 74 20 65 5f 65 78 70 72 2d 31 30  l_test e_expr-10
4000: 2e 34 2e 34 20 7b 20 53 45 4c 45 43 54 20 74 79  .4.4 { SELECT ty
4010: 70 65 6f 66 28 78 27 30 31 32 33 34 35 36 37 38  peof(x'012345678
4020: 39 61 62 63 64 65 66 27 29 20 7d 20 62 6c 6f 62  9abcdef') } blob
4030: 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74  .do_execsql_test
4040: 20 65 5f 65 78 70 72 2d 31 30 2e 34 2e 35 20 7b   e_expr-10.4.5 {
4050: 20 53 45 4c 45 43 54 20 74 79 70 65 6f 66 28 58   SELECT typeof(X
4060: 27 35 33 35 31 34 43 36 39 37 34 36 35 27 29 20  '53514C697465') 
4070: 20 20 20 20 7d 20 62 6c 6f 62 0a 0a 23 20 45 56      } blob..# EV
4080: 49 44 45 4e 43 45 2d 4f 46 3a 20 52 2d 32 33 39  IDENCE-OF: R-239
4090: 31 34 2d 35 31 34 37 36 20 41 20 6c 69 74 65 72  14-51476 A liter
40a0: 61 6c 20 76 61 6c 75 65 20 63 61 6e 20 61 6c 73  al value can als
40b0: 6f 20 62 65 20 74 68 65 20 74 6f 6b 65 6e 0a 23  o be the token.#
40c0: 20 22 4e 55 4c 4c 22 2e 0a 23 0a 64 6f 5f 65 78   "NULL"..#.do_ex
40d0: 65 63 73 71 6c 5f 74 65 73 74 20 65 5f 65 78 70  ecsql_test e_exp
40e0: 72 2d 31 30 2e 35 2e 31 20 7b 20 53 45 4c 45 43  r-10.5.1 { SELEC
40f0: 54 20 4e 55 4c 4c 20 20 20 20 20 20 20 20 20 7d  T NULL         }
4100: 20 7b 7b 7d 7d 0a 64 6f 5f 65 78 65 63 73 71 6c   {{}}.do_execsql
4110: 5f 74 65 73 74 20 65 5f 65 78 70 72 2d 31 30 2e  _test e_expr-10.
4120: 35 2e 32 20 7b 20 53 45 4c 45 43 54 20 74 79 70  5.2 { SELECT typ
4130: 65 6f 66 28 4e 55 4c 4c 29 20 7d 20 7b 6e 75 6c  eof(NULL) } {nul
4140: 6c 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  l}..#-----------
4150: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
4160: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
4170: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
4180: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23  --------------.#
4190: 20 54 65 73 74 20 73 74 61 74 65 6d 65 6e 74 73   Test statements
41a0: 20 72 65 6c 61 74 65 64 20 74 6f 20 62 6f 75 6e   related to boun
41b0: 64 20 70 61 72 61 6d 65 74 65 72 73 0a 23 0a 0a  d parameters.#..
41c0: 70 72 6f 63 20 70 61 72 61 6d 65 74 65 72 5f 74  proc parameter_t
41d0: 65 73 74 20 7b 74 6e 20 73 71 6c 20 70 61 72 61  est {tn sql para
41e0: 6d 73 20 72 65 73 75 6c 74 7d 20 7b 0a 20 20 73  ms result} {.  s
41f0: 65 74 20 73 74 6d 74 20 5b 73 71 6c 69 74 65 33  et stmt [sqlite3
4200: 5f 70 72 65 70 61 72 65 5f 76 32 20 64 62 20 24  _prepare_v2 db $
4210: 73 71 6c 20 2d 31 5d 0a 0a 20 20 66 6f 72 65 61  sql -1]..  forea
4220: 63 68 20 7b 6e 75 6d 62 65 72 20 6e 61 6d 65 7d  ch {number name}
4230: 20 24 70 61 72 61 6d 73 20 7b 0a 20 20 20 20 73   $params {.    s
4240: 65 74 20 6e 6d 20 5b 73 71 6c 69 74 65 33 5f 62  et nm [sqlite3_b
4250: 69 6e 64 5f 70 61 72 61 6d 65 74 65 72 5f 6e 61  ind_parameter_na
4260: 6d 65 20 24 73 74 6d 74 20 24 6e 75 6d 62 65 72  me $stmt $number
4270: 5d 0a 20 20 20 20 64 6f 5f 74 65 73 74 20 24 74  ].    do_test $t
4280: 6e 2e 6e 61 6d 65 2e 24 6e 75 6d 62 65 72 20 5b  n.name.$number [
4290: 6c 69 73 74 20 73 65 74 20 7b 7d 20 24 6e 6d 5d  list set {} $nm]
42a0: 20 24 6e 61 6d 65 0a 20 20 20 20 73 71 6c 69 74   $name.    sqlit
42b0: 65 33 5f 62 69 6e 64 5f 69 6e 74 20 24 73 74 6d  e3_bind_int $stm
42c0: 74 20 24 6e 75 6d 62 65 72 20 5b 65 78 70 72 20  t $number [expr 
42d0: 2d 31 20 2a 20 24 6e 75 6d 62 65 72 5d 0a 20 20  -1 * $number].  
42e0: 7d 0a 0a 20 20 73 71 6c 69 74 65 33 5f 73 74 65  }..  sqlite3_ste
42f0: 70 20 24 73 74 6d 74 0a 0a 20 20 73 65 74 20 72  p $stmt..  set r
4300: 65 73 20 5b 6c 69 73 74 5d 0a 20 20 66 6f 72 20  es [list].  for 
4310: 7b 73 65 74 20 69 20 30 7d 20 7b 24 69 20 3c 20  {set i 0} {$i < 
4320: 5b 73 71 6c 69 74 65 33 5f 63 6f 6c 75 6d 6e 5f  [sqlite3_column_
4330: 63 6f 75 6e 74 20 24 73 74 6d 74 5d 7d 20 7b 69  count $stmt]} {i
4340: 6e 63 72 20 69 7d 20 7b 0a 20 20 20 20 6c 61 70  ncr i} {.    lap
4350: 70 65 6e 64 20 72 65 73 20 5b 73 71 6c 69 74 65  pend res [sqlite
4360: 33 5f 63 6f 6c 75 6d 6e 5f 74 65 78 74 20 24 73  3_column_text $s
4370: 74 6d 74 20 24 69 5d 0a 20 20 7d 0a 0a 20 20 73  tmt $i].  }..  s
4380: 65 74 20 72 63 20 5b 73 71 6c 69 74 65 33 5f 66  et rc [sqlite3_f
4390: 69 6e 61 6c 69 7a 65 20 24 73 74 6d 74 5d 0a 20  inalize $stmt]. 
43a0: 20 64 6f 5f 74 65 73 74 20 24 74 6e 2e 72 63 20   do_test $tn.rc 
43b0: 5b 6c 69 73 74 20 73 65 74 20 7b 7d 20 24 72 63  [list set {} $rc
43c0: 5d 20 53 51 4c 49 54 45 5f 4f 4b 0a 20 20 64 6f  ] SQLITE_OK.  do
43d0: 5f 74 65 73 74 20 24 74 6e 2e 72 65 73 20 5b 6c  _test $tn.res [l
43e0: 69 73 74 20 73 65 74 20 7b 7d 20 24 72 65 73 5d  ist set {} $res]
43f0: 20 24 72 65 73 75 6c 74 0a 7d 0a 0a 23 20 45 56   $result.}..# EV
4400: 49 44 45 4e 43 45 2d 4f 46 3a 20 52 2d 33 33 35  IDENCE-OF: R-335
4410: 30 39 2d 33 39 34 35 38 20 41 20 71 75 65 73 74  09-39458 A quest
4420: 69 6f 6e 20 6d 61 72 6b 20 66 6f 6c 6c 6f 77 65  ion mark followe
4430: 64 20 62 79 20 61 20 6e 75 6d 62 65 72 20 4e 4e  d by a number NN
4440: 4e 0a 23 20 68 6f 6c 64 73 20 61 20 73 70 6f 74  N.# holds a spot
4450: 20 66 6f 72 20 74 68 65 20 4e 4e 4e 2d 74 68 20   for the NNN-th 
4460: 70 61 72 61 6d 65 74 65 72 2e 20 4e 4e 4e 20 6d  parameter. NNN m
4470: 75 73 74 20 62 65 20 62 65 74 77 65 65 6e 20 31  ust be between 1
4480: 20 61 6e 64 0a 23 20 53 51 4c 49 54 45 5f 4d 41   and.# SQLITE_MA
4490: 58 5f 56 41 52 49 41 42 4c 45 5f 4e 55 4d 42 45  X_VARIABLE_NUMBE
44a0: 52 2e 0a 23 0a 73 65 74 20 6d 76 6e 20 24 53 51  R..#.set mvn $SQ
44b0: 4c 49 54 45 5f 4d 41 58 5f 56 41 52 49 41 42 4c  LITE_MAX_VARIABL
44c0: 45 5f 4e 55 4d 42 45 52 0a 70 61 72 61 6d 65 74  E_NUMBER.paramet
44d0: 65 72 5f 74 65 73 74 20 65 5f 65 78 70 72 2d 31  er_test e_expr-1
44e0: 31 2e 31 20 22 0a 20 20 53 45 4c 45 43 54 20 3f  1.1 ".  SELECT ?
44f0: 31 2c 20 3f 31 32 33 2c 20 3f 24 53 51 4c 49 54  1, ?123, ?$SQLIT
4500: 45 5f 4d 41 58 5f 56 41 52 49 41 42 4c 45 5f 4e  E_MAX_VARIABLE_N
4510: 55 4d 42 45 52 2c 20 3f 31 32 33 2c 20 3f 34 0a  UMBER, ?123, ?4.
4520: 22 20 20 20 22 31 20 3f 31 20 20 31 32 33 20 3f  "   "1 ?1  123 ?
4530: 31 32 33 20 24 6d 76 6e 20 3f 24 6d 76 6e 20 34  123 $mvn ?$mvn 4
4540: 20 3f 34 22 20 20 20 22 2d 31 20 2d 31 32 33 20   ?4"   "-1 -123 
4550: 2d 24 6d 76 6e 20 2d 31 32 33 20 2d 34 22 0a 0a  -$mvn -123 -4"..
4560: 73 65 74 20 65 72 72 6d 73 67 20 22 76 61 72 69  set errmsg "vari
4570: 61 62 6c 65 20 6e 75 6d 62 65 72 20 6d 75 73 74  able number must
4580: 20 62 65 20 62 65 74 77 65 65 6e 20 3f 31 20 61   be between ?1 a
4590: 6e 64 20 3f 24 53 51 4c 49 54 45 5f 4d 41 58 5f  nd ?$SQLITE_MAX_
45a0: 56 41 52 49 41 42 4c 45 5f 4e 55 4d 42 45 52 22  VARIABLE_NUMBER"
45b0: 0a 66 6f 72 65 61 63 68 20 7b 74 6e 20 70 61 72  .foreach {tn par
45c0: 61 6d 5f 6e 75 6d 62 65 72 7d 20 5b 6c 69 73 74  am_number} [list
45d0: 20 5c 0a 20 20 32 20 20 30 20 20 20 20 20 20 20   \.  2  0       
45e0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
45f0: 20 20 20 20 20 20 20 20 20 20 20 20 20 5c 0a 20               \. 
4600: 20 33 20 20 5b 65 78 70 72 20 24 53 51 4c 49 54   3  [expr $SQLIT
4610: 45 5f 4d 41 58 5f 56 41 52 49 41 42 4c 45 5f 4e  E_MAX_VARIABLE_N
4620: 55 4d 42 45 52 2b 31 5d 20 5c 0a 20 20 34 20 20  UMBER+1] \.  4  
4630: 5b 65 78 70 72 20 24 53 51 4c 49 54 45 5f 4d 41  [expr $SQLITE_MA
4640: 58 5f 56 41 52 49 41 42 4c 45 5f 4e 55 4d 42 45  X_VARIABLE_NUMBE
4650: 52 2b 32 5d 20 5c 0a 20 20 35 20 20 31 32 33 34  R+2] \.  5  1234
4660: 35 36 37 38 39 30 33 34 35 36 37 38 39 30 33 34  5678903456789034
4670: 35 36 37 38 39 30 32 33 34 35 36 37 38 39 30 20  567890234567890 
4680: 20 5c 0a 20 20 36 20 20 32 31 34 37 34 38 33 36   \.  6  21474836
4690: 34 38 20 20 20 20 20 20 20 20 20 20 20 20 20 20  48              
46a0: 20 20 20 20 20 20 20 20 20 20 20 20 20 5c 0a 20               \. 
46b0: 20 37 20 20 32 31 34 37 34 38 33 36 34 39 20 20   7  2147483649  
46c0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
46d0: 20 20 20 20 20 20 20 20 20 5c 0a 20 20 38 20 20           \.  8  
46e0: 34 32 39 34 39 36 37 32 39 36 20 20 20 20 20 20  4294967296      
46f0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
4700: 20 20 20 20 20 5c 0a 20 20 39 20 20 34 32 39 34       \.  9  4294
4710: 39 36 37 32 39 37 20 20 20 20 20 20 20 20 20 20  967297          
4720: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
4730: 20 5c 0a 20 20 31 30 20 39 32 32 33 33 37 32 30   \.  10 92233720
4740: 33 36 38 35 34 37 37 35 38 30 38 20 20 20 20 20  36854775808     
4750: 20 20 20 20 20 20 20 20 20 20 20 20 20 5c 0a 20               \. 
4760: 20 31 31 20 39 32 32 33 33 37 32 30 33 36 38 35   11 922337203685
4770: 34 37 37 35 38 30 39 20 20 20 20 20 20 20 20 20  4775809         
4780: 20 20 20 20 20 20 20 20 20 5c 0a 20 20 31 32 20           \.  12 
4790: 31 38 34 34 36 37 34 34 30 37 33 37 30 39 35 35  1844674407370955
47a0: 31 36 31 36 20 20 20 20 20 20 20 20 20 20 20 20  1616            
47b0: 20 20 20 20 20 5c 0a 20 20 31 33 20 31 38 34 34       \.  13 1844
47c0: 36 37 34 34 30 37 33 37 30 39 35 35 31 36 31 37  6744073709551617
47d0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
47e0: 20 5c 0a 5d 20 7b 0a 20 20 64 6f 5f 63 61 74 63   \.] {.  do_catc
47f0: 68 73 71 6c 5f 74 65 73 74 20 65 5f 65 78 70 72  hsql_test e_expr
4800: 2d 31 31 2e 31 2e 24 74 6e 20 22 53 45 4c 45 43  -11.1.$tn "SELEC
4810: 54 20 3f 24 70 61 72 61 6d 5f 6e 75 6d 62 65 72  T ?$param_number
4820: 22 20 5b 6c 69 73 74 20 31 20 24 65 72 72 6d 73  " [list 1 $errms
4830: 67 5d 0a 7d 0a 0a 23 20 45 56 49 44 45 4e 43 45  g].}..# EVIDENCE
4840: 2d 4f 46 3a 20 52 2d 33 33 36 37 30 2d 33 36 30  -OF: R-33670-360
4850: 39 37 20 41 20 71 75 65 73 74 69 6f 6e 20 6d 61  97 A question ma
4860: 72 6b 20 74 68 61 74 20 69 73 20 6e 6f 74 20 66  rk that is not f
4870: 6f 6c 6c 6f 77 65 64 20 62 79 20 61 0a 23 20 6e  ollowed by a.# n
4880: 75 6d 62 65 72 20 63 72 65 61 74 65 73 20 61 20  umber creates a 
4890: 70 61 72 61 6d 65 74 65 72 20 77 69 74 68 20 61  parameter with a
48a0: 20 6e 75 6d 62 65 72 20 6f 6e 65 20 67 72 65 61   number one grea
48b0: 74 65 72 20 74 68 61 6e 20 74 68 65 20 6c 61 72  ter than the lar
48c0: 67 65 73 74 0a 23 20 70 61 72 61 6d 65 74 65 72  gest.# parameter
48d0: 20 6e 75 6d 62 65 72 20 61 6c 72 65 61 64 79 20   number already 
48e0: 61 73 73 69 67 6e 65 64 2e 0a 23 0a 23 20 45 56  assigned..#.# EV
48f0: 49 44 45 4e 43 45 2d 4f 46 3a 20 52 2d 34 32 39  IDENCE-OF: R-429
4900: 33 38 2d 30 37 30 33 30 20 49 66 20 74 68 69 73  38-07030 If this
4910: 20 6d 65 61 6e 73 20 74 68 65 20 70 61 72 61 6d   means the param
4920: 65 74 65 72 20 6e 75 6d 62 65 72 20 69 73 0a 23  eter number is.#
4930: 20 67 72 65 61 74 65 72 20 74 68 61 6e 20 53 51   greater than SQ
4940: 4c 49 54 45 5f 4d 41 58 5f 56 41 52 49 41 42 4c  LITE_MAX_VARIABL
4950: 45 5f 4e 55 4d 42 45 52 2c 20 69 74 20 69 73 20  E_NUMBER, it is 
4960: 61 6e 20 65 72 72 6f 72 2e 0a 23 0a 70 61 72 61  an error..#.para
4970: 6d 65 74 65 72 5f 74 65 73 74 20 65 5f 65 78 70  meter_test e_exp
4980: 72 2d 31 31 2e 32 2e 31 20 22 53 45 4c 45 43 54  r-11.2.1 "SELECT
4990: 20 3f 22 20 20 20 20 20 20 20 20 20 20 7b 31 20   ?"          {1 
49a0: 7b 7d 7d 20 20 20 20 20 20 20 2d 31 0a 70 61 72  {}}       -1.par
49b0: 61 6d 65 74 65 72 5f 74 65 73 74 20 65 5f 65 78  ameter_test e_ex
49c0: 70 72 2d 31 31 2e 32 2e 32 20 22 53 45 4c 45 43  pr-11.2.2 "SELEC
49d0: 54 20 3f 2c 20 3f 22 20 20 20 20 20 20 20 7b 31  T ?, ?"       {1
49e0: 20 7b 7d 20 32 20 7b 7d 7d 20 20 7b 2d 31 20 2d   {} 2 {}}  {-1 -
49f0: 32 7d 0a 70 61 72 61 6d 65 74 65 72 5f 74 65 73  2}.parameter_tes
4a00: 74 20 65 5f 65 78 70 72 2d 31 31 2e 32 2e 33 20  t e_expr-11.2.3 
4a10: 22 53 45 4c 45 43 54 20 3f 35 2c 20 3f 22 20 20  "SELECT ?5, ?"  
4a20: 20 20 20 20 7b 35 20 3f 35 20 36 20 7b 7d 7d 20      {5 ?5 6 {}} 
4a30: 20 7b 2d 35 20 2d 36 7d 0a 70 61 72 61 6d 65 74   {-5 -6}.paramet
4a40: 65 72 5f 74 65 73 74 20 65 5f 65 78 70 72 2d 31  er_test e_expr-1
4a50: 31 2e 32 2e 34 20 22 53 45 4c 45 43 54 20 3f 2c  1.2.4 "SELECT ?,
4a60: 20 3f 35 22 20 20 20 20 20 20 7b 31 20 7b 7d 20   ?5"      {1 {} 
4a70: 35 20 3f 35 7d 20 20 7b 2d 31 20 2d 35 7d 0a 70  5 ?5}  {-1 -5}.p
4a80: 61 72 61 6d 65 74 65 72 5f 74 65 73 74 20 65 5f  arameter_test e_
4a90: 65 78 70 72 2d 31 31 2e 32 2e 35 20 22 53 45 4c  expr-11.2.5 "SEL
4aa0: 45 43 54 20 3f 2c 20 3f 34 35 36 2c 20 3f 22 20  ECT ?, ?456, ?" 
4ab0: 7b 0a 20 20 31 20 7b 7d 20 34 35 36 20 3f 34 35  {.  1 {} 456 ?45
4ac0: 36 20 34 35 37 20 7b 7d 0a 7d 20 20 7b 2d 31 20  6 457 {}.}  {-1 
4ad0: 2d 34 35 36 20 2d 34 35 37 7d 0a 70 61 72 61 6d  -456 -457}.param
4ae0: 65 74 65 72 5f 74 65 73 74 20 65 5f 65 78 70 72  eter_test e_expr
4af0: 2d 31 31 2e 32 2e 35 20 22 53 45 4c 45 43 54 20  -11.2.5 "SELECT 
4b00: 3f 2c 20 3f 34 35 36 2c 20 3f 34 2c 20 3f 22 20  ?, ?456, ?4, ?" 
4b10: 7b 0a 20 20 31 20 7b 7d 20 34 35 36 20 3f 34 35  {.  1 {} 456 ?45
4b20: 36 20 34 20 3f 34 20 34 35 37 20 7b 7d 0a 7d 20  6 4 ?4 457 {}.} 
4b30: 20 7b 2d 31 20 2d 34 35 36 20 2d 34 20 2d 34 35   {-1 -456 -4 -45
4b40: 37 7d 0a 66 6f 72 65 61 63 68 20 7b 74 6e 20 73  7}.foreach {tn s
4b50: 71 6c 7d 20 5b 6c 69 73 74 20 20 20 20 20 20 20  ql} [list       
4b60: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
4b70: 20 20 20 20 5c 0a 20 20 31 20 20 22 53 45 4c 45      \.  1  "SELE
4b80: 43 54 20 3f 24 6d 76 6e 2c 20 3f 22 20 20 20 20  CT ?$mvn, ?"    
4b90: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
4ba0: 20 20 20 20 20 20 20 5c 0a 20 20 32 20 20 22 53         \.  2  "S
4bb0: 45 4c 45 43 54 20 3f 5b 65 78 70 72 20 24 6d 76  ELECT ?[expr $mv
4bc0: 6e 2d 35 5d 2c 20 3f 2c 20 3f 2c 20 3f 2c 20 3f  n-5], ?, ?, ?, ?
4bd0: 2c 20 3f 2c 20 3f 22 20 20 20 5c 0a 20 20 33 20  , ?, ?"   \.  3 
4be0: 20 22 53 45 4c 45 43 54 20 3f 5b 65 78 70 72 20   "SELECT ?[expr 
4bf0: 24 6d 76 6e 5d 2c 20 3f 35 2c 20 3f 36 2c 20 3f  $mvn], ?5, ?6, ?
4c00: 22 20 20 20 20 20 20 20 20 20 20 20 20 5c 0a 5d  "            \.]
4c10: 20 7b 0a 20 20 64 6f 5f 63 61 74 63 68 73 71 6c   {.  do_catchsql
4c20: 5f 74 65 73 74 20 65 5f 65 78 70 72 2d 31 31 2e  _test e_expr-11.
4c30: 33 2e 24 74 6e 20 24 73 71 6c 20 5b 6c 69 73 74  3.$tn $sql [list
4c40: 20 31 20 7b 74 6f 6f 20 6d 61 6e 79 20 53 51 4c   1 {too many SQL
4c50: 20 76 61 72 69 61 62 6c 65 73 7d 5d 0a 7d 0a 0a   variables}].}..
4c60: 23 20 45 56 49 44 45 4e 43 45 2d 4f 46 3a 20 52  # EVIDENCE-OF: R
4c70: 2d 31 31 36 32 30 2d 32 32 37 34 33 20 41 20 63  -11620-22743 A c
4c80: 6f 6c 6f 6e 20 66 6f 6c 6c 6f 77 65 64 20 62 79  olon followed by
4c90: 20 61 6e 20 69 64 65 6e 74 69 66 69 65 72 20 6e   an identifier n
4ca0: 61 6d 65 0a 23 20 68 6f 6c 64 73 20 61 20 73 70  ame.# holds a sp
4cb0: 6f 74 20 66 6f 72 20 61 20 6e 61 6d 65 64 20 70  ot for a named p
4cc0: 61 72 61 6d 65 74 65 72 20 77 69 74 68 20 74 68  arameter with th
4cd0: 65 20 6e 61 6d 65 20 3a 41 41 41 41 2e 0a 23 0a  e name :AAAA..#.
4ce0: 23 20 49 64 65 6e 74 69 66 69 65 72 73 20 69 6e  # Identifiers in
4cf0: 20 53 51 4c 69 74 65 20 63 6f 6e 73 69 73 74 20   SQLite consist 
4d00: 6f 66 20 61 6c 70 68 61 6e 75 6d 65 72 69 63 2c  of alphanumeric,
4d10: 20 27 5f 27 20 61 6e 64 20 27 24 27 20 63 68 61   '_' and '$' cha
4d20: 72 61 63 74 65 72 73 2c 0a 23 20 61 6e 64 20 61  racters,.# and a
4d30: 6e 79 20 55 54 46 20 63 68 61 72 61 63 74 65 72  ny UTF character
4d40: 73 20 77 69 74 68 20 63 6f 64 65 70 6f 69 6e 74  s with codepoint
4d50: 73 20 6c 61 72 67 65 72 20 74 68 61 6e 20 31 32  s larger than 12
4d60: 37 20 28 6e 6f 6e 2d 41 53 43 49 49 20 0a 23 20  7 (non-ASCII .# 
4d70: 63 68 61 72 61 63 74 65 72 73 29 2e 0a 23 0a 70  characters)..#.p
4d80: 61 72 61 6d 65 74 65 72 5f 74 65 73 74 20 65 5f  arameter_test e_
4d90: 65 78 70 72 2d 31 31 2e 32 2e 31 20 7b 53 45 4c  expr-11.2.1 {SEL
4da0: 45 43 54 20 3a 41 41 41 41 7d 20 20 20 20 20 20  ECT :AAAA}      
4db0: 20 20 20 7b 31 20 3a 41 41 41 41 7d 20 20 20 20     {1 :AAAA}    
4dc0: 20 20 20 2d 31 0a 70 61 72 61 6d 65 74 65 72 5f     -1.parameter_
4dd0: 74 65 73 74 20 65 5f 65 78 70 72 2d 31 31 2e 32  test e_expr-11.2
4de0: 2e 32 20 7b 53 45 4c 45 43 54 20 3a 31 32 33 7d  .2 {SELECT :123}
4df0: 20 20 20 20 20 20 20 20 20 20 7b 31 20 3a 31 32            {1 :12
4e00: 33 7d 20 20 20 20 20 20 20 20 2d 31 0a 70 61 72  3}        -1.par
4e10: 61 6d 65 74 65 72 5f 74 65 73 74 20 65 5f 65 78  ameter_test e_ex
4e20: 70 72 2d 31 31 2e 32 2e 33 20 7b 53 45 4c 45 43  pr-11.2.3 {SELEC
4e30: 54 20 3a 5f 5f 7d 20 20 20 20 20 20 20 20 20 20  T :__}          
4e40: 20 7b 31 20 3a 5f 5f 7d 20 20 20 20 20 20 20 20   {1 :__}        
4e50: 20 2d 31 0a 70 61 72 61 6d 65 74 65 72 5f 74 65   -1.parameter_te
4e60: 73 74 20 65 5f 65 78 70 72 2d 31 31 2e 32 2e 34  st e_expr-11.2.4
4e70: 20 7b 53 45 4c 45 43 54 20 3a 5f 24 5f 7d 20 20   {SELECT :_$_}  
4e80: 20 20 20 20 20 20 20 20 7b 31 20 3a 5f 24 5f 7d          {1 :_$_}
4e90: 20 20 20 20 20 20 20 20 2d 31 0a 70 61 72 61 6d          -1.param
4ea0: 65 74 65 72 5f 74 65 73 74 20 65 5f 65 78 70 72  eter_test e_expr
4eb0: 2d 31 31 2e 32 2e 35 20 22 0a 20 20 53 45 4c 45  -11.2.5 ".  SELE
4ec0: 43 54 20 3a 5c 75 30 65 34 30 5c 75 30 65 32 64  CT :\u0e40\u0e2d
4ed0: 5c 75 30 65 32 38 5c 75 30 65 30 32 5c 75 30 65  \u0e28\u0e02\u0e
4ee0: 33 39 5c 75 30 65 34 30 5c 75 30 65 32 64 5c 75  39\u0e40\u0e2d\u
4ef0: 30 65 32 35 0a 22 20 22 31 20 3a 5c 75 30 65 34  0e25." "1 :\u0e4
4f00: 30 5c 75 30 65 32 64 5c 75 30 65 32 38 5c 75 30  0\u0e2d\u0e28\u0
4f10: 65 30 32 5c 75 30 65 33 39 5c 75 30 65 34 30 5c  e02\u0e39\u0e40\
4f20: 75 30 65 32 64 5c 75 30 65 32 35 22 20 2d 31 0a  u0e2d\u0e25" -1.
4f30: 70 61 72 61 6d 65 74 65 72 5f 74 65 73 74 20 65  parameter_test e
4f40: 5f 65 78 70 72 2d 31 31 2e 32 2e 36 20 22 53 45  _expr-11.2.6 "SE
4f50: 4c 45 43 54 20 3a 5c 75 30 30 38 30 22 20 22 31  LECT :\u0080" "1
4f60: 20 3a 5c 75 30 30 38 30 22 20 2d 31 0a 0a 23 20   :\u0080" -1..# 
4f70: 45 56 49 44 45 4e 43 45 2d 4f 46 3a 20 52 2d 34  EVIDENCE-OF: R-4
4f80: 39 37 38 33 2d 36 31 32 37 39 20 41 6e 20 22 61  9783-61279 An "a
4f90: 74 22 20 73 69 67 6e 20 77 6f 72 6b 73 20 65 78  t" sign works ex
4fa0: 61 63 74 6c 79 20 6c 69 6b 65 20 61 20 63 6f 6c  actly like a col
4fb0: 6f 6e 2c 0a 23 20 65 78 63 65 70 74 20 74 68 61  on,.# except tha
4fc0: 74 20 74 68 65 20 6e 61 6d 65 20 6f 66 20 74 68  t the name of th
4fd0: 65 20 70 61 72 61 6d 65 74 65 72 20 63 72 65 61  e parameter crea
4fe0: 74 65 64 20 69 73 20 40 41 41 41 41 2e 0a 23 0a  ted is @AAAA..#.
4ff0: 70 61 72 61 6d 65 74 65 72 5f 74 65 73 74 20 65  parameter_test e
5000: 5f 65 78 70 72 2d 31 31 2e 33 2e 31 20 7b 53 45  _expr-11.3.1 {SE
5010: 4c 45 43 54 20 40 41 41 41 41 7d 20 20 20 20 20  LECT @AAAA}     
5020: 20 20 20 20 7b 31 20 40 41 41 41 41 7d 20 20 20      {1 @AAAA}   
5030: 20 20 20 20 2d 31 0a 70 61 72 61 6d 65 74 65 72      -1.parameter
5040: 5f 74 65 73 74 20 65 5f 65 78 70 72 2d 31 31 2e  _test e_expr-11.
5050: 33 2e 32 20 7b 53 45 4c 45 43 54 20 40 31 32 33  3.2 {SELECT @123
5060: 7d 20 20 20 20 20 20 20 20 20 20 7b 31 20 40 31  }          {1 @1
5070: 32 33 7d 20 20 20 20 20 20 20 20 2d 31 0a 70 61  23}        -1.pa
5080: 72 61 6d 65 74 65 72 5f 74 65 73 74 20 65 5f 65  rameter_test e_e
5090: 78 70 72 2d 31 31 2e 33 2e 33 20 7b 53 45 4c 45  xpr-11.3.3 {SELE
50a0: 43 54 20 40 5f 5f 7d 20 20 20 20 20 20 20 20 20  CT @__}         
50b0: 20 20 7b 31 20 40 5f 5f 7d 20 20 20 20 20 20 20    {1 @__}       
50c0: 20 20 2d 31 0a 70 61 72 61 6d 65 74 65 72 5f 74    -1.parameter_t
50d0: 65 73 74 20 65 5f 65 78 70 72 2d 31 31 2e 33 2e  est e_expr-11.3.
50e0: 34 20 7b 53 45 4c 45 43 54 20 40 5f 24 5f 7d 20  4 {SELECT @_$_} 
50f0: 20 20 20 20 20 20 20 20 20 7b 31 20 40 5f 24 5f           {1 @_$_
5100: 7d 20 20 20 20 20 20 20 20 2d 31 0a 70 61 72 61  }        -1.para
5110: 6d 65 74 65 72 5f 74 65 73 74 20 65 5f 65 78 70  meter_test e_exp
5120: 72 2d 31 31 2e 33 2e 35 20 22 0a 20 20 53 45 4c  r-11.3.5 ".  SEL
5130: 45 43 54 20 40 5c 75 30 65 34 30 5c 75 30 65 32  ECT @\u0e40\u0e2
5140: 64 5c 75 30 65 32 38 5c 75 30 65 30 32 5c 75 30  d\u0e28\u0e02\u0
5150: 65 33 39 5c 75 30 65 34 30 5c 75 30 65 32 64 5c  e39\u0e40\u0e2d\
5160: 75 30 65 32 35 0a 22 20 22 31 20 40 5c 75 30 65  u0e25." "1 @\u0e
5170: 34 30 5c 75 30 65 32 64 5c 75 30 65 32 38 5c 75  40\u0e2d\u0e28\u
5180: 30 65 30 32 5c 75 30 65 33 39 5c 75 30 65 34 30  0e02\u0e39\u0e40
5190: 5c 75 30 65 32 64 5c 75 30 65 32 35 22 20 2d 31  \u0e2d\u0e25" -1
51a0: 0a 70 61 72 61 6d 65 74 65 72 5f 74 65 73 74 20  .parameter_test 
51b0: 65 5f 65 78 70 72 2d 31 31 2e 33 2e 36 20 22 53  e_expr-11.3.6 "S
51c0: 45 4c 45 43 54 20 40 5c 75 30 30 38 30 22 20 22  ELECT @\u0080" "
51d0: 31 20 40 5c 75 30 30 38 30 22 20 2d 31 0a 0a 23  1 @\u0080" -1..#
51e0: 20 45 56 49 44 45 4e 43 45 2d 4f 46 3a 20 52 2d   EVIDENCE-OF: R-
51f0: 36 32 36 31 30 2d 35 31 33 32 39 20 41 20 64 6f  62610-51329 A do
5200: 6c 6c 61 72 2d 73 69 67 6e 20 66 6f 6c 6c 6f 77  llar-sign follow
5210: 65 64 20 62 79 20 61 6e 20 69 64 65 6e 74 69 66  ed by an identif
5220: 69 65 72 0a 23 20 6e 61 6d 65 20 61 6c 73 6f 20  ier.# name also 
5230: 68 6f 6c 64 73 20 61 20 73 70 6f 74 20 66 6f 72  holds a spot for
5240: 20 61 20 6e 61 6d 65 64 20 70 61 72 61 6d 65 74   a named paramet
5250: 65 72 20 77 69 74 68 20 74 68 65 20 6e 61 6d 65  er with the name
5260: 20 24 41 41 41 41 2e 0a 23 0a 23 20 45 56 49 44   $AAAA..#.# EVID
5270: 45 4e 43 45 2d 4f 46 3a 20 52 2d 35 35 30 32 35  ENCE-OF: R-55025
5280: 2d 32 31 30 34 32 20 54 68 65 20 69 64 65 6e 74  -21042 The ident
5290: 69 66 69 65 72 20 6e 61 6d 65 20 69 6e 20 74 68  ifier name in th
52a0: 69 73 20 63 61 73 65 20 63 61 6e 0a 23 20 69 6e  is case can.# in
52b0: 63 6c 75 64 65 20 6f 6e 65 20 6f 72 20 6d 6f 72  clude one or mor
52c0: 65 20 6f 63 63 75 72 72 65 6e 63 65 73 20 6f 66  e occurrences of
52d0: 20 22 3a 3a 22 20 61 6e 64 20 61 20 73 75 66 66   "::" and a suff
52e0: 69 78 20 65 6e 63 6c 6f 73 65 64 20 69 6e 0a 23  ix enclosed in.#
52f0: 20 22 28 2e 2e 2e 29 22 20 63 6f 6e 74 61 69 6e   "(...)" contain
5300: 69 6e 67 20 61 6e 79 20 74 65 78 74 20 61 74 20  ing any text at 
5310: 61 6c 6c 2e 0a 23 0a 23 20 4e 6f 74 65 3a 20 4c  all..#.# Note: L
5320: 6f 6f 6b 73 20 6c 69 6b 65 20 61 6e 20 69 64 65  ooks like an ide
5330: 6e 74 69 66 69 65 72 20 63 61 6e 6e 6f 74 20 63  ntifier cannot c
5340: 6f 6e 73 69 73 74 20 65 6e 74 69 72 65 6c 79 20  onsist entirely 
5350: 6f 66 20 22 3a 3a 22 20 0a 23 20 63 68 61 72 61  of "::" .# chara
5360: 63 74 65 72 73 20 6f 72 20 6a 75 73 74 20 61 20  cters or just a 
5370: 73 75 66 66 69 78 2e 20 41 6c 73 6f 2c 20 74 68  suffix. Also, th
5380: 65 20 6f 74 68 65 72 20 6e 61 6d 65 64 20 76 61  e other named va
5390: 72 69 61 62 6c 65 20 63 68 61 72 61 63 74 65 72  riable character
53a0: 73 0a 23 20 28 3a 20 61 6e 64 20 40 29 20 77 6f  s.# (: and @) wo
53b0: 72 6b 20 74 68 65 20 73 61 6d 65 20 77 61 79 20  rk the same way 
53c0: 69 6e 74 65 72 6e 61 6c 6c 79 2e 20 57 68 79 20  internally. Why 
53d0: 6e 6f 74 20 6a 75 73 74 20 64 6f 63 75 6d 65 6e  not just documen
53e0: 74 20 69 74 20 74 68 61 74 20 77 61 79 3f 0a 23  t it that way?.#
53f0: 0a 70 61 72 61 6d 65 74 65 72 5f 74 65 73 74 20  .parameter_test 
5400: 65 5f 65 78 70 72 2d 31 31 2e 34 2e 31 20 7b 53  e_expr-11.4.1 {S
5410: 45 4c 45 43 54 20 24 41 41 41 41 7d 20 20 20 20  ELECT $AAAA}    
5420: 20 20 20 20 20 7b 31 20 24 41 41 41 41 7d 20 20       {1 $AAAA}  
5430: 20 20 20 20 20 2d 31 0a 70 61 72 61 6d 65 74 65       -1.paramete
5440: 72 5f 74 65 73 74 20 65 5f 65 78 70 72 2d 31 31  r_test e_expr-11
5450: 2e 34 2e 32 20 7b 53 45 4c 45 43 54 20 24 31 32  .4.2 {SELECT $12
5460: 33 7d 20 20 20 20 20 20 20 20 20 20 7b 31 20 24  3}          {1 $
5470: 31 32 33 7d 20 20 20 20 20 20 20 20 2d 31 0a 70  123}        -1.p
5480: 61 72 61 6d 65 74 65 72 5f 74 65 73 74 20 65 5f  arameter_test e_
5490: 65 78 70 72 2d 31 31 2e 34 2e 33 20 7b 53 45 4c  expr-11.4.3 {SEL
54a0: 45 43 54 20 24 5f 5f 7d 20 20 20 20 20 20 20 20  ECT $__}        
54b0: 20 20 20 7b 31 20 24 5f 5f 7d 20 20 20 20 20 20     {1 $__}      
54c0: 20 20 20 2d 31 0a 70 61 72 61 6d 65 74 65 72 5f     -1.parameter_
54d0: 74 65 73 74 20 65 5f 65 78 70 72 2d 31 31 2e 34  test e_expr-11.4
54e0: 2e 34 20 7b 53 45 4c 45 43 54 20 24 5f 24 5f 7d  .4 {SELECT $_$_}
54f0: 20 20 20 20 20 20 20 20 20 20 7b 31 20 24 5f 24            {1 $_$
5500: 5f 7d 20 20 20 20 20 20 20 20 2d 31 0a 70 61 72  _}        -1.par
5510: 61 6d 65 74 65 72 5f 74 65 73 74 20 65 5f 65 78  ameter_test e_ex
5520: 70 72 2d 31 31 2e 34 2e 35 20 22 0a 20 20 53 45  pr-11.4.5 ".  SE
5530: 4c 45 43 54 20 5c 24 5c 75 30 65 34 30 5c 75 30  LECT \$\u0e40\u0
5540: 65 32 64 5c 75 30 65 32 38 5c 75 30 65 30 32 5c  e2d\u0e28\u0e02\
5550: 75 30 65 33 39 5c 75 30 65 34 30 5c 75 30 65 32  u0e39\u0e40\u0e2
5560: 64 5c 75 30 65 32 35 0a 22 20 22 31 20 5c 24 5c  d\u0e25." "1 \$\
5570: 75 30 65 34 30 5c 75 30 65 32 64 5c 75 30 65 32  u0e40\u0e2d\u0e2
5580: 38 5c 75 30 65 30 32 5c 75 30 65 33 39 5c 75 30  8\u0e02\u0e39\u0
5590: 65 34 30 5c 75 30 65 32 64 5c 75 30 65 32 35 22  e40\u0e2d\u0e25"
55a0: 20 2d 31 0a 70 61 72 61 6d 65 74 65 72 5f 74 65   -1.parameter_te
55b0: 73 74 20 65 5f 65 78 70 72 2d 31 31 2e 34 2e 36  st e_expr-11.4.6
55c0: 20 22 53 45 4c 45 43 54 20 5c 24 5c 75 30 30 38   "SELECT \$\u008
55d0: 30 22 20 22 31 20 5c 24 5c 75 30 30 38 30 22 20  0" "1 \$\u0080" 
55e0: 2d 31 0a 0a 70 61 72 61 6d 65 74 65 72 5f 74 65  -1..parameter_te
55f0: 73 74 20 65 5f 65 78 70 72 2d 31 31 2e 35 2e 31  st e_expr-11.5.1
5600: 20 7b 53 45 4c 45 43 54 20 24 3a 3a 3a 3a 61 28   {SELECT $::::a(
5610: 2b 2b 2d 2d 2b 2b 29 7d 20 7b 31 20 24 3a 3a 3a  ++--++)} {1 $:::
5620: 3a 61 28 2b 2b 2d 2d 2b 2b 29 7d 20 2d 31 0a 70  :a(++--++)} -1.p
5630: 61 72 61 6d 65 74 65 72 5f 74 65 73 74 20 65 5f  arameter_test e_
5640: 65 78 70 72 2d 31 31 2e 35 2e 32 20 7b 53 45 4c  expr-11.5.2 {SEL
5650: 45 43 54 20 24 3a 3a 61 28 29 7d 20 7b 31 20 24  ECT $::a()} {1 $
5660: 3a 3a 61 28 29 7d 20 2d 31 0a 70 61 72 61 6d 65  ::a()} -1.parame
5670: 74 65 72 5f 74 65 73 74 20 65 5f 65 78 70 72 2d  ter_test e_expr-
5680: 31 31 2e 35 2e 33 20 7b 53 45 4c 45 43 54 20 24  11.5.3 {SELECT $
5690: 3a 3a 31 28 3a 3a 23 24 29 7d 20 7b 31 20 24 3a  ::1(::#$)} {1 $:
56a0: 3a 31 28 3a 3a 23 24 29 7d 20 2d 31 0a 20 0a 23  :1(::#$)} -1. .#
56b0: 20 45 56 49 44 45 4e 43 45 2d 4f 46 3a 20 52 2d   EVIDENCE-OF: R-
56c0: 31 31 33 37 30 2d 30 34 35 32 30 20 4e 61 6d 65  11370-04520 Name
56d0: 64 20 70 61 72 61 6d 65 74 65 72 73 20 61 72 65  d parameters are
56e0: 20 61 6c 73 6f 20 6e 75 6d 62 65 72 65 64 2e 20   also numbered. 
56f0: 54 68 65 0a 23 20 6e 75 6d 62 65 72 20 61 73 73  The.# number ass
5700: 69 67 6e 65 64 20 69 73 20 6f 6e 65 20 67 72 65  igned is one gre
5710: 61 74 65 72 20 74 68 61 6e 20 74 68 65 20 6c 61  ater than the la
5720: 72 67 65 73 74 20 70 61 72 61 6d 65 74 65 72 20  rgest parameter 
5730: 6e 75 6d 62 65 72 0a 23 20 61 6c 72 65 61 64 79  number.# already
5740: 20 61 73 73 69 67 6e 65 64 2e 0a 23 0a 23 20 45   assigned..#.# E
5750: 56 49 44 45 4e 43 45 2d 4f 46 3a 20 52 2d 34 32  VIDENCE-OF: R-42
5760: 36 32 30 2d 32 32 31 38 34 20 49 66 20 74 68 69  620-22184 If thi
5770: 73 20 6d 65 61 6e 73 20 74 68 65 20 70 61 72 61  s means the para
5780: 6d 65 74 65 72 20 77 6f 75 6c 64 20 62 65 0a 23  meter would be.#
5790: 20 61 73 73 69 67 6e 65 64 20 61 20 6e 75 6d 62   assigned a numb
57a0: 65 72 20 67 72 65 61 74 65 72 20 74 68 61 6e 20  er greater than 
57b0: 53 51 4c 49 54 45 5f 4d 41 58 5f 56 41 52 49 41  SQLITE_MAX_VARIA
57c0: 42 4c 45 5f 4e 55 4d 42 45 52 2c 20 69 74 20 69  BLE_NUMBER, it i
57d0: 73 20 61 6e 0a 23 20 65 72 72 6f 72 2e 0a 23 0a  s an.# error..#.
57e0: 70 61 72 61 6d 65 74 65 72 5f 74 65 73 74 20 65  parameter_test e
57f0: 5f 65 78 70 72 2d 31 31 2e 36 2e 31 20 22 53 45  _expr-11.6.1 "SE
5800: 4c 45 43 54 20 3f 2c 20 40 61 62 63 22 20 20 20  LECT ?, @abc"   
5810: 20 7b 31 20 7b 7d 20 32 20 40 61 62 63 7d 20 7b   {1 {} 2 @abc} {
5820: 2d 31 20 2d 32 7d 0a 70 61 72 61 6d 65 74 65 72  -1 -2}.parameter
5830: 5f 74 65 73 74 20 65 5f 65 78 70 72 2d 31 31 2e  _test e_expr-11.
5840: 36 2e 32 20 22 53 45 4c 45 43 54 20 3f 31 32 33  6.2 "SELECT ?123
5850: 2c 20 3a 61 31 22 20 20 7b 31 32 33 20 3f 31 32  , :a1"  {123 ?12
5860: 33 20 31 32 34 20 3a 61 31 7d 20 7b 2d 31 32 33  3 124 :a1} {-123
5870: 20 2d 31 32 34 7d 0a 70 61 72 61 6d 65 74 65 72   -124}.parameter
5880: 5f 74 65 73 74 20 65 5f 65 78 70 72 2d 31 31 2e  _test e_expr-11.
5890: 36 2e 33 20 7b 53 45 4c 45 43 54 20 24 61 2c 20  6.3 {SELECT $a, 
58a0: 3f 38 2c 20 3f 2c 20 24 62 2c 20 3f 32 2c 20 24  ?8, ?, $b, ?2, $
58b0: 63 7d 20 7b 0a 20 20 31 20 24 61 20 38 20 3f 38  c} {.  1 $a 8 ?8
58c0: 20 39 20 7b 7d 20 31 30 20 24 62 20 32 20 3f 32   9 {} 10 $b 2 ?2
58d0: 20 31 31 20 24 63 0a 7d 20 7b 2d 31 20 2d 38 20   11 $c.} {-1 -8 
58e0: 2d 39 20 2d 31 30 20 2d 32 20 2d 31 31 7d 0a 66  -9 -10 -2 -11}.f
58f0: 6f 72 65 61 63 68 20 7b 74 6e 20 73 71 6c 7d 20  oreach {tn sql} 
5900: 5b 6c 69 73 74 20 20 20 20 20 20 20 20 20 20 20  [list           
5910: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
5920: 5c 0a 20 20 31 20 20 22 53 45 4c 45 43 54 20 3f  \.  1  "SELECT ?
5930: 24 6d 76 6e 2c 20 5c 24 3a 3a 61 22 20 20 20 20  $mvn, \$::a"    
5940: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
5950: 20 20 20 5c 0a 20 20 32 20 20 22 53 45 4c 45 43     \.  2  "SELEC
5960: 54 20 3f 24 6d 76 6e 2c 20 3f 34 2c 20 40 61 31  T ?$mvn, ?4, @a1
5970: 22 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  "               
5980: 20 20 20 20 20 20 5c 0a 20 20 33 20 20 22 53 45        \.  3  "SE
5990: 4c 45 43 54 20 3f 5b 65 78 70 72 20 24 6d 76 6e  LECT ?[expr $mvn
59a0: 2d 32 5d 2c 20 3a 62 61 67 2c 20 40 31 32 33 2c  -2], :bag, @123,
59b0: 20 5c 24 78 22 20 20 20 20 5c 0a 5d 20 7b 0a 20   \$x"    \.] {. 
59c0: 20 64 6f 5f 63 61 74 63 68 73 71 6c 5f 74 65 73   do_catchsql_tes
59d0: 74 20 65 5f 65 78 70 72 2d 31 31 2e 37 2e 24 74  t e_expr-11.7.$t
59e0: 6e 20 24 73 71 6c 20 5b 6c 69 73 74 20 31 20 7b  n $sql [list 1 {
59f0: 74 6f 6f 20 6d 61 6e 79 20 53 51 4c 20 76 61 72  too many SQL var
5a00: 69 61 62 6c 65 73 7d 5d 0a 7d 0a 0a 23 20 45 56  iables}].}..# EV
5a10: 49 44 45 4e 43 45 2d 4f 46 3a 20 52 2d 31 34 30  IDENCE-OF: R-140
5a20: 36 38 2d 34 39 36 37 31 20 50 61 72 61 6d 65 74  68-49671 Paramet
5a30: 65 72 73 20 74 68 61 74 20 61 72 65 20 6e 6f 74  ers that are not
5a40: 20 61 73 73 69 67 6e 65 64 20 76 61 6c 75 65 73   assigned values
5a50: 0a 23 20 75 73 69 6e 67 20 73 71 6c 69 74 65 33  .# using sqlite3
5a60: 5f 62 69 6e 64 28 29 20 61 72 65 20 74 72 65 61  _bind() are trea
5a70: 74 65 64 20 61 73 20 4e 55 4c 4c 2e 0a 23 0a 64  ted as NULL..#.d
5a80: 6f 5f 74 65 73 74 20 65 5f 65 78 70 72 2d 31 31  o_test e_expr-11
5a90: 2e 37 2e 31 20 7b 0a 20 20 73 65 74 20 73 74 6d  .7.1 {.  set stm
5aa0: 74 20 5b 73 71 6c 69 74 65 33 5f 70 72 65 70 61  t [sqlite3_prepa
5ab0: 72 65 5f 76 32 20 64 62 20 7b 20 53 45 4c 45 43  re_v2 db { SELEC
5ac0: 54 20 3f 2c 20 3a 61 2c 20 40 62 2c 20 24 64 20  T ?, :a, @b, $d 
5ad0: 7d 20 2d 31 5d 0a 20 20 73 71 6c 69 74 65 33 5f  } -1].  sqlite3_
5ae0: 73 74 65 70 20 24 73 74 6d 74 0a 0a 20 20 6c 69  step $stmt..  li
5af0: 73 74 20 5b 73 71 6c 69 74 65 33 5f 63 6f 6c 75  st [sqlite3_colu
5b00: 6d 6e 5f 74 79 70 65 20 24 73 74 6d 74 20 30 5d  mn_type $stmt 0]
5b10: 20 5c 0a 20 20 20 20 20 20 20 5b 73 71 6c 69 74   \.       [sqlit
5b20: 65 33 5f 63 6f 6c 75 6d 6e 5f 74 79 70 65 20 24  e3_column_type $
5b30: 73 74 6d 74 20 31 5d 20 5c 0a 20 20 20 20 20 20  stmt 1] \.      
5b40: 20 5b 73 71 6c 69 74 65 33 5f 63 6f 6c 75 6d 6e   [sqlite3_column
5b50: 5f 74 79 70 65 20 24 73 74 6d 74 20 32 5d 20 5c  _type $stmt 2] \
5b60: 0a 20 20 20 20 20 20 20 5b 73 71 6c 69 74 65 33  .       [sqlite3
5b70: 5f 63 6f 6c 75 6d 6e 5f 74 79 70 65 20 24 73 74  _column_type $st
5b80: 6d 74 20 33 5d 20 0a 7d 20 7b 4e 55 4c 4c 20 4e  mt 3] .} {NULL N
5b90: 55 4c 4c 20 4e 55 4c 4c 20 4e 55 4c 4c 7d 0a 64  ULL NULL NULL}.d
5ba0: 6f 5f 74 65 73 74 20 65 5f 65 78 70 72 2d 31 31  o_test e_expr-11
5bb0: 2e 37 2e 31 20 7b 20 73 71 6c 69 74 65 33 5f 66  .7.1 { sqlite3_f
5bc0: 69 6e 61 6c 69 7a 65 20 24 73 74 6d 74 20 7d 20  inalize $stmt } 
5bd0: 53 51 4c 49 54 45 5f 4f 4b 0a 0a 66 69 6e 69 73  SQLITE_OK..finis
5be0: 68 5f 74 65 73 74 0a                             h_test.