/ Hex Artifact Content
Login

Artifact f1b5ba94ba70a791df2d99e61adcebf62edacad1eca57881c97eb3e2ca718595:


0000: 23 20 32 30 30 32 20 4d 61 79 20 32 34 0a 23 0a  # 2002 May 24.#.
0010: 23 20 54 68 65 20 61 75 74 68 6f 72 20 64 69 73  # The author dis
0020: 63 6c 61 69 6d 73 20 63 6f 70 79 72 69 67 68 74  claims copyright
0030: 20 74 6f 20 74 68 69 73 20 73 6f 75 72 63 65 20   to this source 
0040: 63 6f 64 65 2e 20 20 49 6e 20 70 6c 61 63 65 20  code.  In place 
0050: 6f 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e 6f 74  of.# a legal not
0060: 69 63 65 2c 20 68 65 72 65 20 69 73 20 61 20 62  ice, here is a b
0070: 6c 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20 20 20  lessing:.#.#    
0080: 4d 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f 64 20  May you do good 
0090: 61 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a 23 20  and not evil..# 
00a0: 20 20 20 4d 61 79 20 79 6f 75 20 66 69 6e 64 20     May you find 
00b0: 66 6f 72 67 69 76 65 6e 65 73 73 20 66 6f 72 20  forgiveness for 
00c0: 79 6f 75 72 73 65 6c 66 20 61 6e 64 20 66 6f 72  yourself and for
00d0: 67 69 76 65 20 6f 74 68 65 72 73 2e 0a 23 20 20  give others..#  
00e0: 20 20 4d 61 79 20 79 6f 75 20 73 68 61 72 65 20    May you share 
00f0: 66 72 65 65 6c 79 2c 20 6e 65 76 65 72 20 74 61  freely, never ta
0100: 6b 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e 20 79  king more than y
0110: 6f 75 20 67 69 76 65 2e 0a 23 0a 23 2a 2a 2a 2a  ou 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 0a 23 20 54 68 69 73 20 66 69 6c 65 20  ***.# This file 
0170: 69 6d 70 6c 65 6d 65 6e 74 73 20 72 65 67 72 65  implements regre
0180: 73 73 69 6f 6e 20 74 65 73 74 73 20 66 6f 72 20  ssion tests for 
0190: 53 51 4c 69 74 65 20 6c 69 62 72 61 72 79 2e 0a  SQLite library..
01a0: 23 0a 23 20 54 68 69 73 20 66 69 6c 65 20 69 6d  #.# This file im
01b0: 70 6c 65 6d 65 6e 74 73 20 74 65 73 74 73 20 66  plements tests f
01c0: 6f 72 20 6a 6f 69 6e 73 2c 20 69 6e 63 6c 75 64  or joins, includ
01d0: 69 6e 67 20 6f 75 74 65 72 20 6a 6f 69 6e 73 2e  ing outer joins.
01e0: 0a 23 0a 0a 73 65 74 20 74 65 73 74 64 69 72 20  .#..set testdir 
01f0: 5b 66 69 6c 65 20 64 69 72 6e 61 6d 65 20 24 61  [file dirname $a
0200: 72 67 76 30 5d 0a 73 6f 75 72 63 65 20 24 74 65  rgv0].source $te
0210: 73 74 64 69 72 2f 74 65 73 74 65 72 2e 74 63 6c  stdir/tester.tcl
0220: 0a 73 65 74 20 74 65 73 74 70 72 65 66 69 78 20  .set testprefix 
0230: 6a 6f 69 6e 32 0a 0a 64 6f 5f 74 65 73 74 20 6a  join2..do_test j
0240: 6f 69 6e 32 2d 31 2e 31 20 7b 0a 20 20 65 78 65  oin2-1.1 {.  exe
0250: 63 73 71 6c 20 7b 0a 20 20 20 20 43 52 45 41 54  csql {.    CREAT
0260: 45 20 54 41 42 4c 45 20 74 31 28 61 2c 62 29 3b  E TABLE t1(a,b);
0270: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
0280: 20 74 31 20 56 41 4c 55 45 53 28 31 2c 31 31 29   t1 VALUES(1,11)
0290: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  ;.    INSERT INT
02a0: 4f 20 74 31 20 56 41 4c 55 45 53 28 32 2c 32 32  O t1 VALUES(2,22
02b0: 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e  );.    INSERT IN
02c0: 54 4f 20 74 31 20 56 41 4c 55 45 53 28 33 2c 33  TO t1 VALUES(3,3
02d0: 33 29 3b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a  3);.    SELECT *
02e0: 20 46 52 4f 4d 20 74 31 3b 0a 20 20 7d 20 20 0a   FROM t1;.  }  .
02f0: 7d 20 7b 31 20 31 31 20 32 20 32 32 20 33 20 33  } {1 11 2 22 3 3
0300: 33 7d 0a 64 6f 5f 74 65 73 74 20 6a 6f 69 6e 32  3}.do_test join2
0310: 2d 31 2e 32 20 7b 0a 20 20 65 78 65 63 73 71 6c  -1.2 {.  execsql
0320: 20 7b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41   {.    CREATE TA
0330: 42 4c 45 20 74 32 28 62 2c 63 29 3b 0a 20 20 20  BLE t2(b,c);.   
0340: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20   INSERT INTO t2 
0350: 56 41 4c 55 45 53 28 31 31 2c 31 31 31 29 3b 0a  VALUES(11,111);.
0360: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
0370: 74 32 20 56 41 4c 55 45 53 28 33 33 2c 33 33 33  t2 VALUES(33,333
0380: 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e  );.    INSERT IN
0390: 54 4f 20 74 32 20 56 41 4c 55 45 53 28 34 34 2c  TO t2 VALUES(44,
03a0: 34 34 34 29 3b 0a 20 20 20 20 53 45 4c 45 43 54  444);.    SELECT
03b0: 20 2a 20 46 52 4f 4d 20 74 32 3b 0a 20 20 7d 20   * FROM t2;.  } 
03c0: 20 0a 7d 20 7b 31 31 20 31 31 31 20 33 33 20 33   .} {11 111 33 3
03d0: 33 33 20 34 34 20 34 34 34 7d 3b 0a 64 6f 5f 74  33 44 444};.do_t
03e0: 65 73 74 20 6a 6f 69 6e 32 2d 31 2e 33 20 7b 0a  est join2-1.3 {.
03f0: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
0400: 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 33 28  CREATE TABLE t3(
0410: 63 2c 64 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  c,d);.    INSERT
0420: 20 49 4e 54 4f 20 74 33 20 56 41 4c 55 45 53 28   INTO t3 VALUES(
0430: 31 31 31 2c 31 31 31 31 29 3b 0a 20 20 20 20 49  111,1111);.    I
0440: 4e 53 45 52 54 20 49 4e 54 4f 20 74 33 20 56 41  NSERT INTO t3 VA
0450: 4c 55 45 53 28 34 34 34 2c 34 34 34 34 29 3b 0a  LUES(444,4444);.
0460: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
0470: 74 33 20 56 41 4c 55 45 53 28 35 35 35 2c 35 35  t3 VALUES(555,55
0480: 35 35 29 3b 0a 20 20 20 20 53 45 4c 45 43 54 20  55);.    SELECT 
0490: 2a 20 46 52 4f 4d 20 74 33 3b 0a 20 20 7d 20 20  * FROM t3;.  }  
04a0: 0a 7d 20 7b 31 31 31 20 31 31 31 31 20 34 34 34  .} {111 1111 444
04b0: 20 34 34 34 34 20 35 35 35 20 35 35 35 35 7d 0a   4444 555 5555}.
04c0: 0a 64 6f 5f 74 65 73 74 20 6a 6f 69 6e 32 2d 31  .do_test join2-1
04d0: 2e 34 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  .4 {.  execsql {
04e0: 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52  .    SELECT * FR
04f0: 4f 4d 0a 20 20 20 20 20 20 74 31 20 4e 41 54 55  OM.      t1 NATU
0500: 52 41 4c 20 4a 4f 49 4e 20 74 32 20 4e 41 54 55  RAL JOIN t2 NATU
0510: 52 41 4c 20 4a 4f 49 4e 20 74 33 0a 20 20 7d 0a  RAL JOIN t3.  }.
0520: 7d 20 7b 31 20 31 31 20 31 31 31 20 31 31 31 31  } {1 11 111 1111
0530: 7d 0a 64 6f 5f 74 65 73 74 20 6a 6f 69 6e 32 2d  }.do_test join2-
0540: 31 2e 35 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  1.5 {.  execsql 
0550: 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46  {.    SELECT * F
0560: 52 4f 4d 0a 20 20 20 20 20 20 74 31 20 4e 41 54  ROM.      t1 NAT
0570: 55 52 41 4c 20 4a 4f 49 4e 20 74 32 20 4e 41 54  URAL JOIN t2 NAT
0580: 55 52 41 4c 20 4c 45 46 54 20 4f 55 54 45 52 20  URAL LEFT OUTER 
0590: 4a 4f 49 4e 20 74 33 0a 20 20 7d 0a 7d 20 7b 31  JOIN t3.  }.} {1
05a0: 20 31 31 20 31 31 31 20 31 31 31 31 20 33 20 33   11 111 1111 3 3
05b0: 33 20 33 33 33 20 7b 7d 7d 0a 64 6f 5f 74 65 73  3 333 {}}.do_tes
05c0: 74 20 6a 6f 69 6e 32 2d 31 2e 36 20 7b 0a 20 20  t join2-1.6 {.  
05d0: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45  execsql {.    SE
05e0: 4c 45 43 54 20 2a 20 46 52 4f 4d 0a 20 20 20 20  LECT * FROM.    
05f0: 20 20 74 31 20 4e 41 54 55 52 41 4c 20 4c 45 46    t1 NATURAL LEF
0600: 54 20 4f 55 54 45 52 20 4a 4f 49 4e 20 74 32 20  T OUTER JOIN t2 
0610: 4e 41 54 55 52 41 4c 20 4a 4f 49 4e 20 74 33 0a  NATURAL JOIN t3.
0620: 20 20 7d 0a 7d 20 7b 31 20 31 31 20 31 31 31 20    }.} {1 11 111 
0630: 31 31 31 31 7d 0a 69 66 63 61 70 61 62 6c 65 20  1111}.ifcapable 
0640: 73 75 62 71 75 65 72 79 20 7b 0a 20 20 64 6f 5f  subquery {.  do_
0650: 74 65 73 74 20 6a 6f 69 6e 32 2d 31 2e 37 20 7b  test join2-1.7 {
0660: 0a 20 20 20 20 65 78 65 63 73 71 6c 20 7b 0a 20  .    execsql {. 
0670: 20 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52       SELECT * FR
0680: 4f 4d 0a 20 20 20 20 20 20 20 20 74 31 20 4e 41  OM.        t1 NA
0690: 54 55 52 41 4c 20 4c 45 46 54 20 4f 55 54 45 52  TURAL LEFT OUTER
06a0: 20 4a 4f 49 4e 20 28 74 32 20 4e 41 54 55 52 41   JOIN (t2 NATURA
06b0: 4c 20 4a 4f 49 4e 20 74 33 29 0a 20 20 20 20 7d  L JOIN t3).    }
06c0: 0a 20 20 7d 20 7b 31 20 31 31 20 31 31 31 20 31  .  } {1 11 111 1
06d0: 31 31 31 20 32 20 32 32 20 7b 7d 20 7b 7d 20 33  111 2 22 {} {} 3
06e0: 20 33 33 20 7b 7d 20 7b 7d 7d 0a 7d 0a 0a 23 2d   33 {} {}}.}..#-
06f0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0700: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0710: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0720: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0730: 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 43 68 65 63 6b  --------.# Check
0740: 20 74 68 61 74 20 74 69 63 6b 65 74 20 5b 32 35   that ticket [25
0750: 65 33 33 35 66 38 30 32 64 64 63 5d 20 68 61 73  e335f802ddc] has
0760: 20 62 65 65 6e 20 72 65 73 6f 6c 76 65 64 2e 20   been resolved. 
0770: 49 74 20 73 68 6f 75 6c 64 20 62 65 20 61 6e 0a  It should be an.
0780: 23 20 65 72 72 6f 72 20 66 6f 72 20 74 68 65 20  # error for the 
0790: 4f 4e 20 63 6c 61 75 73 65 20 6f 66 20 61 20 4c  ON clause of a L
07a0: 45 46 54 20 4a 4f 49 4e 20 74 6f 20 72 65 66 65  EFT JOIN to refe
07b0: 72 20 74 6f 20 61 20 74 61 62 6c 65 20 74 6f 20  r to a table to 
07c0: 69 74 73 20 72 69 67 68 74 2e 0a 23 0a 64 6f 5f  its right..#.do_
07d0: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 32 2e 30  execsql_test 2.0
07e0: 20 7b 0a 20 20 43 52 45 41 54 45 20 54 41 42 4c   {.  CREATE TABL
07f0: 45 20 61 61 28 61 29 3b 0a 20 20 43 52 45 41 54  E aa(a);.  CREAT
0800: 45 20 54 41 42 4c 45 20 62 62 28 62 29 3b 0a 20  E TABLE bb(b);. 
0810: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 63 63   CREATE TABLE cc
0820: 28 63 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e  (c);.  INSERT IN
0830: 54 4f 20 61 61 20 56 41 4c 55 45 53 28 27 6f 6e  TO aa VALUES('on
0840: 65 27 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e  e');.  INSERT IN
0850: 54 4f 20 62 62 20 56 41 4c 55 45 53 28 27 6f 6e  TO bb VALUES('on
0860: 65 27 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e  e');.  INSERT IN
0870: 54 4f 20 63 63 20 56 41 4c 55 45 53 28 27 6f 6e  TO cc VALUES('on
0880: 65 27 29 3b 0a 7d 0a 0a 64 6f 5f 63 61 74 63 68  e');.}..do_catch
0890: 73 71 6c 5f 74 65 73 74 20 32 2e 31 20 7b 0a 20  sql_test 2.1 {. 
08a0: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 61   SELECT * FROM a
08b0: 61 20 4c 45 46 54 20 4a 4f 49 4e 20 63 63 20 4f  a LEFT JOIN cc O
08c0: 4e 20 28 61 3d 62 29 20 4a 4f 49 4e 20 62 62 20  N (a=b) JOIN bb 
08d0: 4f 4e 20 28 62 3d 63 29 3b 0a 7d 20 7b 31 20 7b  ON (b=c);.} {1 {
08e0: 4f 4e 20 63 6c 61 75 73 65 20 72 65 66 65 72 65  ON clause refere
08f0: 6e 63 65 73 20 74 61 62 6c 65 73 20 74 6f 20 69  nces tables to i
0900: 74 73 20 72 69 67 68 74 7d 7d 0a 64 6f 5f 63 61  ts right}}.do_ca
0910: 74 63 68 73 71 6c 5f 74 65 73 74 20 32 2e 32 20  tchsql_test 2.2 
0920: 7b 0a 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f  {.  SELECT * FRO
0930: 4d 20 61 61 20 4a 4f 49 4e 20 63 63 20 4f 4e 20  M aa JOIN cc ON 
0940: 28 61 3d 62 29 20 4a 4f 49 4e 20 62 62 20 4f 4e  (a=b) JOIN bb ON
0950: 20 28 62 3d 63 29 3b 0a 7d 20 7b 30 20 7b 6f 6e   (b=c);.} {0 {on
0960: 65 20 6f 6e 65 20 6f 6e 65 7d 7d 0a 0a 23 2d 2d  e one one}}..#--
0970: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0980: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0990: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
09a0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
09b0: 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54 65 73 74 20 74  -------.# Test t
09c0: 68 61 74 20 61 20 70 72 6f 62 6c 65 6d 20 63 61  hat a problem ca
09d0: 75 73 69 6e 67 20 77 68 65 72 65 2e 63 20 74 6f  using where.c to
09e0: 20 6f 76 65 72 6c 6f 6f 6b 20 6f 70 70 6f 72 74   overlook opport
09f0: 75 6e 69 74 69 65 73 20 74 6f 0a 23 20 6f 6d 69  unities to.# omi
0a00: 74 20 75 6e 6e 65 63 65 73 73 61 72 79 20 74 61  t unnecessary ta
0a10: 62 6c 65 73 20 66 72 6f 6d 20 61 20 4c 45 46 54  bles from a LEFT
0a20: 20 4a 4f 49 4e 20 77 68 65 6e 20 55 4e 49 51 55   JOIN when UNIQU
0a30: 45 2c 20 4e 4f 54 20 4e 55 4c 4c 20 63 6f 6c 75  E, NOT NULL colu
0a40: 6d 6e 20 0a 23 20 74 68 61 74 20 6d 61 6b 65 73  mn .# that makes
0a50: 20 74 68 69 73 20 70 6f 73 73 69 62 6c 65 20 68   this possible h
0a60: 61 70 70 65 6e 73 20 74 6f 20 62 65 20 74 68 65  appens to be the
0a70: 20 6c 65 66 74 6d 6f 73 74 20 69 6e 20 69 74 73   leftmost in its
0a80: 20 74 61 62 6c 65 2e 0a 23 0a 72 65 73 65 74 5f   table..#.reset_
0a90: 64 62 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65  db.do_execsql_te
0aa0: 73 74 20 33 2e 30 20 7b 0a 20 20 43 52 45 41 54  st 3.0 {.  CREAT
0ab0: 45 20 54 41 42 4c 45 20 74 31 28 6b 31 20 49 4e  E TABLE t1(k1 IN
0ac0: 54 45 47 45 52 20 50 52 49 4d 41 52 59 20 4b 45  TEGER PRIMARY KE
0ad0: 59 2c 20 6b 32 2c 20 6b 33 29 3b 0a 20 20 43 52  Y, k2, k3);.  CR
0ae0: 45 41 54 45 20 54 41 42 4c 45 20 74 32 28 6b 32  EATE TABLE t2(k2
0af0: 20 49 4e 54 45 47 45 52 20 50 52 49 4d 41 52 59   INTEGER PRIMARY
0b00: 20 4b 45 59 2c 20 76 32 29 3b 0a 0a 20 20 2d 2d   KEY, v2);..  --
0b10: 20 50 72 69 6f 72 20 74 6f 20 74 68 69 73 20 70   Prior to this p
0b20: 72 6f 62 6c 65 6d 20 62 65 69 6e 67 20 66 69 78  roblem being fix
0b30: 65 64 2c 20 74 61 62 6c 65 20 74 33 5f 32 20 77  ed, table t3_2 w
0b40: 6f 75 6c 64 20 62 65 20 6f 6d 69 74 74 65 64 20  ould be omitted 
0b50: 66 72 6f 6d 0a 20 20 2d 2d 20 74 68 65 20 6a 6f  from.  -- the jo
0b60: 69 6e 20 71 75 65 72 69 65 73 20 62 65 6c 6f 77  in queries below
0b70: 2c 20 62 75 74 20 69 66 20 74 33 5f 31 20 77 65  , but if t3_1 we
0b80: 72 65 20 75 73 65 64 20 69 6e 20 69 74 73 20 70  re used in its p
0b90: 6c 61 63 65 20 69 74 20 77 6f 75 6c 64 0a 20 20  lace it would.  
0ba0: 2d 2d 20 6e 6f 74 2e 0a 20 20 43 52 45 41 54 45  -- not..  CREATE
0bb0: 20 54 41 42 4c 45 20 74 33 5f 31 28 6b 33 20 50   TABLE t3_1(k3 P
0bc0: 52 49 4d 41 52 59 20 4b 45 59 2c 20 76 33 29 20  RIMARY KEY, v3) 
0bd0: 57 49 54 48 4f 55 54 20 52 4f 57 49 44 3b 0a 20  WITHOUT ROWID;. 
0be0: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 33   CREATE TABLE t3
0bf0: 5f 32 28 76 33 2c 20 6b 33 20 50 52 49 4d 41 52  _2(v3, k3 PRIMAR
0c00: 59 20 4b 45 59 29 20 57 49 54 48 4f 55 54 20 52  Y KEY) WITHOUT R
0c10: 4f 57 49 44 3b 0a 7d 0a 0a 64 6f 5f 65 71 70 5f  OWID;.}..do_eqp_
0c20: 74 65 73 74 20 33 2e 31 20 7b 0a 20 20 53 45 4c  test 3.1 {.  SEL
0c30: 45 43 54 20 76 32 20 46 52 4f 4d 20 74 31 20 4c  ECT v2 FROM t1 L
0c40: 45 46 54 20 4a 4f 49 4e 20 74 32 20 55 53 49 4e  EFT JOIN t2 USIN
0c50: 47 20 28 6b 32 29 20 4c 45 46 54 20 4a 4f 49 4e  G (k2) LEFT JOIN
0c60: 20 74 33 5f 31 20 55 53 49 4e 47 20 28 6b 33 29   t3_1 USING (k3)
0c70: 3b 0a 7d 20 7b 0a 20 20 30 20 30 20 30 20 7b 53  ;.} {.  0 0 0 {S
0c80: 43 41 4e 20 54 41 42 4c 45 20 74 31 7d 20 0a 20  CAN TABLE t1} . 
0c90: 20 30 20 31 20 31 20 7b 53 45 41 52 43 48 20 54   0 1 1 {SEARCH T
0ca0: 41 42 4c 45 20 74 32 20 55 53 49 4e 47 20 49 4e  ABLE t2 USING IN
0cb0: 54 45 47 45 52 20 50 52 49 4d 41 52 59 20 4b 45  TEGER PRIMARY KE
0cc0: 59 20 28 72 6f 77 69 64 3d 3f 29 7d 0a 7d 0a 0a  Y (rowid=?)}.}..
0cd0: 64 6f 5f 65 71 70 5f 74 65 73 74 20 33 2e 32 20  do_eqp_test 3.2 
0ce0: 7b 0a 20 20 53 45 4c 45 43 54 20 76 32 20 46 52  {.  SELECT v2 FR
0cf0: 4f 4d 20 74 31 20 4c 45 46 54 20 4a 4f 49 4e 20  OM t1 LEFT JOIN 
0d00: 74 32 20 55 53 49 4e 47 20 28 6b 32 29 20 4c 45  t2 USING (k2) LE
0d10: 46 54 20 4a 4f 49 4e 20 74 33 5f 32 20 55 53 49  FT JOIN t3_2 USI
0d20: 4e 47 20 28 6b 33 29 3b 0a 7d 20 7b 0a 20 20 30  NG (k3);.} {.  0
0d30: 20 30 20 30 20 7b 53 43 41 4e 20 54 41 42 4c 45   0 0 {SCAN TABLE
0d40: 20 74 31 7d 20 0a 20 20 30 20 31 20 31 20 7b 53   t1} .  0 1 1 {S
0d50: 45 41 52 43 48 20 54 41 42 4c 45 20 74 32 20 55  EARCH TABLE t2 U
0d60: 53 49 4e 47 20 49 4e 54 45 47 45 52 20 50 52 49  SING INTEGER PRI
0d70: 4d 41 52 59 20 4b 45 59 20 28 72 6f 77 69 64 3d  MARY KEY (rowid=
0d80: 3f 29 7d 0a 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d  ?)}.}..#--------
0d90: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0da0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0db0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0dc0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0dd0: 2d 0a 23 20 54 65 73 74 20 74 68 61 74 20 74 61  -.# Test that ta
0de0: 62 6c 65 73 20 6f 74 68 65 72 20 74 68 61 6e 20  bles other than 
0df0: 74 68 65 20 72 69 67 68 74 6d 6f 73 74 20 63 61  the rightmost ca
0e00: 6e 20 62 65 20 6f 6d 69 74 74 65 64 20 66 72 6f  n be omitted fro
0e10: 6d 20 61 0a 23 20 4c 45 46 54 20 4a 4f 49 4e 20  m a.# LEFT JOIN 
0e20: 71 75 65 72 79 2e 0a 23 0a 64 6f 5f 65 78 65 63  query..#.do_exec
0e30: 73 71 6c 5f 74 65 73 74 20 34 2e 30 20 7b 0a 20  sql_test 4.0 {. 
0e40: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 63 31   CREATE TABLE c1
0e50: 28 6b 20 49 4e 54 45 47 45 52 20 50 52 49 4d 41  (k INTEGER PRIMA
0e60: 52 59 20 4b 45 59 2c 20 76 31 29 3b 0a 20 20 43  RY KEY, v1);.  C
0e70: 52 45 41 54 45 20 54 41 42 4c 45 20 63 32 28 6b  REATE TABLE c2(k
0e80: 20 49 4e 54 45 47 45 52 20 50 52 49 4d 41 52 59   INTEGER PRIMARY
0e90: 20 4b 45 59 2c 20 76 32 29 3b 0a 20 20 43 52 45   KEY, v2);.  CRE
0ea0: 41 54 45 20 54 41 42 4c 45 20 63 33 28 6b 20 49  ATE TABLE c3(k I
0eb0: 4e 54 45 47 45 52 20 50 52 49 4d 41 52 59 20 4b  NTEGER PRIMARY K
0ec0: 45 59 2c 20 76 33 29 3b 0a 0a 20 20 49 4e 53 45  EY, v3);..  INSE
0ed0: 52 54 20 49 4e 54 4f 20 63 31 20 56 41 4c 55 45  RT INTO c1 VALUE
0ee0: 53 28 31 2c 20 32 29 3b 0a 20 20 49 4e 53 45 52  S(1, 2);.  INSER
0ef0: 54 20 49 4e 54 4f 20 63 32 20 56 41 4c 55 45 53  T INTO c2 VALUES
0f00: 28 32 2c 20 33 29 3b 0a 20 20 49 4e 53 45 52 54  (2, 3);.  INSERT
0f10: 20 49 4e 54 4f 20 63 33 20 56 41 4c 55 45 53 28   INTO c3 VALUES(
0f20: 33 2c 20 27 76 33 27 29 3b 0a 0a 20 20 49 4e 53  3, 'v3');..  INS
0f30: 45 52 54 20 49 4e 54 4f 20 63 31 20 56 41 4c 55  ERT INTO c1 VALU
0f40: 45 53 28 31 31 31 2c 20 31 31 31 32 29 3b 0a 20  ES(111, 1112);. 
0f50: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 63 32 20   INSERT INTO c2 
0f60: 56 41 4c 55 45 53 28 31 31 32 2c 20 31 31 31 33  VALUES(112, 1113
0f70: 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  );.  INSERT INTO
0f80: 20 63 33 20 56 41 4c 55 45 53 28 31 31 33 2c 20   c3 VALUES(113, 
0f90: 27 76 31 31 31 33 27 29 3b 0a 7d 0a 64 6f 5f 65  'v1113');.}.do_e
0fa0: 78 65 63 73 71 6c 5f 74 65 73 74 20 34 2e 31 2e  xecsql_test 4.1.
0fb0: 31 20 7b 0a 20 20 53 45 4c 45 43 54 20 76 31 2c  1 {.  SELECT v1,
0fc0: 20 76 33 20 46 52 4f 4d 20 63 31 20 4c 45 46 54   v3 FROM c1 LEFT
0fd0: 20 4a 4f 49 4e 20 63 32 20 4f 4e 20 28 63 32 2e   JOIN c2 ON (c2.
0fe0: 6b 3d 76 31 29 20 4c 45 46 54 20 4a 4f 49 4e 20  k=v1) LEFT JOIN 
0ff0: 63 33 20 4f 4e 20 28 63 33 2e 6b 3d 76 32 29 3b  c3 ON (c3.k=v2);
1000: 0a 7d 20 7b 32 20 76 33 20 31 31 31 32 20 7b 7d  .} {2 v3 1112 {}
1010: 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73  }.do_execsql_tes
1020: 74 20 34 2e 31 2e 32 20 7b 0a 20 20 53 45 4c 45  t 4.1.2 {.  SELE
1030: 43 54 20 76 31 2c 20 76 33 20 46 52 4f 4d 20 63  CT v1, v3 FROM c
1040: 31 20 4c 45 46 54 20 4a 4f 49 4e 20 63 32 20 4f  1 LEFT JOIN c2 O
1050: 4e 20 28 63 32 2e 6b 3d 76 31 29 20 4c 45 46 54  N (c2.k=v1) LEFT
1060: 20 4a 4f 49 4e 20 63 33 20 4f 4e 20 28 63 33 2e   JOIN c3 ON (c3.
1070: 6b 3d 76 31 2b 31 29 3b 0a 7d 20 7b 32 20 76 33  k=v1+1);.} {2 v3
1080: 20 31 31 31 32 20 7b 7d 7d 0a 0a 64 6f 5f 65 78   1112 {}}..do_ex
1090: 65 63 73 71 6c 5f 74 65 73 74 20 34 2e 31 2e 33  ecsql_test 4.1.3
10a0: 20 7b 0a 20 20 53 45 4c 45 43 54 20 44 49 53 54   {.  SELECT DIST
10b0: 49 4e 43 54 20 76 31 2c 20 76 33 20 46 52 4f 4d  INCT v1, v3 FROM
10c0: 20 63 31 20 4c 45 46 54 20 4a 4f 49 4e 20 63 32   c1 LEFT JOIN c2
10d0: 20 4c 45 46 54 20 4a 4f 49 4e 20 63 33 20 4f 4e   LEFT JOIN c3 ON
10e0: 20 28 63 33 2e 6b 3d 76 31 2b 31 29 3b 0a 7d 20   (c3.k=v1+1);.} 
10f0: 7b 32 20 76 33 20 31 31 31 32 20 7b 7d 7d 0a 0a  {2 v3 1112 {}}..
1100: 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20  do_execsql_test 
1110: 34 2e 31 2e 34 20 7b 0a 20 20 53 45 4c 45 43 54  4.1.4 {.  SELECT
1120: 20 76 31 2c 20 76 33 20 46 52 4f 4d 20 63 31 20   v1, v3 FROM c1 
1130: 4c 45 46 54 20 4a 4f 49 4e 20 63 32 20 4c 45 46  LEFT JOIN c2 LEF
1140: 54 20 4a 4f 49 4e 20 63 33 20 4f 4e 20 28 63 33  T JOIN c3 ON (c3
1150: 2e 6b 3d 76 31 2b 31 29 3b 0a 7d 20 7b 32 20 76  .k=v1+1);.} {2 v
1160: 33 20 32 20 76 33 20 31 31 31 32 20 7b 7d 20 31  3 2 v3 1112 {} 1
1170: 31 31 32 20 7b 7d 7d 0a 0a 64 6f 5f 65 71 70 5f  112 {}}..do_eqp_
1180: 74 65 73 74 20 34 2e 31 2e 35 20 7b 0a 20 20 53  test 4.1.5 {.  S
1190: 45 4c 45 43 54 20 76 31 2c 20 76 33 20 46 52 4f  ELECT v1, v3 FRO
11a0: 4d 20 63 31 20 4c 45 46 54 20 4a 4f 49 4e 20 63  M c1 LEFT JOIN c
11b0: 32 20 4f 4e 20 28 63 32 2e 6b 3d 76 31 29 20 4c  2 ON (c2.k=v1) L
11c0: 45 46 54 20 4a 4f 49 4e 20 63 33 20 4f 4e 20 28  EFT JOIN c3 ON (
11d0: 63 33 2e 6b 3d 76 32 29 3b 0a 7d 20 7b 0a 20 20  c3.k=v2);.} {.  
11e0: 30 20 30 20 30 20 7b 53 43 41 4e 20 54 41 42 4c  0 0 0 {SCAN TABL
11f0: 45 20 63 31 7d 20 0a 20 20 30 20 31 20 31 20 7b  E c1} .  0 1 1 {
1200: 53 45 41 52 43 48 20 54 41 42 4c 45 20 63 32 20  SEARCH TABLE c2 
1210: 55 53 49 4e 47 20 49 4e 54 45 47 45 52 20 50 52  USING INTEGER PR
1220: 49 4d 41 52 59 20 4b 45 59 20 28 72 6f 77 69 64  IMARY KEY (rowid
1230: 3d 3f 29 7d 0a 20 20 30 20 32 20 32 20 7b 53 45  =?)}.  0 2 2 {SE
1240: 41 52 43 48 20 54 41 42 4c 45 20 63 33 20 55 53  ARCH TABLE c3 US
1250: 49 4e 47 20 49 4e 54 45 47 45 52 20 50 52 49 4d  ING INTEGER PRIM
1260: 41 52 59 20 4b 45 59 20 28 72 6f 77 69 64 3d 3f  ARY KEY (rowid=?
1270: 29 7d 0a 7d 0a 64 6f 5f 65 71 70 5f 74 65 73 74  )}.}.do_eqp_test
1280: 20 34 2e 31 2e 36 20 7b 0a 20 20 53 45 4c 45 43   4.1.6 {.  SELEC
1290: 54 20 76 31 2c 20 76 33 20 46 52 4f 4d 20 63 31  T v1, v3 FROM c1
12a0: 20 4c 45 46 54 20 4a 4f 49 4e 20 63 32 20 4f 4e   LEFT JOIN c2 ON
12b0: 20 28 63 32 2e 6b 3d 76 31 29 20 4c 45 46 54 20   (c2.k=v1) LEFT 
12c0: 4a 4f 49 4e 20 63 33 20 4f 4e 20 28 63 33 2e 6b  JOIN c3 ON (c3.k
12d0: 3d 76 31 2b 31 29 3b 0a 7d 20 7b 0a 20 20 30 20  =v1+1);.} {.  0 
12e0: 30 20 30 20 7b 53 43 41 4e 20 54 41 42 4c 45 20  0 0 {SCAN TABLE 
12f0: 63 31 7d 20 0a 20 20 30 20 31 20 32 20 7b 53 45  c1} .  0 1 2 {SE
1300: 41 52 43 48 20 54 41 42 4c 45 20 63 33 20 55 53  ARCH TABLE c3 US
1310: 49 4e 47 20 49 4e 54 45 47 45 52 20 50 52 49 4d  ING INTEGER PRIM
1320: 41 52 59 20 4b 45 59 20 28 72 6f 77 69 64 3d 3f  ARY KEY (rowid=?
1330: 29 7d 0a 7d 0a 0a 64 6f 5f 65 78 65 63 73 71 6c  )}.}..do_execsql
1340: 5f 74 65 73 74 20 34 2e 32 2e 30 20 7b 0a 20 20  _test 4.2.0 {.  
1350: 44 52 4f 50 20 54 41 42 4c 45 20 63 31 3b 0a 20  DROP TABLE c1;. 
1360: 20 44 52 4f 50 20 54 41 42 4c 45 20 63 32 3b 0a   DROP TABLE c2;.
1370: 20 20 44 52 4f 50 20 54 41 42 4c 45 20 63 33 3b    DROP TABLE c3;
1380: 0a 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20  .  CREATE TABLE 
1390: 63 31 28 6b 20 55 4e 49 51 55 45 2c 20 76 31 29  c1(k UNIQUE, v1)
13a0: 3b 0a 20 20 43 52 45 41 54 45 20 54 41 42 4c 45  ;.  CREATE TABLE
13b0: 20 63 32 28 6b 20 55 4e 49 51 55 45 2c 20 76 32   c2(k UNIQUE, v2
13c0: 29 3b 0a 20 20 43 52 45 41 54 45 20 54 41 42 4c  );.  CREATE TABL
13d0: 45 20 63 33 28 6b 20 55 4e 49 51 55 45 2c 20 76  E c3(k UNIQUE, v
13e0: 33 29 3b 0a 0a 20 20 49 4e 53 45 52 54 20 49 4e  3);..  INSERT IN
13f0: 54 4f 20 63 31 20 56 41 4c 55 45 53 28 31 2c 20  TO c1 VALUES(1, 
1400: 32 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54  2);.  INSERT INT
1410: 4f 20 63 32 20 56 41 4c 55 45 53 28 32 2c 20 33  O c2 VALUES(2, 3
1420: 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  );.  INSERT INTO
1430: 20 63 33 20 56 41 4c 55 45 53 28 33 2c 20 27 76   c3 VALUES(3, 'v
1440: 33 27 29 3b 0a 0a 20 20 49 4e 53 45 52 54 20 49  3');..  INSERT I
1450: 4e 54 4f 20 63 31 20 56 41 4c 55 45 53 28 31 31  NTO c1 VALUES(11
1460: 31 2c 20 31 31 31 32 29 3b 0a 20 20 49 4e 53 45  1, 1112);.  INSE
1470: 52 54 20 49 4e 54 4f 20 63 32 20 56 41 4c 55 45  RT INTO c2 VALUE
1480: 53 28 31 31 32 2c 20 31 31 31 33 29 3b 0a 20 20  S(112, 1113);.  
1490: 49 4e 53 45 52 54 20 49 4e 54 4f 20 63 33 20 56  INSERT INTO c3 V
14a0: 41 4c 55 45 53 28 31 31 33 2c 20 27 76 31 31 31  ALUES(113, 'v111
14b0: 33 27 29 3b 0a 7d 0a 64 6f 5f 65 78 65 63 73 71  3');.}.do_execsq
14c0: 6c 5f 74 65 73 74 20 34 2e 32 2e 31 20 7b 0a 20  l_test 4.2.1 {. 
14d0: 20 53 45 4c 45 43 54 20 76 31 2c 20 76 33 20 46   SELECT v1, v3 F
14e0: 52 4f 4d 20 63 31 20 4c 45 46 54 20 4a 4f 49 4e  ROM c1 LEFT JOIN
14f0: 20 63 32 20 4f 4e 20 28 63 32 2e 6b 3d 76 31 29   c2 ON (c2.k=v1)
1500: 20 4c 45 46 54 20 4a 4f 49 4e 20 63 33 20 4f 4e   LEFT JOIN c3 ON
1510: 20 28 63 33 2e 6b 3d 76 32 29 3b 0a 7d 20 7b 32   (c3.k=v2);.} {2
1520: 20 76 33 20 31 31 31 32 20 7b 7d 7d 0a 64 6f 5f   v3 1112 {}}.do_
1530: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 34 2e 32  execsql_test 4.2
1540: 2e 32 20 7b 0a 20 20 53 45 4c 45 43 54 20 76 31  .2 {.  SELECT v1
1550: 2c 20 76 33 20 46 52 4f 4d 20 63 31 20 4c 45 46  , v3 FROM c1 LEF
1560: 54 20 4a 4f 49 4e 20 63 32 20 4f 4e 20 28 63 32  T JOIN c2 ON (c2
1570: 2e 6b 3d 76 31 29 20 4c 45 46 54 20 4a 4f 49 4e  .k=v1) LEFT JOIN
1580: 20 63 33 20 4f 4e 20 28 63 33 2e 6b 3d 76 31 2b   c3 ON (c3.k=v1+
1590: 31 29 3b 0a 7d 20 7b 32 20 76 33 20 31 31 31 32  1);.} {2 v3 1112
15a0: 20 7b 7d 7d 0a 0a 64 6f 5f 65 78 65 63 73 71 6c   {}}..do_execsql
15b0: 5f 74 65 73 74 20 34 2e 32 2e 33 20 7b 0a 20 20  _test 4.2.3 {.  
15c0: 53 45 4c 45 43 54 20 44 49 53 54 49 4e 43 54 20  SELECT DISTINCT 
15d0: 76 31 2c 20 76 33 20 46 52 4f 4d 20 63 31 20 4c  v1, v3 FROM c1 L
15e0: 45 46 54 20 4a 4f 49 4e 20 63 32 20 4c 45 46 54  EFT JOIN c2 LEFT
15f0: 20 4a 4f 49 4e 20 63 33 20 4f 4e 20 28 63 33 2e   JOIN c3 ON (c3.
1600: 6b 3d 76 31 2b 31 29 3b 0a 7d 20 7b 32 20 76 33  k=v1+1);.} {2 v3
1610: 20 31 31 31 32 20 7b 7d 7d 0a 0a 64 6f 5f 65 78   1112 {}}..do_ex
1620: 65 63 73 71 6c 5f 74 65 73 74 20 34 2e 32 2e 34  ecsql_test 4.2.4
1630: 20 7b 0a 20 20 53 45 4c 45 43 54 20 76 31 2c 20   {.  SELECT v1, 
1640: 76 33 20 46 52 4f 4d 20 63 31 20 4c 45 46 54 20  v3 FROM c1 LEFT 
1650: 4a 4f 49 4e 20 63 32 20 4c 45 46 54 20 4a 4f 49  JOIN c2 LEFT JOI
1660: 4e 20 63 33 20 4f 4e 20 28 63 33 2e 6b 3d 76 31  N c3 ON (c3.k=v1
1670: 2b 31 29 3b 0a 7d 20 7b 32 20 76 33 20 32 20 76  +1);.} {2 v3 2 v
1680: 33 20 31 31 31 32 20 7b 7d 20 31 31 31 32 20 7b  3 1112 {} 1112 {
1690: 7d 7d 0a 0a 64 6f 5f 65 71 70 5f 74 65 73 74 20  }}..do_eqp_test 
16a0: 34 2e 32 2e 35 20 7b 0a 20 20 53 45 4c 45 43 54  4.2.5 {.  SELECT
16b0: 20 76 31 2c 20 76 33 20 46 52 4f 4d 20 63 31 20   v1, v3 FROM c1 
16c0: 4c 45 46 54 20 4a 4f 49 4e 20 63 32 20 4f 4e 20  LEFT JOIN c2 ON 
16d0: 28 63 32 2e 6b 3d 76 31 29 20 4c 45 46 54 20 4a  (c2.k=v1) LEFT J
16e0: 4f 49 4e 20 63 33 20 4f 4e 20 28 63 33 2e 6b 3d  OIN c3 ON (c3.k=
16f0: 76 32 29 3b 0a 7d 20 7b 0a 20 20 30 20 30 20 30  v2);.} {.  0 0 0
1700: 20 7b 53 43 41 4e 20 54 41 42 4c 45 20 63 31 7d   {SCAN TABLE c1}
1710: 20 0a 20 20 30 20 31 20 31 20 7b 53 45 41 52 43   .  0 1 1 {SEARC
1720: 48 20 54 41 42 4c 45 20 63 32 20 55 53 49 4e 47  H TABLE c2 USING
1730: 20 49 4e 44 45 58 20 73 71 6c 69 74 65 5f 61 75   INDEX sqlite_au
1740: 74 6f 69 6e 64 65 78 5f 63 32 5f 31 20 28 6b 3d  toindex_c2_1 (k=
1750: 3f 29 7d 0a 20 20 30 20 32 20 32 20 7b 53 45 41  ?)}.  0 2 2 {SEA
1760: 52 43 48 20 54 41 42 4c 45 20 63 33 20 55 53 49  RCH TABLE c3 USI
1770: 4e 47 20 49 4e 44 45 58 20 73 71 6c 69 74 65 5f  NG INDEX sqlite_
1780: 61 75 74 6f 69 6e 64 65 78 5f 63 33 5f 31 20 28  autoindex_c3_1 (
1790: 6b 3d 3f 29 7d 0a 7d 0a 64 6f 5f 65 71 70 5f 74  k=?)}.}.do_eqp_t
17a0: 65 73 74 20 34 2e 32 2e 36 20 7b 0a 20 20 53 45  est 4.2.6 {.  SE
17b0: 4c 45 43 54 20 76 31 2c 20 76 33 20 46 52 4f 4d  LECT v1, v3 FROM
17c0: 20 63 31 20 4c 45 46 54 20 4a 4f 49 4e 20 63 32   c1 LEFT JOIN c2
17d0: 20 4f 4e 20 28 63 32 2e 6b 3d 76 31 29 20 4c 45   ON (c2.k=v1) LE
17e0: 46 54 20 4a 4f 49 4e 20 63 33 20 4f 4e 20 28 63  FT JOIN c3 ON (c
17f0: 33 2e 6b 3d 76 31 2b 31 29 3b 0a 7d 20 7b 0a 20  3.k=v1+1);.} {. 
1800: 20 30 20 30 20 30 20 7b 53 43 41 4e 20 54 41 42   0 0 0 {SCAN TAB
1810: 4c 45 20 63 31 7d 20 0a 20 20 30 20 31 20 32 20  LE c1} .  0 1 2 
1820: 7b 53 45 41 52 43 48 20 54 41 42 4c 45 20 63 33  {SEARCH TABLE c3
1830: 20 55 53 49 4e 47 20 49 4e 44 45 58 20 73 71 6c   USING INDEX sql
1840: 69 74 65 5f 61 75 74 6f 69 6e 64 65 78 5f 63 33  ite_autoindex_c3
1850: 5f 31 20 28 6b 3d 3f 29 7d 0a 7d 0a 0a 23 20 32  _1 (k=?)}.}..# 2
1860: 30 31 37 2d 31 31 2d 32 33 20 28 54 68 61 6e 6b  017-11-23 (Thank
1870: 73 67 69 76 69 6e 67 20 64 61 79 29 0a 23 20 4f  sgiving day).# O
1880: 53 53 46 75 7a 7a 20 66 6f 75 6e 64 20 61 6e 20  SSFuzz found an 
1890: 61 73 73 65 72 74 69 6f 6e 20 66 61 75 6c 74 20  assertion fault 
18a0: 69 6e 20 74 68 65 20 6e 65 77 20 4c 45 46 54 20  in the new LEFT 
18b0: 4a 4f 49 4e 20 65 6c 69 6d 69 6e 61 74 6f 72 20  JOIN eliminator 
18c0: 63 6f 64 65 2e 0a 23 0a 64 6f 5f 65 78 65 63 73  code..#.do_execs
18d0: 71 6c 5f 74 65 73 74 20 34 2e 33 2e 30 20 7b 0a  ql_test 4.3.0 {.
18e0: 20 20 44 52 4f 50 20 54 41 42 4c 45 20 49 46 20    DROP TABLE IF 
18f0: 45 58 49 53 54 53 20 74 31 3b 0a 20 20 44 52 4f  EXISTS t1;.  DRO
1900: 50 20 54 41 42 4c 45 20 49 46 20 45 58 49 53 54  P TABLE IF EXIST
1910: 53 20 74 32 3b 0a 20 20 43 52 45 41 54 45 20 54  S t2;.  CREATE T
1920: 41 42 4c 45 20 74 31 28 78 20 50 52 49 4d 41 52  ABLE t1(x PRIMAR
1930: 59 20 4b 45 59 29 20 57 49 54 48 4f 55 54 20 52  Y KEY) WITHOUT R
1940: 4f 57 49 44 3b 0a 20 20 43 52 45 41 54 45 20 54  OWID;.  CREATE T
1950: 41 42 4c 45 20 74 32 28 78 29 3b 0a 20 20 53 45  ABLE t2(x);.  SE
1960: 4c 45 43 54 20 61 2e 78 0a 20 20 20 20 46 52 4f  LECT a.x.    FRO
1970: 4d 20 74 31 20 41 53 20 61 0a 20 20 20 20 4c 45  M t1 AS a.    LE
1980: 46 54 20 4a 4f 49 4e 20 74 31 20 41 53 20 62 20  FT JOIN t1 AS b 
1990: 4f 4e 20 28 61 2e 78 3d 62 2e 78 29 0a 20 20 20  ON (a.x=b.x).   
19a0: 20 4c 45 46 54 20 4a 4f 49 4e 20 74 32 20 41 53   LEFT JOIN t2 AS
19b0: 20 63 20 4f 4e 20 28 61 2e 78 3d 63 2e 78 29 3b   c ON (a.x=c.x);
19c0: 0a 7d 20 7b 7d 0a 64 6f 5f 65 78 65 63 73 71 6c  .} {}.do_execsql
19d0: 5f 74 65 73 74 20 34 2e 33 2e 31 20 7b 0a 20 20  _test 4.3.1 {.  
19e0: 57 49 54 48 20 52 45 43 55 52 53 49 56 45 20 63  WITH RECURSIVE c
19f0: 28 78 29 20 41 53 20 28 56 41 4c 55 45 53 28 31  (x) AS (VALUES(1
1a00: 29 20 55 4e 49 4f 4e 20 41 4c 4c 20 53 45 4c 45  ) UNION ALL SELE
1a10: 43 54 20 78 2b 31 20 46 52 4f 4d 20 63 20 57 48  CT x+1 FROM c WH
1a20: 45 52 45 20 78 3c 31 30 29 0a 20 20 20 20 49 4e  ERE x<10).    IN
1a30: 53 45 52 54 20 49 4e 54 4f 20 74 31 28 78 29 20  SERT INTO t1(x) 
1a40: 53 45 4c 45 43 54 20 78 20 46 52 4f 4d 20 63 3b  SELECT x FROM c;
1a50: 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74  .  INSERT INTO t
1a60: 32 28 78 29 20 53 45 4c 45 43 54 20 78 2b 39 20  2(x) SELECT x+9 
1a70: 46 52 4f 4d 20 74 31 3b 0a 20 20 53 45 4c 45 43  FROM t1;.  SELEC
1a80: 54 20 61 2e 78 2c 20 63 2e 78 0a 20 20 20 20 46  T a.x, c.x.    F
1a90: 52 4f 4d 20 74 31 20 41 53 20 61 0a 20 20 20 20  ROM t1 AS a.    
1aa0: 4c 45 46 54 20 4a 4f 49 4e 20 74 31 20 41 53 20  LEFT JOIN t1 AS 
1ab0: 62 20 4f 4e 20 28 61 2e 78 3d 62 2e 78 29 0a 20  b ON (a.x=b.x). 
1ac0: 20 20 20 4c 45 46 54 20 4a 4f 49 4e 20 74 32 20     LEFT JOIN t2 
1ad0: 41 53 20 63 20 4f 4e 20 28 61 2e 78 3d 63 2e 78  AS c ON (a.x=c.x
1ae0: 29 3b 0a 7d 20 7b 31 20 7b 7d 20 32 20 7b 7d 20  );.} {1 {} 2 {} 
1af0: 33 20 7b 7d 20 34 20 7b 7d 20 35 20 7b 7d 20 36  3 {} 4 {} 5 {} 6
1b00: 20 7b 7d 20 37 20 7b 7d 20 38 20 7b 7d 20 39 20   {} 7 {} 8 {} 9 
1b10: 7b 7d 20 31 30 20 31 30 7d 0a 0a 64 6f 5f 65 78  {} 10 10}..do_ex
1b20: 65 63 73 71 6c 5f 74 65 73 74 20 35 2e 30 20 7b  ecsql_test 5.0 {
1b30: 0a 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20  .  CREATE TABLE 
1b40: 73 31 20 28 61 20 49 4e 54 45 47 45 52 20 50 52  s1 (a INTEGER PR
1b50: 49 4d 41 52 59 20 4b 45 59 29 3b 0a 20 20 43 52  IMARY KEY);.  CR
1b60: 45 41 54 45 20 54 41 42 4c 45 20 73 32 20 28 61  EATE TABLE s2 (a
1b70: 20 49 4e 54 45 47 45 52 20 50 52 49 4d 41 52 59   INTEGER PRIMARY
1b80: 20 4b 45 59 29 3b 0a 20 20 43 52 45 41 54 45 20   KEY);.  CREATE 
1b90: 54 41 42 4c 45 20 73 33 20 28 61 20 49 4e 54 45  TABLE s3 (a INTE
1ba0: 47 45 52 29 3b 0a 20 20 43 52 45 41 54 45 20 55  GER);.  CREATE U
1bb0: 4e 49 51 55 45 20 49 4e 44 45 58 20 6e 64 78 20  NIQUE INDEX ndx 
1bc0: 6f 6e 20 73 33 28 61 29 3b 0a 7d 0a 64 6f 5f 65  on s3(a);.}.do_e
1bd0: 71 70 5f 74 65 73 74 20 35 2e 31 20 7b 0a 20 20  qp_test 5.1 {.  
1be0: 53 45 4c 45 43 54 20 73 31 2e 61 20 46 52 4f 4d  SELECT s1.a FROM
1bf0: 20 73 31 20 6c 65 66 74 20 6a 6f 69 6e 20 73 32   s1 left join s2
1c00: 20 75 73 69 6e 67 20 28 61 29 3b 0a 7d 20 7b 0a   using (a);.} {.
1c10: 20 20 30 20 30 20 30 20 7b 53 43 41 4e 20 54 41    0 0 0 {SCAN TA
1c20: 42 4c 45 20 73 31 7d 0a 7d 0a 64 6f 5f 65 71 70  BLE s1}.}.do_eqp
1c30: 5f 74 65 73 74 20 35 2e 32 20 7b 0a 20 20 53 45  _test 5.2 {.  SE
1c40: 4c 45 43 54 20 73 31 2e 61 20 46 52 4f 4d 20 73  LECT s1.a FROM s
1c50: 31 20 6c 65 66 74 20 6a 6f 69 6e 20 73 33 20 75  1 left join s3 u
1c60: 73 69 6e 67 20 28 61 29 3b 0a 7d 20 7b 0a 20 20  sing (a);.} {.  
1c70: 30 20 30 20 30 20 7b 53 43 41 4e 20 54 41 42 4c  0 0 0 {SCAN TABL
1c80: 45 20 73 31 7d 0a 7d 0a 0a 64 6f 5f 65 78 65 63  E s1}.}..do_exec
1c90: 73 71 6c 5f 74 65 73 74 20 36 2e 30 20 7b 0a 20  sql_test 6.0 {. 
1ca0: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 75 31   CREATE TABLE u1
1cb0: 28 61 20 49 4e 54 45 47 45 52 20 50 52 49 4d 41  (a INTEGER PRIMA
1cc0: 52 59 20 4b 45 59 2c 20 62 2c 20 63 29 3b 0a 20  RY KEY, b, c);. 
1cd0: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 75 32   CREATE TABLE u2
1ce0: 28 61 20 49 4e 54 45 47 45 52 20 50 52 49 4d 41  (a INTEGER PRIMA
1cf0: 52 59 20 4b 45 59 2c 20 62 2c 20 63 29 3b 0a 20  RY KEY, b, c);. 
1d00: 20 43 52 45 41 54 45 20 49 4e 44 45 58 20 75 31   CREATE INDEX u1
1d10: 61 62 20 4f 4e 20 75 31 28 62 2c 20 63 29 3b 0a  ab ON u1(b, c);.
1d20: 7d 0a 64 6f 5f 65 71 70 5f 74 65 73 74 20 36 2e  }.do_eqp_test 6.
1d30: 31 20 7b 0a 20 20 53 45 4c 45 43 54 20 75 32 2e  1 {.  SELECT u2.
1d40: 2a 20 46 52 4f 4d 20 75 32 20 4c 45 46 54 20 4a  * FROM u2 LEFT J
1d50: 4f 49 4e 20 75 31 20 4f 4e 28 20 75 31 2e 61 3d  OIN u1 ON( u1.a=
1d60: 75 32 2e 61 20 41 4e 44 20 75 31 2e 62 3d 75 32  u2.a AND u1.b=u2
1d70: 2e 62 20 41 4e 44 20 75 31 2e 63 3d 75 32 2e 63  .b AND u1.c=u2.c
1d80: 20 29 3b 0a 7d 20 7b 0a 20 20 30 20 30 20 30 20   );.} {.  0 0 0 
1d90: 7b 53 43 41 4e 20 54 41 42 4c 45 20 75 32 7d 0a  {SCAN TABLE u2}.
1da0: 7d 0a 0a 66 69 6e 69 73 68 5f 74 65 73 74 0a     }..finish_test.