/ Hex Artifact Content
Login

Artifact 786ae3e0b6d8f7c9b83a98bffcd9d458b0de47c6a9f9dcf872043f54a4752c68:


0000: 23 20 32 30 31 38 2d 30 37 2d 32 36 0a 23 0a 23  # 2018-07-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 74 68 65 20 57 48 45 52 45 2d 63 6c  ing the WHERE-cl
01d0: 61 75 73 65 20 63 6f 6e 73 74 61 6e 74 20 70 72  ause constant pr
01e0: 6f 70 61 67 61 74 69 6f 6e 0a 23 20 6f 70 74 69  opagation.# opti
01f0: 6d 69 7a 61 74 69 6f 6e 2e 0a 23 0a 73 65 74 20  mization..#.set 
0200: 74 65 73 74 64 69 72 20 5b 66 69 6c 65 20 64 69  testdir [file di
0210: 72 6e 61 6d 65 20 24 61 72 67 76 30 5d 0a 73 6f  rname $argv0].so
0220: 75 72 63 65 20 24 74 65 73 74 64 69 72 2f 74 65  urce $testdir/te
0230: 73 74 65 72 2e 74 63 6c 0a 73 65 74 20 3a 3a 74  ster.tcl.set ::t
0240: 65 73 74 70 72 65 66 69 78 20 77 68 65 72 65 4c  estprefix whereL
0250: 0a 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73  ..do_execsql_tes
0260: 74 20 31 30 30 20 7b 0a 20 20 43 52 45 41 54 45  t 100 {.  CREATE
0270: 20 54 41 42 4c 45 20 74 31 28 61 20 49 4e 54 20   TABLE t1(a INT 
0280: 50 52 49 4d 41 52 59 20 4b 45 59 2c 20 62 2c 20  PRIMARY KEY, b, 
0290: 63 2c 20 64 2c 20 65 29 3b 0a 20 20 43 52 45 41  c, d, e);.  CREA
02a0: 54 45 20 54 41 42 4c 45 20 74 32 28 61 20 49 4e  TE TABLE t2(a IN
02b0: 54 20 50 52 49 4d 41 52 59 20 4b 45 59 2c 20 66  T PRIMARY KEY, f
02c0: 2c 20 67 2c 20 68 2c 20 69 29 3b 0a 20 20 43 52  , g, h, i);.  CR
02d0: 45 41 54 45 20 54 41 42 4c 45 20 74 33 28 61 20  EATE TABLE t3(a 
02e0: 49 4e 54 20 50 52 49 4d 41 52 59 20 4b 45 59 2c  INT PRIMARY KEY,
02f0: 20 6a 2c 20 6b 2c 20 6c 2c 20 6d 29 3b 0a 20 20   j, k, l, m);.  
0300: 43 52 45 41 54 45 20 56 49 45 57 20 76 34 20 41  CREATE VIEW v4 A
0310: 53 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20  S SELECT * FROM 
0320: 74 32 20 55 4e 49 4f 4e 20 41 4c 4c 20 53 45 4c  t2 UNION ALL SEL
0330: 45 43 54 20 2a 20 46 52 4f 4d 20 74 33 3b 0a 7d  ECT * FROM t3;.}
0340: 0a 64 6f 5f 65 71 70 5f 74 65 73 74 20 31 31 30  .do_eqp_test 110
0350: 20 7b 0a 20 20 53 45 4c 45 43 54 20 2a 20 46 52   {.  SELECT * FR
0360: 4f 4d 20 74 31 2c 20 76 34 20 57 48 45 52 45 20  OM t1, v4 WHERE 
0370: 74 31 2e 61 3d 3f 31 20 41 4e 44 20 76 34 2e 61  t1.a=?1 AND v4.a
0380: 3d 74 31 2e 61 3b 0a 7d 20 7b 0a 20 20 51 55 45  =t1.a;.} {.  QUE
0390: 52 59 20 50 4c 41 4e 0a 20 20 7c 2d 2d 4d 41 54  RY PLAN.  |--MAT
03a0: 45 52 49 41 4c 49 5a 45 20 78 78 78 78 78 78 0a  ERIALIZE xxxxxx.
03b0: 20 20 7c 20 20 60 2d 2d 43 4f 4d 50 4f 55 4e 44    |  `--COMPOUND
03c0: 20 51 55 45 52 59 0a 20 20 7c 20 20 20 20 20 7c   QUERY.  |     |
03d0: 2d 2d 4c 45 46 54 2d 4d 4f 53 54 20 53 55 42 51  --LEFT-MOST SUBQ
03e0: 55 45 52 59 0a 20 20 7c 20 20 20 20 20 7c 20 20  UERY.  |     |  
03f0: 60 2d 2d 53 45 41 52 43 48 20 54 41 42 4c 45 20  `--SEARCH TABLE 
0400: 74 32 20 55 53 49 4e 47 20 49 4e 44 45 58 20 73  t2 USING INDEX s
0410: 71 6c 69 74 65 5f 61 75 74 6f 69 6e 64 65 78 5f  qlite_autoindex_
0420: 74 32 5f 31 20 28 61 3d 3f 29 0a 20 20 7c 20 20  t2_1 (a=?).  |  
0430: 20 20 20 60 2d 2d 55 4e 49 4f 4e 20 41 4c 4c 0a     `--UNION ALL.
0440: 20 20 7c 20 20 20 20 20 20 20 20 60 2d 2d 53 45    |        `--SE
0450: 41 52 43 48 20 54 41 42 4c 45 20 74 33 20 55 53  ARCH TABLE t3 US
0460: 49 4e 47 20 49 4e 44 45 58 20 73 71 6c 69 74 65  ING INDEX sqlite
0470: 5f 61 75 74 6f 69 6e 64 65 78 5f 74 33 5f 31 20  _autoindex_t3_1 
0480: 28 61 3d 3f 29 0a 20 20 7c 2d 2d 53 43 41 4e 20  (a=?).  |--SCAN 
0490: 53 55 42 51 55 45 52 59 20 78 78 78 78 78 78 0a  SUBQUERY xxxxxx.
04a0: 20 20 60 2d 2d 53 45 41 52 43 48 20 54 41 42 4c    `--SEARCH TABL
04b0: 45 20 74 31 20 55 53 49 4e 47 20 49 4e 44 45 58  E t1 USING INDEX
04c0: 20 73 71 6c 69 74 65 5f 61 75 74 6f 69 6e 64 65   sqlite_autoinde
04d0: 78 5f 74 31 5f 31 20 28 61 3d 3f 29 0a 7d 0a 0a  x_t1_1 (a=?).}..
04e0: 23 20 54 68 65 20 73 63 61 6e 20 6f 66 20 74 68  # The scan of th
04f0: 65 20 74 31 20 74 61 62 6c 65 20 67 6f 65 73 20  e t1 table goes 
0500: 66 69 72 73 74 20 73 69 6e 63 65 20 74 68 61 74  first since that
0510: 20 65 6e 61 62 6c 65 73 20 74 68 65 20 4f 52 44   enables the ORD
0520: 45 52 20 42 59 0a 23 20 73 6f 72 74 20 74 6f 20  ER BY.# sort to 
0530: 62 65 20 6f 6d 69 74 74 65 64 2e 20 20 54 68 69  be omitted.  Thi
0540: 73 20 77 6f 75 6c 64 20 6e 6f 74 20 62 65 20 70  s would not be p
0550: 6f 73 73 69 62 6c 65 20 77 69 74 68 6f 75 74 20  ossible without 
0560: 63 6f 6e 73 74 61 6e 74 0a 23 20 70 72 6f 70 61  constant.# propa
0570: 67 61 74 69 6f 6e 20 62 65 63 61 75 73 65 20 77  gation because w
0580: 69 74 68 6f 75 74 20 69 74 20 74 68 65 20 74 31  ithout it the t1
0590: 20 74 61 62 6c 65 20 77 6f 75 6c 64 20 64 65 70   table would dep
05a0: 65 6e 64 20 6f 6e 20 74 33 2e 0a 23 0a 64 6f 5f  end on t3..#.do_
05b0: 65 71 70 5f 74 65 73 74 20 31 32 30 20 7b 0a 20  eqp_test 120 {. 
05c0: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74   SELECT * FROM t
05d0: 31 2c 20 74 32 2c 20 74 33 0a 20 20 20 57 48 45  1, t2, t3.   WHE
05e0: 52 45 20 74 31 2e 61 3d 74 32 2e 61 20 41 4e 44  RE t1.a=t2.a AND
05f0: 20 74 32 2e 61 3d 74 33 2e 6a 20 41 4e 44 20 74   t2.a=t3.j AND t
0600: 33 2e 6a 3d 35 0a 20 20 4f 52 44 45 52 20 42 59  3.j=5.  ORDER BY
0610: 20 74 31 2e 61 3b 0a 7d 20 7b 0a 20 20 51 55 45   t1.a;.} {.  QUE
0620: 52 59 20 50 4c 41 4e 0a 20 20 7c 2d 2d 53 45 41  RY PLAN.  |--SEA
0630: 52 43 48 20 54 41 42 4c 45 20 74 31 20 55 53 49  RCH TABLE t1 USI
0640: 4e 47 20 49 4e 44 45 58 20 73 71 6c 69 74 65 5f  NG INDEX sqlite_
0650: 61 75 74 6f 69 6e 64 65 78 5f 74 31 5f 31 20 28  autoindex_t1_1 (
0660: 61 3d 3f 29 0a 20 20 7c 2d 2d 53 45 41 52 43 48  a=?).  |--SEARCH
0670: 20 54 41 42 4c 45 20 74 32 20 55 53 49 4e 47 20   TABLE t2 USING 
0680: 49 4e 44 45 58 20 73 71 6c 69 74 65 5f 61 75 74  INDEX sqlite_aut
0690: 6f 69 6e 64 65 78 5f 74 32 5f 31 20 28 61 3d 3f  oindex_t2_1 (a=?
06a0: 29 0a 20 20 60 2d 2d 53 43 41 4e 20 54 41 42 4c  ).  `--SCAN TABL
06b0: 45 20 74 33 0a 7d 0a 0a 23 20 43 6f 6e 73 74 61  E t3.}..# Consta
06c0: 6e 74 20 70 72 6f 70 61 67 61 74 69 6f 6e 20 69  nt propagation i
06d0: 6e 20 74 68 65 20 66 61 63 65 20 6f 66 20 63 6f  n the face of co
06e0: 6c 6c 61 74 69 6e 67 20 73 65 71 75 65 6e 63 65  llating sequence
06f0: 73 3a 0a 23 0a 64 6f 5f 65 78 65 63 73 71 6c 5f  s:.#.do_execsql_
0700: 74 65 73 74 20 32 30 30 20 7b 0a 20 20 43 52 45  test 200 {.  CRE
0710: 41 54 45 20 54 41 42 4c 45 20 63 33 28 78 20 43  ATE TABLE c3(x C
0720: 4f 4c 4c 41 54 45 20 62 69 6e 61 72 79 2c 20 79  OLLATE binary, y
0730: 20 43 4f 4c 4c 41 54 45 20 6e 6f 63 61 73 65 2c   COLLATE nocase,
0740: 20 7a 20 43 4f 4c 4c 41 54 45 20 62 69 6e 61 72   z COLLATE binar
0750: 79 29 3b 0a 20 20 43 52 45 41 54 45 20 49 4e 44  y);.  CREATE IND
0760: 45 58 20 63 33 78 20 4f 4e 20 63 33 28 78 29 3b  EX c3x ON c3(x);
0770: 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 63  .  INSERT INTO c
0780: 33 20 56 41 4c 55 45 53 28 27 41 42 43 27 2c 20  3 VALUES('ABC', 
0790: 27 41 42 43 27 2c 20 27 61 62 63 27 29 3b 0a 20  'ABC', 'abc');. 
07a0: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 63   SELECT * FROM c
07b0: 33 20 57 48 45 52 45 20 78 3d 79 20 41 4e 44 20  3 WHERE x=y AND 
07c0: 79 3d 7a 20 41 4e 44 20 7a 3d 27 61 62 63 27 3b  y=z AND z='abc';
07d0: 0a 7d 20 7b 41 42 43 20 41 42 43 20 61 62 63 7d  .} {ABC ABC abc}
07e0: 0a 0a 23 20 49 66 20 74 68 65 20 63 6f 6e 73 74  ..# If the const
07f0: 61 6e 74 73 20 61 72 65 20 62 6c 69 6e 64 6c 79  ants are blindly
0800: 20 70 72 6f 70 61 67 61 74 65 64 2c 20 61 73 20   propagated, as 
0810: 73 68 6f 77 6e 20 69 6e 20 74 68 65 20 66 6f 6c  shown in the fol
0820: 6c 6f 77 69 6e 67 0a 23 20 71 75 65 72 79 2c 20  lowing.# query, 
0830: 74 68 65 20 77 72 6f 6e 67 20 61 6e 73 77 65 72  the wrong answer
0840: 20 72 65 73 75 6c 74 73 3a 0a 23 0a 64 6f 5f 65   results:.#.do_e
0850: 78 65 63 73 71 6c 5f 74 65 73 74 20 32 30 31 20  xecsql_test 201 
0860: 7b 0a 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f  {.  SELECT * FRO
0870: 4d 20 63 33 20 57 48 45 52 45 20 78 3d 27 61 62  M c3 WHERE x='ab
0880: 63 27 20 41 4e 44 20 79 3d 27 61 62 63 27 20 41  c' AND y='abc' A
0890: 4e 44 20 7a 3d 27 61 62 63 27 3b 0a 7d 20 7b 7d  ND z='abc';.} {}
08a0: 0a 0a 66 69 6e 69 73 68 5f 74 65 73 74 0a        ..finish_test.