/ Hex Artifact Content
Login

Artifact e71604a0e53cba82bc04c703987cb1d6751ec0b6:


0000: 23 20 32 30 31 35 2d 31 31 2d 30 37 0a 23 0a 23  # 2015-11-07.#.#
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 74 68 65 20 57 49 54 48 20 63 6c 61  ing the WITH cla
01d0: 75 73 65 2e 0a 23 0a 0a 73 65 74 20 74 65 73 74  use..#..set test
01e0: 64 69 72 20 5b 66 69 6c 65 20 64 69 72 6e 61 6d  dir [file dirnam
01f0: 65 20 24 61 72 67 76 30 5d 0a 73 6f 75 72 63 65  e $argv0].source
0200: 20 24 74 65 73 74 64 69 72 2f 74 65 73 74 65 72   $testdir/tester
0210: 2e 74 63 6c 0a 73 65 74 20 3a 3a 74 65 73 74 70  .tcl.set ::testp
0220: 72 65 66 69 78 20 77 69 74 68 33 0a 0a 69 66 63  refix with3..ifc
0230: 61 70 61 62 6c 65 20 7b 21 63 74 65 7d 20 7b 0a  apable {!cte} {.
0240: 20 20 66 69 6e 69 73 68 5f 74 65 73 74 0a 20 20    finish_test.  
0250: 72 65 74 75 72 6e 0a 7d 0a 0a 23 20 54 65 73 74  return.}..# Test
0260: 20 70 72 6f 62 6c 65 6d 73 20 66 6f 75 6e 64 20   problems found 
0270: 62 79 20 4b 6f 73 74 79 61 20 53 65 72 65 62 72  by Kostya Serebr
0280: 79 61 6e 79 20 75 73 69 6e 67 20 0a 23 20 4c 69  yany using .# Li
0290: 62 46 75 7a 7a 65 72 2e 20 20 28 68 74 74 70 3a  bFuzzer.  (http:
02a0: 2f 2f 6c 6c 76 6d 2e 6f 72 67 2f 64 6f 63 73 2f  //llvm.org/docs/
02b0: 4c 69 62 46 75 7a 7a 65 72 2e 68 74 6d 6c 29 0a  LibFuzzer.html).
02c0: 23 0a 64 6f 5f 63 61 74 63 68 73 71 6c 5f 74 65  #.do_catchsql_te
02d0: 73 74 20 31 2e 30 20 7b 0a 20 20 57 49 54 48 20  st 1.0 {.  WITH 
02e0: 69 28 78 29 20 41 53 20 28 0a 20 20 20 20 57 49  i(x) AS (.    WI
02f0: 54 48 20 6a 20 41 53 20 28 53 45 4c 45 43 54 20  TH j AS (SELECT 
0300: 31 30 29 0a 20 20 20 20 53 45 4c 45 43 54 20 35  10).    SELECT 5
0310: 20 46 52 4f 4d 20 74 30 20 55 4e 49 4f 4e 20 53   FROM t0 UNION S
0320: 45 4c 45 43 54 20 38 20 46 52 4f 4d 20 6d 0a 20  ELECT 8 FROM m. 
0330: 20 29 0a 20 20 53 45 4c 45 43 54 20 2a 20 46 52   ).  SELECT * FR
0340: 4f 4d 20 69 3b 0a 7d 20 7b 31 20 7b 6e 6f 20 73  OM i;.} {1 {no s
0350: 75 63 68 20 74 61 62 6c 65 3a 20 6d 7d 7d 0a 0a  uch table: m}}..
0360: 23 20 41 64 64 69 74 69 6f 6e 61 6c 20 74 65 73  # Additional tes
0370: 74 20 63 61 73 65 73 20 74 68 61 74 20 63 61 6d  t cases that cam
0380: 65 20 6f 75 74 20 6f 66 20 74 68 65 20 77 6f 72  e out of the wor
0390: 6b 20 74 6f 0a 23 20 66 69 78 20 66 6f 72 20 4b  k to.# fix for K
03a0: 6f 73 74 79 61 27 73 20 70 72 6f 62 6c 65 6d 2e  ostya's problem.
03b0: 0a 23 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65  .#.do_execsql_te
03c0: 73 74 20 32 2e 30 20 7b 0a 20 57 49 54 48 0a 20  st 2.0 {. WITH. 
03d0: 20 78 31 20 41 53 20 28 53 45 4c 45 43 54 20 31   x1 AS (SELECT 1
03e0: 30 29 2c 0a 20 20 78 32 20 41 53 20 28 53 45 4c  0),.  x2 AS (SEL
03f0: 45 43 54 20 31 31 29 2c 0a 20 20 78 33 20 41 53  ECT 11),.  x3 AS
0400: 20 28 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20   (.    SELECT * 
0410: 46 52 4f 4d 20 78 31 20 55 4e 49 4f 4e 20 41 4c  FROM x1 UNION AL
0420: 4c 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20  L SELECT * FROM 
0430: 78 32 0a 20 20 29 2c 0a 20 20 78 34 20 41 53 20  x2.  ),.  x4 AS 
0440: 28 0a 20 20 20 20 57 49 54 48 0a 20 20 20 20 78  (.    WITH.    x
0450: 31 20 41 53 20 28 53 45 4c 45 43 54 20 31 32 29  1 AS (SELECT 12)
0460: 2c 0a 20 20 20 20 78 32 20 41 53 20 28 53 45 4c  ,.    x2 AS (SEL
0470: 45 43 54 20 31 33 29 0a 20 20 20 20 53 45 4c 45  ECT 13).    SELE
0480: 43 54 20 2a 20 46 52 4f 4d 20 78 33 0a 20 20 29  CT * FROM x3.  )
0490: 0a 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d  .  SELECT * FROM
04a0: 20 78 34 3b 0a 0a 7d 20 7b 31 30 20 31 31 7d 0a   x4;..} {10 11}.
04b0: 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74  .do_execsql_test
04c0: 20 32 2e 31 20 7b 0a 20 20 43 52 45 41 54 45 20   2.1 {.  CREATE 
04d0: 54 41 42 4c 45 20 74 31 28 78 29 3b 0a 20 20 57  TABLE t1(x);.  W
04e0: 49 54 48 0a 20 20 20 20 78 31 28 61 29 20 41 53  ITH.    x1(a) AS
04f0: 20 28 76 61 6c 75 65 73 28 31 30 30 29 29 0a 20   (values(100)). 
0500: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 28   INSERT INTO t1(
0510: 78 29 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20  x).    SELECT * 
0520: 46 52 4f 4d 20 28 57 49 54 48 20 78 32 28 79 29  FROM (WITH x2(y)
0530: 20 41 53 20 28 53 45 4c 45 43 54 20 2a 20 46 52   AS (SELECT * FR
0540: 4f 4d 20 78 31 29 20 53 45 4c 45 43 54 20 79 2b  OM x1) SELECT y+
0550: 61 20 46 52 4f 4d 20 78 31 2c 20 78 32 29 3b 0a  a FROM x1, x2);.
0560: 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20    SELECT * FROM 
0570: 74 31 3b 0a 7d 20 7b 32 30 30 7d 0a 0a 23 2d 2d  t1;.} {200}..#--
0580: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0590: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
05a0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
05b0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
05c0: 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54 65 73 74 20 74  -------.# Test t
05d0: 68 61 74 20 74 68 65 20 70 6c 61 6e 6e 65 72 20  hat the planner 
05e0: 6e 6f 74 69 63 65 73 20 4c 49 4d 49 54 20 63 6c  notices LIMIT cl
05f0: 61 75 73 65 73 20 6f 6e 20 72 65 63 75 72 73 69  auses on recursi
0600: 76 65 20 57 49 54 48 20 71 75 65 72 69 65 73 2e  ve WITH queries.
0610: 0a 23 0a 0a 69 66 63 61 70 61 62 6c 65 20 61 6e  .#..ifcapable an
0620: 61 6c 79 7a 65 20 7b 0a 20 20 64 6f 5f 65 78 65  alyze {.  do_exe
0630: 63 73 71 6c 5f 74 65 73 74 20 33 2e 31 2e 31 20  csql_test 3.1.1 
0640: 7b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42  {.    CREATE TAB
0650: 4c 45 20 79 31 28 61 2c 20 62 29 3b 0a 20 20 20  LE y1(a, b);.   
0660: 20 43 52 45 41 54 45 20 49 4e 44 45 58 20 79 31   CREATE INDEX y1
0670: 61 20 4f 4e 20 79 31 28 61 29 3b 0a 0a 20 20 20  a ON y1(a);..   
0680: 20 57 49 54 48 20 63 6e 74 28 69 29 20 41 53 20   WITH cnt(i) AS 
0690: 28 20 53 45 4c 45 43 54 20 31 20 55 4e 49 4f 4e  ( SELECT 1 UNION
06a0: 20 41 4c 4c 20 53 45 4c 45 43 54 20 69 2b 31 20   ALL SELECT i+1 
06b0: 46 52 4f 4d 20 63 6e 74 20 4c 49 4d 49 54 20 31  FROM cnt LIMIT 1
06c0: 30 30 30 29 0a 20 20 20 20 20 20 49 4e 53 45 52  000).      INSER
06d0: 54 20 49 4e 54 4f 20 79 31 20 53 45 4c 45 43 54  T INTO y1 SELECT
06e0: 20 69 25 31 30 2c 20 69 20 46 52 4f 4d 20 63 6e   i%10, i FROM cn
06f0: 74 3b 0a 20 20 20 20 41 4e 41 4c 59 5a 45 3b 0a  t;.    ANALYZE;.
0700: 0a 20 20 7d 0a 0a 20 20 64 6f 5f 65 71 70 5f 74  .  }..  do_eqp_t
0710: 65 73 74 20 33 2e 31 2e 32 20 7b 0a 20 20 20 20  est 3.1.2 {.    
0720: 57 49 54 48 20 63 6e 74 28 69 29 20 41 53 20 28  WITH cnt(i) AS (
0730: 20 53 45 4c 45 43 54 20 31 20 55 4e 49 4f 4e 20   SELECT 1 UNION 
0740: 41 4c 4c 20 53 45 4c 45 43 54 20 69 2b 31 20 46  ALL SELECT i+1 F
0750: 52 4f 4d 20 63 6e 74 20 4c 49 4d 49 54 20 31 29  ROM cnt LIMIT 1)
0760: 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52  .    SELECT * FR
0770: 4f 4d 20 63 6e 74 2c 20 79 31 20 57 48 45 52 45  OM cnt, y1 WHERE
0780: 20 69 3d 61 0a 20 20 7d 20 7b 0a 20 20 20 20 33   i=a.  } {.    3
0790: 20 30 20 30 20 7b 53 43 41 4e 20 54 41 42 4c 45   0 0 {SCAN TABLE
07a0: 20 63 6e 74 7d 20 0a 20 20 20 20 31 20 30 20 30   cnt} .    1 0 0
07b0: 20 7b 43 4f 4d 50 4f 55 4e 44 20 53 55 42 51 55   {COMPOUND SUBQU
07c0: 45 52 49 45 53 20 30 20 41 4e 44 20 30 20 28 55  ERIES 0 AND 0 (U
07d0: 4e 49 4f 4e 20 41 4c 4c 29 7d 0a 20 20 20 20 30  NION ALL)}.    0
07e0: 20 30 20 30 20 7b 53 43 41 4e 20 53 55 42 51 55   0 0 {SCAN SUBQU
07f0: 45 52 59 20 31 7d 20 0a 20 20 20 20 30 20 31 20  ERY 1} .    0 1 
0800: 31 20 7b 53 45 41 52 43 48 20 54 41 42 4c 45 20  1 {SEARCH TABLE 
0810: 79 31 20 55 53 49 4e 47 20 49 4e 44 45 58 20 79  y1 USING INDEX y
0820: 31 61 20 28 61 3d 3f 29 7d 0a 20 20 7d 0a 0a 20  1a (a=?)}.  }.. 
0830: 20 64 6f 5f 65 71 70 5f 74 65 73 74 20 33 2e 31   do_eqp_test 3.1
0840: 2e 33 20 7b 0a 20 20 20 20 57 49 54 48 20 63 6e  .3 {.    WITH cn
0850: 74 28 69 29 20 41 53 20 28 20 53 45 4c 45 43 54  t(i) AS ( SELECT
0860: 20 31 20 55 4e 49 4f 4e 20 41 4c 4c 20 53 45 4c   1 UNION ALL SEL
0870: 45 43 54 20 69 2b 31 20 46 52 4f 4d 20 63 6e 74  ECT i+1 FROM cnt
0880: 20 4c 49 4d 49 54 20 31 30 30 30 30 30 30 29 0a   LIMIT 1000000).
0890: 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f      SELECT * FRO
08a0: 4d 20 63 6e 74 2c 20 79 31 20 57 48 45 52 45 20  M cnt, y1 WHERE 
08b0: 69 3d 61 0a 20 20 7d 20 7b 0a 20 20 20 20 33 20  i=a.  } {.    3 
08c0: 30 20 30 20 7b 53 43 41 4e 20 54 41 42 4c 45 20  0 0 {SCAN TABLE 
08d0: 63 6e 74 7d 20 0a 20 20 20 20 31 20 30 20 30 20  cnt} .    1 0 0 
08e0: 7b 43 4f 4d 50 4f 55 4e 44 20 53 55 42 51 55 45  {COMPOUND SUBQUE
08f0: 52 49 45 53 20 30 20 41 4e 44 20 30 20 28 55 4e  RIES 0 AND 0 (UN
0900: 49 4f 4e 20 41 4c 4c 29 7d 0a 20 20 20 20 30 20  ION ALL)}.    0 
0910: 30 20 31 20 7b 53 43 41 4e 20 54 41 42 4c 45 20  0 1 {SCAN TABLE 
0920: 79 31 7d 20 0a 20 20 20 20 30 20 31 20 30 20 7b  y1} .    0 1 0 {
0930: 53 45 41 52 43 48 20 53 55 42 51 55 45 52 59 20  SEARCH SUBQUERY 
0940: 31 20 55 53 49 4e 47 20 41 55 54 4f 4d 41 54 49  1 USING AUTOMATI
0950: 43 20 43 4f 56 45 52 49 4e 47 20 49 4e 44 45 58  C COVERING INDEX
0960: 20 28 69 3d 3f 29 7d 0a 20 20 7d 0a 7d 0a 0a 64   (i=?)}.  }.}..d
0970: 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 33  o_execsql_test 3
0980: 2e 32 2e 31 20 7b 0a 20 20 43 52 45 41 54 45 20  .2.1 {.  CREATE 
0990: 54 41 42 4c 45 20 77 31 28 70 6b 20 49 4e 54 45  TABLE w1(pk INTE
09a0: 47 45 52 20 50 52 49 4d 41 52 59 20 4b 45 59 2c  GER PRIMARY KEY,
09b0: 20 78 20 49 4e 54 45 47 45 52 29 3b 0a 20 20 43   x INTEGER);.  C
09c0: 52 45 41 54 45 20 54 41 42 4c 45 20 77 32 28 70  REATE TABLE w2(p
09d0: 6b 20 49 4e 54 45 47 45 52 20 50 52 49 4d 41 52  k INTEGER PRIMAR
09e0: 59 20 4b 45 59 29 3b 0a 7d 0a 0a 64 6f 5f 65 71  Y KEY);.}..do_eq
09f0: 70 5f 74 65 73 74 20 33 2e 32 2e 32 20 7b 0a 20  p_test 3.2.2 {. 
0a00: 20 57 49 54 48 20 52 45 43 55 52 53 49 56 45 20   WITH RECURSIVE 
0a10: 63 28 77 2c 69 64 29 20 41 53 20 28 53 45 4c 45  c(w,id) AS (SELE
0a20: 43 54 20 30 2c 20 28 53 45 4c 45 43 54 20 70 6b  CT 0, (SELECT pk
0a30: 20 46 52 4f 4d 20 77 32 20 4c 49 4d 49 54 20 31   FROM w2 LIMIT 1
0a40: 29 0a 20 20 20 20 20 55 4e 49 4f 4e 20 41 4c 4c  ).     UNION ALL
0a50: 20 53 45 4c 45 43 54 20 63 2e 77 20 2b 20 31 2c   SELECT c.w + 1,
0a60: 20 78 20 46 52 4f 4d 20 77 31 2c 20 63 20 4c 49   x FROM w1, c LI
0a70: 4d 49 54 20 31 29 0a 20 20 20 20 20 53 45 4c 45  MIT 1).     SELE
0a80: 43 54 20 2a 20 46 52 4f 4d 20 63 2c 20 77 32 2c  CT * FROM c, w2,
0a90: 20 77 31 0a 20 20 20 20 20 57 48 45 52 45 20 63   w1.     WHERE c
0aa0: 2e 69 64 3d 77 32 2e 70 6b 20 41 4e 44 20 63 2e  .id=w2.pk AND c.
0ab0: 69 64 3d 77 31 2e 70 6b 3b 0a 7d 20 7b 0a 20 20  id=w1.pk;.} {.  
0ac0: 32 20 30 20 30 20 7b 45 58 45 43 55 54 45 20 53  2 0 0 {EXECUTE S
0ad0: 43 41 4c 41 52 20 53 55 42 51 55 45 52 59 20 33  CALAR SUBQUERY 3
0ae0: 7d 20 0a 20 20 33 20 30 20 30 20 7b 53 43 41 4e  } .  3 0 0 {SCAN
0af0: 20 54 41 42 4c 45 20 77 32 7d 20 0a 20 20 34 20   TABLE w2} .  4 
0b00: 30 20 30 20 7b 53 43 41 4e 20 54 41 42 4c 45 20  0 0 {SCAN TABLE 
0b10: 77 31 7d 0a 20 20 34 20 31 20 31 20 7b 53 43 41  w1}.  4 1 1 {SCA
0b20: 4e 20 54 41 42 4c 45 20 63 7d 20 0a 20 20 31 20  N TABLE c} .  1 
0b30: 30 20 30 20 7b 43 4f 4d 50 4f 55 4e 44 20 53 55  0 0 {COMPOUND SU
0b40: 42 51 55 45 52 49 45 53 20 30 20 41 4e 44 20 30  BQUERIES 0 AND 0
0b50: 20 28 55 4e 49 4f 4e 20 41 4c 4c 29 7d 20 30 20   (UNION ALL)} 0 
0b60: 30 20 30 20 7b 53 43 41 4e 20 53 55 42 51 55 45  0 0 {SCAN SUBQUE
0b70: 52 59 20 31 7d 0a 20 20 30 20 31 20 31 20 7b 53  RY 1}.  0 1 1 {S
0b80: 45 41 52 43 48 20 54 41 42 4c 45 20 77 32 20 55  EARCH TABLE w2 U
0b90: 53 49 4e 47 20 49 4e 54 45 47 45 52 20 50 52 49  SING INTEGER PRI
0ba0: 4d 41 52 59 20 4b 45 59 20 28 72 6f 77 69 64 3d  MARY KEY (rowid=
0bb0: 3f 29 7d 20 0a 20 20 30 20 32 20 32 20 7b 53 45  ?)} .  0 2 2 {SE
0bc0: 41 52 43 48 20 54 41 42 4c 45 20 77 31 20 55 53  ARCH TABLE w1 US
0bd0: 49 4e 47 20 49 4e 54 45 47 45 52 20 50 52 49 4d  ING INTEGER PRIM
0be0: 41 52 59 20 4b 45 59 20 28 72 6f 77 69 64 3d 3f  ARY KEY (rowid=?
0bf0: 29 7d 0a 7d 0a 0a 66 69 6e 69 73 68 5f 74 65 73  )}.}..finish_tes
0c00: 74 0a                                            t.