/ Hex Artifact Content
Login

Artifact a38110becbdfa6325cd65cb588dca658cd885f62:


0000: 23 20 32 30 31 37 2d 30 32 2d 31 35 0a 23 0a 23  # 2017-02-15.#.#
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 0a 23 20 54 65 73 74 20 63 61 73 65  **.#.# Test case
0170: 73 20 74 6f 20 73 68 6f 77 20 74 68 61 74 20 61  s to show that a
0180: 20 6a 6f 69 6e 20 69 6e 76 6f 6c 76 69 6e 67 20   join involving 
0190: 61 6e 20 65 6d 70 74 79 20 74 61 62 6c 65 20 69  an empty table i
01a0: 73 20 76 65 72 79 20 66 61 73 74 2e 0a 23 0a 0a  s very fast..#..
01b0: 73 65 74 20 74 65 73 74 64 69 72 20 5b 66 69 6c  set testdir [fil
01c0: 65 20 64 69 72 6e 61 6d 65 20 24 61 72 67 76 30  e dirname $argv0
01d0: 5d 0a 73 6f 75 72 63 65 20 24 74 65 73 74 64 69  ].source $testdi
01e0: 72 2f 74 65 73 74 65 72 2e 74 63 6c 0a 0a 23 20  r/tester.tcl..# 
01f0: 42 75 69 6c 64 20 73 6f 6d 65 20 74 65 73 74 20  Build some test 
0200: 64 61 74 61 0a 23 0a 64 6f 5f 65 78 65 63 73 71  data.#.do_execsq
0210: 6c 5f 74 65 73 74 20 65 6d 70 74 79 74 61 62 6c  l_test emptytabl
0220: 65 2d 31 30 30 20 7b 0a 20 20 43 52 45 41 54 45  e-100 {.  CREATE
0230: 20 54 41 42 4c 45 20 74 31 28 61 29 3b 0a 20 20   TABLE t1(a);.  
0240: 57 49 54 48 20 52 45 43 55 52 53 49 56 45 20 63  WITH RECURSIVE c
0250: 28 78 29 20 41 53 20 28 56 41 4c 55 45 53 28 31  (x) AS (VALUES(1
0260: 29 20 55 4e 49 4f 4e 20 41 4c 4c 20 53 45 4c 45  ) UNION ALL SELE
0270: 43 54 20 78 2b 31 20 46 52 4f 4d 20 63 20 57 48  CT x+1 FROM c WH
0280: 45 52 45 20 78 3c 31 30 30 29 0a 20 20 20 20 49  ERE x<100).    I
0290: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 28 61 29  NSERT INTO t1(a)
02a0: 20 53 45 4c 45 43 54 20 78 20 46 52 4f 4d 20 63   SELECT x FROM c
02b0: 3b 0a 20 20 43 52 45 41 54 45 20 54 41 42 4c 45  ;.  CREATE TABLE
02c0: 20 65 6d 70 74 79 28 78 29 3b 0a 20 20 53 45 4c   empty(x);.  SEL
02d0: 45 43 54 20 63 6f 75 6e 74 28 2a 29 20 46 52 4f  ECT count(*) FRO
02e0: 4d 20 74 31 3b 0a 7d 20 7b 31 30 30 7d 0a 0a 23  M t1;.} {100}..#
02f0: 20 49 6e 74 65 72 72 75 70 74 20 71 75 65 72 69   Interrupt queri
0300: 65 73 20 61 66 74 65 72 20 31 4d 20 63 79 63 6c  es after 1M cycl
0310: 65 73 20 74 6f 20 70 72 65 76 65 6e 74 20 62 75  es to prevent bu
0320: 72 6e 69 6e 67 20 65 78 63 65 73 73 20 43 50 55  rning excess CPU
0330: 0a 70 72 6f 63 20 73 74 6f 70 44 62 20 7b 61 72  .proc stopDb {ar
0340: 67 73 7d 20 7b 0a 20 20 64 62 20 69 6e 74 65 72  gs} {.  db inter
0350: 72 75 70 74 0a 7d 0a 64 62 20 70 72 6f 67 72 65  rupt.}.db progre
0360: 73 73 20 31 30 30 30 30 30 30 20 7b 73 74 6f 70  ss 1000000 {stop
0370: 44 62 7d 0a 0a 23 20 50 72 69 6f 72 20 74 6f 20  Db}..# Prior to 
0380: 74 68 65 20 71 75 65 72 79 20 70 6c 61 6e 6e 65  the query planne
0390: 72 20 6f 70 74 69 6d 69 7a 61 74 69 6f 6e 20 6f  r optimization o
03a0: 6e 20 32 30 31 37 2d 30 32 2d 31 35 2c 20 74 68  n 2017-02-15, th
03b0: 69 73 20 71 75 65 72 79 20 77 6f 75 6c 64 0a 23  is query would.#
03c0: 20 74 61 6b 65 20 61 20 72 69 64 69 63 75 6c 6f   take a ridiculo
03d0: 75 73 20 61 6d 6f 75 6e 74 20 6f 66 20 74 69 6d  us amount of tim
03e0: 65 2e 20 20 49 66 20 74 68 61 74 20 6f 70 74 69  e.  If that opti
03f0: 6d 69 7a 61 74 69 6f 6e 20 73 74 6f 70 73 20 77  mization stops w
0400: 6f 72 6b 69 6e 67 2c 0a 23 20 74 68 65 20 72 65  orking,.# the re
0410: 73 75 6c 74 20 68 65 72 65 20 77 69 6c 6c 20 62  sult here will b
0420: 65 20 69 6e 20 69 6e 74 65 72 72 75 70 74 20 66  e in interrupt f
0430: 6f 72 20 72 75 6e 6e 69 6e 67 20 74 6f 6f 20 6c  or running too l
0440: 6f 6e 67 2e 0a 23 0a 64 6f 5f 63 61 74 63 68 73  ong..#.do_catchs
0450: 71 6c 5f 74 65 73 74 20 65 6d 70 74 79 74 61 62  ql_test emptytab
0460: 6c 65 2d 31 31 30 20 7b 0a 20 20 53 45 4c 45 43  le-110 {.  SELEC
0470: 54 20 63 6f 75 6e 74 28 2a 29 20 46 52 4f 4d 20  T count(*) FROM 
0480: 74 31 2c 20 74 31 2c 20 74 31 2c 20 74 31 2c 20  t1, t1, t1, t1, 
0490: 74 31 2c 20 74 31 2c 20 65 6d 70 74 79 3b 0a 7d  t1, t1, empty;.}
04a0: 20 7b 30 20 30 7d 0a 0a 64 6f 5f 63 61 74 63 68   {0 0}..do_catch
04b0: 73 71 6c 5f 74 65 73 74 20 65 6d 70 74 79 74 61  sql_test emptyta
04c0: 62 6c 65 2d 31 32 30 20 7b 0a 20 20 53 45 4c 45  ble-120 {.  SELE
04d0: 43 54 20 63 6f 75 6e 74 28 2a 29 20 46 52 4f 4d  CT count(*) FROM
04e0: 20 74 31 2c 20 74 31 20 4c 45 46 54 20 4a 4f 49   t1, t1 LEFT JOI
04f0: 4e 20 65 6d 70 74 79 3b 0a 7d 20 7b 30 20 31 30  N empty;.} {0 10
0500: 30 30 30 7d 0a 64 6f 5f 63 61 74 63 68 73 71 6c  000}.do_catchsql
0510: 5f 74 65 73 74 20 65 6d 70 74 79 74 61 62 6c 65  _test emptytable
0520: 2d 31 32 31 20 7b 0a 20 20 53 45 4c 45 43 54 20  -121 {.  SELECT 
0530: 63 6f 75 6e 74 28 2a 29 20 46 52 4f 4d 20 74 31  count(*) FROM t1
0540: 2c 20 74 31 20 4c 45 46 54 20 4a 4f 49 4e 20 74  , t1 LEFT JOIN t
0550: 31 2c 20 65 6d 70 74 79 3b 0a 7d 20 7b 30 20 30  1, empty;.} {0 0
0560: 7d 0a 0a 0a 66 69 6e 69 73 68 5f 74 65 73 74 0a  }...finish_test.