/ Hex Artifact Content
Login
SQLite training in Houston TX on 2019-11-05 (details)
Part of the 2019 Tcl Conference

Artifact 141e53fea525bce4f5403fcb0067b88e64fec5eb:


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 66 69 6e 69 73 68  0}.  }.}..finish
2be0: 5f 74 65 73 74 0a                                _test.