/ Hex Artifact Content
Login

Artifact 62372ad3ddcc5d0eb8ff9097dcb0aad8961bf1b9cb45ba634f6e284695126f9a:


0000: 23 20 32 30 31 38 2d 30 32 2d 32 36 0a 23 0a 23  # 2018-02-26.#.#
0010: 20 54 68 65 20 61 75 74 68 6f 72 20 64 69 73 63   The author disc
0020: 6c 61 69 6d 73 20 63 6f 70 79 72 69 67 68 74 20  laims copyright 
0030: 74 6f 20 74 68 69 73 20 73 6f 75 72 63 65 20 63  to this source c
0040: 6f 64 65 2e 20 20 49 6e 20 70 6c 61 63 65 20 6f  ode.  In place o
0050: 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e 6f 74 69  f.# a legal noti
0060: 63 65 2c 20 68 65 72 65 20 69 73 20 61 20 62 6c  ce, here is a bl
0070: 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20 20 20 4d  essing:.#.#    M
0080: 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f 64 20 61  ay you do good a
0090: 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a 23 20 20  nd not evil..#  
00a0: 20 20 4d 61 79 20 79 6f 75 20 66 69 6e 64 20 66    May you find f
00b0: 6f 72 67 69 76 65 6e 65 73 73 20 66 6f 72 20 79  orgiveness for y
00c0: 6f 75 72 73 65 6c 66 20 61 6e 64 20 66 6f 72 67  ourself and forg
00d0: 69 76 65 20 6f 74 68 65 72 73 2e 0a 23 20 20 20  ive others..#   
00e0: 20 4d 61 79 20 79 6f 75 20 73 68 61 72 65 20 66   May you share f
00f0: 72 65 65 6c 79 2c 20 6e 65 76 65 72 20 74 61 6b  reely, never tak
0100: 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e 20 79 6f  ing more than yo
0110: 75 20 67 69 76 65 2e 0a 23 0a 23 2a 2a 2a 2a 2a  u 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 0a 23 20 54 68 69 73 20 66 69 6c 65 20 69  **.# This file i
0170: 6d 70 6c 65 6d 65 6e 74 73 20 72 65 67 72 65 73  mplements regres
0180: 73 69 6f 6e 20 74 65 73 74 73 20 66 6f 72 20 53  sion tests for S
0190: 51 4c 69 74 65 20 6c 69 62 72 61 72 79 2e 20 20  QLite library.  
01a0: 54 68 65 0a 23 20 66 6f 63 75 73 20 6f 66 20 74  The.# focus of t
01b0: 68 69 73 20 66 69 6c 65 20 69 73 20 74 65 73 74  his file is test
01c0: 69 6e 67 20 65 78 70 72 65 73 73 69 6f 6e 73 20  ing expressions 
01d0: 6f 66 20 74 68 65 20 66 6f 72 6d 0a 23 0a 23 20  of the form.#.# 
01e0: 20 20 20 20 20 20 20 78 20 49 53 20 54 52 55 45         x IS TRUE
01f0: 0a 23 20 20 20 20 20 20 20 20 78 20 49 53 20 46  .#        x IS F
0200: 41 4c 53 45 0a 23 20 20 20 20 20 20 20 20 78 20  ALSE.#        x 
0210: 49 53 20 4e 4f 54 20 54 52 55 45 0a 23 20 20 20  IS NOT TRUE.#   
0220: 20 20 20 20 20 78 20 49 53 20 4e 4f 54 20 46 41       x IS NOT FA
0230: 4c 53 45 0a 23 0a 23 20 54 65 73 74 73 20 61 72  LSE.#.# Tests ar
0240: 65 20 61 6c 73 6f 20 69 6e 63 6c 75 64 65 64 20  e also included 
0250: 66 6f 72 20 74 68 65 20 75 73 65 20 6f 66 20 54  for the use of T
0260: 52 55 45 20 61 6e 64 20 46 41 4c 53 45 20 61 73  RUE and FALSE as
0270: 0a 23 20 6c 69 74 65 72 61 6c 20 76 61 6c 75 65  .# literal value
0280: 73 2e 0a 0a 73 65 74 20 74 65 73 74 64 69 72 20  s...set testdir 
0290: 5b 66 69 6c 65 20 64 69 72 6e 61 6d 65 20 24 61  [file dirname $a
02a0: 72 67 76 30 5d 0a 73 6f 75 72 63 65 20 24 74 65  rgv0].source $te
02b0: 73 74 64 69 72 2f 74 65 73 74 65 72 2e 74 63 6c  stdir/tester.tcl
02c0: 0a 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73  ..do_execsql_tes
02d0: 74 20 69 73 74 72 75 65 2d 31 30 30 20 7b 0a 20  t istrue-100 {. 
02e0: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 31   CREATE TABLE t1
02f0: 28 78 20 49 4e 54 45 47 45 52 20 50 52 49 4d 41  (x INTEGER PRIMA
0300: 52 59 20 4b 45 59 2c 20 79 20 42 4f 4f 4c 45 41  RY KEY, y BOOLEA
0310: 4e 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54  N);.  INSERT INT
0320: 4f 20 74 31 20 56 41 4c 55 45 53 28 31 2c 20 74  O t1 VALUES(1, t
0330: 72 75 65 29 2c 28 32 2c 20 66 61 6c 73 65 29 2c  rue),(2, false),
0340: 28 33 2c 20 6e 75 6c 6c 29 3b 0a 20 20 53 45 4c  (3, null);.  SEL
0350: 45 43 54 20 78 20 46 52 4f 4d 20 74 31 20 57 48  ECT x FROM t1 WH
0360: 45 52 45 20 79 20 49 53 20 54 52 55 45 3b 0a 7d  ERE y IS TRUE;.}
0370: 20 7b 31 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f   {1}.do_execsql_
0380: 74 65 73 74 20 69 73 74 72 75 65 2d 31 31 30 20  test istrue-110 
0390: 7b 0a 20 20 53 45 4c 45 43 54 20 78 20 46 52 4f  {.  SELECT x FRO
03a0: 4d 20 74 31 20 57 48 45 52 45 20 79 20 49 53 20  M t1 WHERE y IS 
03b0: 46 41 4c 53 45 3b 0a 7d 20 7b 32 7d 0a 64 6f 5f  FALSE;.} {2}.do_
03c0: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 69 73 74  execsql_test ist
03d0: 72 75 65 2d 31 32 30 20 7b 0a 20 20 53 45 4c 45  rue-120 {.  SELE
03e0: 43 54 20 78 20 46 52 4f 4d 20 74 31 20 57 48 45  CT x FROM t1 WHE
03f0: 52 45 20 79 20 49 53 20 4e 55 4c 4c 3b 0a 7d 20  RE y IS NULL;.} 
0400: 7b 33 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74  {3}.do_execsql_t
0410: 65 73 74 20 69 73 74 72 75 65 2d 31 33 30 20 7b  est istrue-130 {
0420: 0a 20 20 53 45 4c 45 43 54 20 78 20 46 52 4f 4d  .  SELECT x FROM
0430: 20 74 31 20 57 48 45 52 45 20 79 20 49 53 20 4e   t1 WHERE y IS N
0440: 4f 54 20 54 52 55 45 3b 0a 7d 20 7b 32 20 33 7d  OT TRUE;.} {2 3}
0450: 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74  .do_execsql_test
0460: 20 69 73 74 72 75 65 2d 31 34 30 20 7b 0a 20 20   istrue-140 {.  
0470: 53 45 4c 45 43 54 20 78 20 46 52 4f 4d 20 74 31  SELECT x FROM t1
0480: 20 57 48 45 52 45 20 79 20 49 53 20 4e 4f 54 20   WHERE y IS NOT 
0490: 46 41 4c 53 45 3b 0a 7d 20 7b 31 20 33 7d 0a 64  FALSE;.} {1 3}.d
04a0: 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 69  o_execsql_test i
04b0: 73 74 72 75 65 2d 31 35 30 20 7b 0a 20 20 53 45  strue-150 {.  SE
04c0: 4c 45 43 54 20 78 20 46 52 4f 4d 20 74 31 20 57  LECT x FROM t1 W
04d0: 48 45 52 45 20 79 20 49 53 20 4e 4f 54 20 4e 55  HERE y IS NOT NU
04e0: 4c 4c 3b 0a 7d 20 7b 31 20 32 7d 0a 75 6e 73 65  LL;.} {1 2}.unse
04f0: 74 20 2d 6e 6f 63 6f 6d 70 6c 61 69 6e 20 58 0a  t -nocomplain X.
0500: 73 65 74 20 58 20 39 0a 64 6f 5f 65 78 65 63 73  set X 9.do_execs
0510: 71 6c 5f 74 65 73 74 20 69 73 74 72 75 65 2d 31  ql_test istrue-1
0520: 36 30 20 7b 0a 20 20 53 45 4c 45 43 54 20 78 20  60 {.  SELECT x 
0530: 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 79 20  FROM t1 WHERE y 
0540: 49 53 20 54 52 55 45 20 4f 52 20 28 38 3d 3d 24  IS TRUE OR (8==$
0550: 58 29 0a 7d 20 7b 31 7d 0a 64 6f 5f 65 78 65 63  X).} {1}.do_exec
0560: 73 71 6c 5f 74 65 73 74 20 69 73 74 72 75 65 2d  sql_test istrue-
0570: 31 37 30 20 7b 0a 20 20 53 45 4c 45 43 54 20 78  170 {.  SELECT x
0580: 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 79   FROM t1 WHERE y
0590: 20 49 53 20 46 41 4c 53 45 20 4f 52 20 28 38 3d   IS FALSE OR (8=
05a0: 3d 24 58 29 0a 7d 20 7b 32 7d 0a 64 6f 5f 65 78  =$X).} {2}.do_ex
05b0: 65 63 73 71 6c 5f 74 65 73 74 20 69 73 74 72 75  ecsql_test istru
05c0: 65 2d 31 38 30 20 7b 0a 20 20 53 45 4c 45 43 54  e-180 {.  SELECT
05d0: 20 78 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45   x FROM t1 WHERE
05e0: 20 79 20 49 53 20 4e 55 4c 4c 20 4f 52 20 28 38   y IS NULL OR (8
05f0: 3d 3d 24 58 29 3b 0a 7d 20 7b 33 7d 0a 64 6f 5f  ==$X);.} {3}.do_
0600: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 69 73 74  execsql_test ist
0610: 72 75 65 2d 31 39 30 20 7b 0a 20 20 53 45 4c 45  rue-190 {.  SELE
0620: 43 54 20 78 20 46 52 4f 4d 20 74 31 20 57 48 45  CT x FROM t1 WHE
0630: 52 45 20 79 20 49 53 20 4e 4f 54 20 54 52 55 45  RE y IS NOT TRUE
0640: 20 4f 52 20 28 38 3d 3d 24 58 29 3b 0a 7d 20 7b   OR (8==$X);.} {
0650: 32 20 33 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f  2 3}.do_execsql_
0660: 74 65 73 74 20 69 73 74 72 75 65 2d 32 30 30 20  test istrue-200 
0670: 7b 0a 20 20 53 45 4c 45 43 54 20 78 20 46 52 4f  {.  SELECT x FRO
0680: 4d 20 74 31 20 57 48 45 52 45 20 79 20 49 53 20  M t1 WHERE y IS 
0690: 4e 4f 54 20 46 41 4c 53 45 20 4f 52 20 28 38 3d  NOT FALSE OR (8=
06a0: 3d 24 58 29 3b 0a 7d 20 7b 31 20 33 7d 0a 64 6f  =$X);.} {1 3}.do
06b0: 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 69 73  _execsql_test is
06c0: 74 72 75 65 2d 32 31 30 20 7b 0a 20 20 53 45 4c  true-210 {.  SEL
06d0: 45 43 54 20 78 20 46 52 4f 4d 20 74 31 20 57 48  ECT x FROM t1 WH
06e0: 45 52 45 20 79 20 49 53 20 4e 4f 54 20 4e 55 4c  ERE y IS NOT NUL
06f0: 4c 20 4f 52 20 28 38 3d 3d 24 58 29 3b 0a 7d 20  L OR (8==$X);.} 
0700: 7b 31 20 32 7d 0a 0a 64 6f 5f 65 78 65 63 73 71  {1 2}..do_execsq
0710: 6c 5f 74 65 73 74 20 69 73 74 72 75 65 2d 33 30  l_test istrue-30
0720: 30 20 7b 0a 20 20 53 45 4c 45 43 54 20 78 2c 0a  0 {.  SELECT x,.
0730: 20 20 20 20 20 20 20 20 20 79 20 49 53 20 54 52           y IS TR
0740: 55 45 2c 20 79 20 49 53 20 46 41 4c 53 45 2c 20  UE, y IS FALSE, 
0750: 79 20 69 73 20 4e 55 4c 4c 2c 0a 20 20 20 20 20  y is NULL,.     
0760: 20 20 20 20 79 20 49 53 20 4e 4f 54 20 54 52 55      y IS NOT TRU
0770: 45 2c 20 79 20 49 53 20 4e 4f 54 20 46 41 4c 53  E, y IS NOT FALS
0780: 45 2c 20 79 20 49 53 20 4e 4f 54 20 4e 55 4c 4c  E, y IS NOT NULL
0790: 2c 20 27 7c 27 0a 20 20 20 20 46 52 4f 4d 20 74  , '|'.    FROM t
07a0: 31 20 4f 52 44 45 52 20 42 59 20 78 3b 0a 7d 20  1 ORDER BY x;.} 
07b0: 7b 31 20 31 20 30 20 30 20 30 20 31 20 31 20 7c  {1 1 0 0 0 1 1 |
07c0: 20 32 20 30 20 31 20 30 20 31 20 30 20 31 20 7c   2 0 1 0 1 0 1 |
07d0: 20 33 20 30 20 30 20 31 20 31 20 31 20 30 20 7c   3 0 0 1 1 1 0 |
07e0: 7d 0a 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65  }..do_execsql_te
07f0: 73 74 20 69 73 74 72 75 65 2d 34 30 30 20 7b 0a  st istrue-400 {.
0800: 20 20 53 45 4c 45 43 54 20 78 20 46 52 4f 4d 20    SELECT x FROM 
0810: 74 31 20 57 48 45 52 45 20 74 72 75 65 3b 0a 7d  t1 WHERE true;.}
0820: 20 7b 31 20 32 20 33 7d 0a 64 6f 5f 65 78 65 63   {1 2 3}.do_exec
0830: 73 71 6c 5f 74 65 73 74 20 69 73 74 72 75 65 2d  sql_test istrue-
0840: 34 31 30 20 7b 0a 20 20 53 45 4c 45 43 54 20 78  410 {.  SELECT x
0850: 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 66   FROM t1 WHERE f
0860: 61 6c 73 65 3b 0a 7d 20 7b 7d 0a 0a 64 6f 5f 65  alse;.} {}..do_e
0870: 78 65 63 73 71 6c 5f 74 65 73 74 20 69 73 74 72  xecsql_test istr
0880: 75 65 2d 35 30 30 20 7b 0a 20 20 43 52 45 41 54  ue-500 {.  CREAT
0890: 45 20 54 41 42 4c 45 20 74 32 28 0a 20 20 20 20  E TABLE t2(.    
08a0: 20 61 20 49 4e 54 45 47 45 52 20 50 52 49 4d 41   a INTEGER PRIMA
08b0: 52 59 20 4b 45 59 2c 0a 20 20 20 20 20 62 20 42  RY KEY,.     b B
08c0: 4f 4f 4c 45 41 4e 20 44 45 46 41 55 4c 54 20 74  OOLEAN DEFAULT t
08d0: 72 75 65 2c 0a 20 20 20 20 20 63 20 42 4f 4f 4c  rue,.     c BOOL
08e0: 45 41 4e 20 44 45 46 41 55 4c 54 28 74 72 75 65  EAN DEFAULT(true
08f0: 29 2c 0a 20 20 20 20 20 64 20 42 4f 4f 4c 45 41  ),.     d BOOLEA
0900: 4e 20 44 45 46 41 55 4c 54 20 66 61 6c 73 65 2c  N DEFAULT false,
0910: 0a 20 20 20 20 20 65 20 42 4f 4f 4c 45 41 4e 20  .     e BOOLEAN 
0920: 44 45 46 41 55 4c 54 28 66 61 6c 73 65 29 0a 20  DEFAULT(false). 
0930: 20 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54   );.  INSERT INT
0940: 4f 20 74 32 20 44 45 46 41 55 4c 54 20 56 41 4c  O t2 DEFAULT VAL
0950: 55 45 53 3b 0a 20 20 53 45 4c 45 43 54 20 2a 20  UES;.  SELECT * 
0960: 46 52 4f 4d 20 74 32 3b 0a 7d 20 7b 31 20 31 20  FROM t2;.} {1 1 
0970: 31 20 30 20 30 7d 0a 64 6f 5f 65 78 65 63 73 71  1 0 0}.do_execsq
0980: 6c 5f 74 65 73 74 20 69 73 74 72 75 65 2d 35 31  l_test istrue-51
0990: 30 20 7b 0a 20 20 44 52 4f 50 20 54 41 42 4c 45  0 {.  DROP TABLE
09a0: 20 74 32 3b 0a 20 20 43 52 45 41 54 45 20 54 41   t2;.  CREATE TA
09b0: 42 4c 45 20 74 32 28 0a 20 20 20 20 20 61 20 49  BLE t2(.     a I
09c0: 4e 54 45 47 45 52 20 50 52 49 4d 41 52 59 20 4b  NTEGER PRIMARY K
09d0: 45 59 2c 0a 20 20 20 20 20 62 20 42 4f 4f 4c 45  EY,.     b BOOLE
09e0: 41 4e 20 44 45 46 41 55 4c 54 28 6e 6f 74 20 74  AN DEFAULT(not t
09f0: 72 75 65 29 2c 0a 20 20 20 20 20 63 20 42 4f 4f  rue),.     c BOO
0a00: 4c 45 41 4e 20 44 45 46 41 55 4c 54 28 6e 6f 74  LEAN DEFAULT(not
0a10: 20 66 61 6c 73 65 29 0a 20 20 29 3b 0a 20 20 49   false).  );.  I
0a20: 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 28 61 29  NSERT INTO t2(a)
0a30: 20 56 41 4c 55 45 53 28 39 39 29 3b 0a 20 20 53   VALUES(99);.  S
0a40: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 32 3b  ELECT * FROM t2;
0a50: 0a 7d 20 7b 39 39 20 30 20 31 7d 0a 64 6f 5f 65  .} {99 0 1}.do_e
0a60: 78 65 63 73 71 6c 5f 74 65 73 74 20 69 73 74 72  xecsql_test istr
0a70: 75 65 2d 35 32 30 20 7b 0a 20 20 44 52 4f 50 20  ue-520 {.  DROP 
0a80: 54 41 42 4c 45 20 74 32 3b 0a 20 20 43 52 45 41  TABLE t2;.  CREA
0a90: 54 45 20 54 41 42 4c 45 20 74 32 28 0a 20 20 20  TE TABLE t2(.   
0aa0: 20 20 61 20 49 4e 54 45 47 45 52 20 50 52 49 4d    a INTEGER PRIM
0ab0: 41 52 59 20 4b 45 59 2c 0a 20 20 20 20 20 62 20  ARY KEY,.     b 
0ac0: 42 4f 4f 4c 45 41 4e 20 43 48 45 43 4b 28 62 20  BOOLEAN CHECK(b 
0ad0: 49 53 20 54 52 55 45 29 2c 0a 20 20 20 20 20 63  IS TRUE),.     c
0ae0: 20 42 4f 4f 4c 45 41 4e 20 43 48 45 43 4b 28 63   BOOLEAN CHECK(c
0af0: 20 49 53 20 46 41 4c 53 45 29 2c 0a 20 20 20 20   IS FALSE),.    
0b00: 20 64 20 42 4f 4f 4c 45 41 4e 20 43 48 45 43 4b   d BOOLEAN CHECK
0b10: 28 64 20 49 53 20 4e 4f 54 20 54 52 55 45 29 2c  (d IS NOT TRUE),
0b20: 0a 20 20 20 20 20 65 20 42 4f 4f 4c 45 41 4e 20  .     e BOOLEAN 
0b30: 43 48 45 43 4b 28 65 20 49 53 20 4e 4f 54 20 46  CHECK(e IS NOT F
0b40: 41 4c 53 45 29 0a 20 20 29 3b 0a 20 20 49 4e 53  ALSE).  );.  INS
0b50: 45 52 54 20 49 4e 54 4f 20 74 32 20 56 41 4c 55  ERT INTO t2 VALU
0b60: 45 53 28 31 2c 74 72 75 65 2c 66 61 6c 73 65 2c  ES(1,true,false,
0b70: 6e 75 6c 6c 2c 6e 75 6c 6c 29 3b 0a 20 20 53 45  null,null);.  SE
0b80: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 32 3b 0a  LECT * FROM t2;.
0b90: 7d 20 7b 31 20 31 20 30 20 7b 7d 20 7b 7d 7d 0a  } {1 1 0 {} {}}.
0ba0: 64 6f 5f 63 61 74 63 68 73 71 6c 5f 74 65 73 74  do_catchsql_test
0bb0: 20 69 73 74 72 75 65 2d 35 32 31 20 7b 0a 20 20   istrue-521 {.  
0bc0: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20 56  INSERT INTO t2 V
0bd0: 41 4c 55 45 53 28 32 2c 66 61 6c 73 65 2c 66 61  ALUES(2,false,fa
0be0: 6c 73 65 2c 6e 75 6c 6c 2c 6e 75 6c 6c 29 3b 0a  lse,null,null);.
0bf0: 7d 20 7b 31 20 7b 43 48 45 43 4b 20 63 6f 6e 73  } {1 {CHECK cons
0c00: 74 72 61 69 6e 74 20 66 61 69 6c 65 64 3a 20 74  traint failed: t
0c10: 32 7d 7d 0a 64 6f 5f 63 61 74 63 68 73 71 6c 5f  2}}.do_catchsql_
0c20: 74 65 73 74 20 69 73 74 72 75 65 2d 35 32 32 20  test istrue-522 
0c30: 7b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20  {.  INSERT INTO 
0c40: 74 32 20 56 41 4c 55 45 53 28 32 2c 74 72 75 65  t2 VALUES(2,true
0c50: 2c 74 72 75 65 2c 6e 75 6c 6c 2c 6e 75 6c 6c 29  ,true,null,null)
0c60: 3b 0a 7d 20 7b 31 20 7b 43 48 45 43 4b 20 63 6f  ;.} {1 {CHECK co
0c70: 6e 73 74 72 61 69 6e 74 20 66 61 69 6c 65 64 3a  nstraint failed:
0c80: 20 74 32 7d 7d 0a 64 6f 5f 63 61 74 63 68 73 71   t2}}.do_catchsq
0c90: 6c 5f 74 65 73 74 20 69 73 74 72 75 65 2d 35 32  l_test istrue-52
0ca0: 33 20 7b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54  3 {.  INSERT INT
0cb0: 4f 20 74 32 20 56 41 4c 55 45 53 28 32 2c 74 72  O t2 VALUES(2,tr
0cc0: 75 65 2c 66 61 6c 73 65 2c 74 72 75 65 2c 6e 75  ue,false,true,nu
0cd0: 6c 6c 29 3b 0a 7d 20 7b 31 20 7b 43 48 45 43 4b  ll);.} {1 {CHECK
0ce0: 20 63 6f 6e 73 74 72 61 69 6e 74 20 66 61 69 6c   constraint fail
0cf0: 65 64 3a 20 74 32 7d 7d 0a 64 6f 5f 63 61 74 63  ed: t2}}.do_catc
0d00: 68 73 71 6c 5f 74 65 73 74 20 69 73 74 72 75 65  hsql_test istrue
0d10: 2d 35 32 34 20 7b 0a 20 20 49 4e 53 45 52 54 20  -524 {.  INSERT 
0d20: 49 4e 54 4f 20 74 32 20 56 41 4c 55 45 53 28 32  INTO t2 VALUES(2
0d30: 2c 74 72 75 65 2c 66 61 6c 73 65 2c 6e 75 6c 6c  ,true,false,null
0d40: 2c 66 61 6c 73 65 29 3b 0a 7d 20 7b 31 20 7b 43  ,false);.} {1 {C
0d50: 48 45 43 4b 20 63 6f 6e 73 74 72 61 69 6e 74 20  HECK constraint 
0d60: 66 61 69 6c 65 64 3a 20 74 32 7d 7d 0a 0a 66 6f  failed: t2}}..fo
0d70: 72 65 61 63 68 20 7b 74 6e 20 76 61 6c 7d 20 5b  reach {tn val} [
0d80: 6c 69 73 74 20 31 20 4e 61 4e 20 32 20 2d 4e 61  list 1 NaN 2 -Na
0d90: 4e 20 33 20 4e 61 4e 30 20 34 20 2d 4e 61 4e 30  N 3 NaN0 4 -NaN0
0da0: 20 35 20 49 6e 66 20 36 20 2d 49 6e 66 5d 20 7b   5 Inf 6 -Inf] {
0db0: 0a 20 20 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65  .  do_execsql_te
0dc0: 73 74 20 69 73 74 72 75 65 2d 36 30 30 2e 24 74  st istrue-600.$t
0dd0: 6e 2e 31 20 7b 0a 20 20 20 20 44 52 4f 50 20 54  n.1 {.    DROP T
0de0: 41 42 4c 45 20 49 46 20 45 58 49 53 54 53 20 74  ABLE IF EXISTS t
0df0: 31 3b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41  1;.    CREATE TA
0e00: 42 4c 45 20 74 31 28 78 29 3b 0a 20 20 7d 0a 20  BLE t1(x);.  }. 
0e10: 20 64 6f 5f 74 65 73 74 20 69 73 74 72 75 65 2d   do_test istrue-
0e20: 36 30 30 2e 24 74 6e 2e 32 20 7b 0a 20 20 20 20  600.$tn.2 {.    
0e30: 73 65 74 20 3a 3a 53 54 4d 54 20 5b 73 71 6c 69  set ::STMT [sqli
0e40: 74 65 33 5f 70 72 65 70 61 72 65 20 64 62 20 22  te3_prepare db "
0e50: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56  INSERT INTO t1 V
0e60: 41 4c 55 45 53 28 3f 29 22 20 2d 31 20 54 41 49  ALUES(?)" -1 TAI
0e70: 4c 5d 0a 20 20 20 20 73 71 6c 69 74 65 33 5f 62  L].    sqlite3_b
0e80: 69 6e 64 5f 64 6f 75 62 6c 65 20 24 3a 3a 53 54  ind_double $::ST
0e90: 4d 54 20 31 20 24 76 61 6c 0a 20 20 20 20 73 71  MT 1 $val.    sq
0ea0: 6c 69 74 65 33 5f 73 74 65 70 20 24 3a 3a 53 54  lite3_step $::ST
0eb0: 4d 54 0a 20 20 20 20 73 71 6c 69 74 65 33 5f 72  MT.    sqlite3_r
0ec0: 65 73 65 74 20 24 3a 3a 53 54 4d 54 0a 20 20 20  eset $::STMT.   
0ed0: 20 73 71 6c 69 74 65 33 5f 66 69 6e 61 6c 69 7a   sqlite3_finaliz
0ee0: 65 20 24 3a 3a 53 54 4d 54 0a 20 20 7d 20 7b 53  e $::STMT.  } {S
0ef0: 51 4c 49 54 45 5f 4f 4b 7d 0a 20 20 64 6f 5f 65  QLITE_OK}.  do_e
0f00: 78 65 63 73 71 6c 5f 74 65 73 74 20 69 73 74 72  xecsql_test istr
0f10: 75 65 2d 36 30 30 2e 24 74 6e 2e 33 20 7b 0a 20  ue-600.$tn.3 {. 
0f20: 20 20 20 53 45 4c 45 43 54 20 78 20 49 53 20 54     SELECT x IS T
0f30: 52 55 45 20 46 52 4f 4d 20 74 31 3b 0a 20 20 7d  RUE FROM t1;.  }
0f40: 20 5b 65 78 70 72 20 7b 24 74 6e 20 69 6e 20 5b   [expr {$tn in [
0f50: 6c 69 73 74 20 35 20 36 5d 20 3f 20 7b 31 7d 20  list 5 6] ? {1} 
0f60: 3a 20 7b 30 7d 7d 5d 0a 20 20 64 6f 5f 65 78 65  : {0}}].  do_exe
0f70: 63 73 71 6c 5f 74 65 73 74 20 69 73 74 72 75 65  csql_test istrue
0f80: 2d 36 30 30 2e 24 74 6e 2e 34 20 7b 0a 20 20 20  -600.$tn.4 {.   
0f90: 20 53 45 4c 45 43 54 20 78 20 49 53 20 46 41 4c   SELECT x IS FAL
0fa0: 53 45 20 46 52 4f 4d 20 74 31 3b 0a 20 20 7d 20  SE FROM t1;.  } 
0fb0: 7b 30 7d 0a 7d 0a 0a 64 6f 5f 65 78 65 63 73 71  {0}.}..do_execsq
0fc0: 6c 5f 74 65 73 74 20 69 73 74 72 75 65 2d 37 30  l_test istrue-70
0fd0: 30 20 7b 0a 20 20 43 52 45 41 54 45 20 54 41 42  0 {.  CREATE TAB
0fe0: 4c 45 20 74 37 28 0a 20 20 20 20 61 20 49 4e 54  LE t7(.    a INT
0ff0: 45 47 45 52 20 50 52 49 4d 41 52 59 20 4b 45 59  EGER PRIMARY KEY
1000: 2c 0a 20 20 20 20 62 20 42 4f 4f 4c 45 41 4e 20  ,.    b BOOLEAN 
1010: 44 45 46 41 55 4c 54 20 66 61 6c 73 65 2c 0a 20  DEFAULT false,. 
1020: 20 20 20 63 20 42 4f 4f 4c 45 41 4e 20 44 45 46     c BOOLEAN DEF
1030: 41 55 4c 54 20 74 72 75 65 0a 20 20 29 3b 0a 20  AULT true.  );. 
1040: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 37 28   INSERT INTO t7(
1050: 61 29 20 56 41 4c 55 45 53 28 31 29 3b 0a 20 20  a) VALUES(1);.  
1060: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 37 28 61  INSERT INTO t7(a
1070: 2c 62 2c 63 29 20 56 41 4c 55 45 53 28 32 2c 74  ,b,c) VALUES(2,t
1080: 72 75 65 2c 66 61 6c 73 65 29 3b 0a 20 20 41 4c  rue,false);.  AL
1090: 54 45 52 20 54 41 42 4c 45 20 74 37 20 41 44 44  TER TABLE t7 ADD
10a0: 20 43 4f 4c 55 4d 4e 20 64 20 42 4f 4f 4c 45 41   COLUMN d BOOLEA
10b0: 4e 20 44 45 46 41 55 4c 54 20 66 61 6c 73 65 3b  N DEFAULT false;
10c0: 0a 20 20 41 4c 54 45 52 20 54 41 42 4c 45 20 74  .  ALTER TABLE t
10d0: 37 20 41 44 44 20 43 4f 4c 55 4d 4e 20 65 20 42  7 ADD COLUMN e B
10e0: 4f 4f 4c 45 41 4e 20 44 45 46 41 55 4c 54 20 74  OOLEAN DEFAULT t
10f0: 72 75 65 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e  rue;.  INSERT IN
1100: 54 4f 20 74 37 28 61 2c 62 2c 63 29 20 56 41 4c  TO t7(a,b,c) VAL
1110: 55 45 53 28 33 2c 74 72 75 65 2c 66 61 6c 73 65  UES(3,true,false
1120: 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  );.  INSERT INTO
1130: 20 74 37 20 56 41 4c 55 45 53 28 34 2c 66 61 6c   t7 VALUES(4,fal
1140: 73 65 2c 74 72 75 65 2c 74 72 75 65 2c 66 61 6c  se,true,true,fal
1150: 73 65 29 3b 0a 20 20 53 45 4c 45 43 54 20 2a 2c  se);.  SELECT *,
1160: 27 78 27 20 46 52 4f 4d 20 74 37 20 4f 52 44 45  'x' FROM t7 ORDE
1170: 52 20 42 59 20 61 3b 0a 7d 20 7b 31 20 30 20 31  R BY a;.} {1 0 1
1180: 20 30 20 31 20 78 20 32 20 31 20 30 20 30 20 31   0 1 x 2 1 0 0 1
1190: 20 78 20 33 20 31 20 30 20 30 20 31 20 78 20 34   x 3 1 0 0 1 x 4
11a0: 20 30 20 31 20 31 20 30 20 78 7d 0a 0a 66 69 6e   0 1 1 0 x}..fin
11b0: 69 73 68 5f 74 65 73 74 0a                       ish_test.