/ Hex Artifact Content
Login

Artifact 1f93cbe9742110119133d7e8e3ccfe6d7c249766:


0000: 23 20 32 30 30 37 20 4e 6f 76 65 6d 62 65 72 20  # 2007 November 
0010: 32 33 0a 23 0a 23 20 54 68 65 20 61 75 74 68 6f  23.#.# The autho
0020: 72 20 64 69 73 63 6c 61 69 6d 73 20 63 6f 70 79  r disclaims copy
0030: 72 69 67 68 74 20 74 6f 20 74 68 69 73 20 73 6f  right to this so
0040: 75 72 63 65 20 63 6f 64 65 2e 20 20 49 6e 20 70  urce code.  In p
0050: 6c 61 63 65 20 6f 66 0a 23 20 61 20 6c 65 67 61  lace of.# a lega
0060: 6c 20 6e 6f 74 69 63 65 2c 20 68 65 72 65 20 69  l notice, here i
0070: 73 20 61 20 62 6c 65 73 73 69 6e 67 3a 0a 23 0a  s a blessing:.#.
0080: 23 20 20 20 20 4d 61 79 20 79 6f 75 20 64 6f 20  #    May you do 
0090: 67 6f 6f 64 20 61 6e 64 20 6e 6f 74 20 65 76 69  good and not evi
00a0: 6c 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20  l..#    May you 
00b0: 66 69 6e 64 20 66 6f 72 67 69 76 65 6e 65 73 73  find forgiveness
00c0: 20 66 6f 72 20 79 6f 75 72 73 65 6c 66 20 61 6e   for yourself an
00d0: 64 20 66 6f 72 67 69 76 65 20 6f 74 68 65 72 73  d forgive others
00e0: 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 73  ..#    May you s
00f0: 68 61 72 65 20 66 72 65 65 6c 79 2c 20 6e 65 76  hare freely, nev
0100: 65 72 20 74 61 6b 69 6e 67 20 6d 6f 72 65 20 74  er taking more t
0110: 68 61 6e 20 79 6f 75 20 67 69 76 65 2e 0a 23 0a  han you give..#.
0120: 23 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 2a 2a 2a 2a 2a 0a 23 0a 23 20 54 68 65  ********.#.# The
0170: 20 74 65 73 74 73 20 69 6e 20 74 68 69 73 20 66   tests in this f
0180: 69 6c 65 20 65 6e 73 75 72 65 20 74 68 61 74 20  ile ensure that 
0190: 61 20 74 65 6d 70 6f 72 61 72 79 20 74 61 62 6c  a temporary tabl
01a0: 65 20 69 73 20 75 73 65 64 0a 23 20 77 68 65 6e  e is used.# when
01b0: 20 72 65 71 75 69 72 65 64 20 62 79 20 61 6e 20   required by an 
01c0: 22 49 4e 53 45 52 54 20 49 4e 54 4f 20 2e 2e 2e  "INSERT INTO ...
01d0: 20 53 45 4c 45 43 54 20 2e 2e 2e 22 20 73 74 61   SELECT ..." sta
01e0: 74 65 6d 65 6e 74 2e 0a 23 0a 23 20 24 49 64 3a  tement..#.# $Id:
01f0: 20 69 6e 73 65 72 74 35 2e 74 65 73 74 2c 76 20   insert5.test,v 
0200: 31 2e 35 20 32 30 30 38 2f 30 38 2f 30 34 20 30  1.5 2008/08/04 0
0210: 33 3a 35 31 3a 32 34 20 64 61 6e 69 65 6c 6b 31  3:51:24 danielk1
0220: 39 37 37 20 45 78 70 20 24 0a 0a 73 65 74 20 74  977 Exp $..set t
0230: 65 73 74 64 69 72 20 5b 66 69 6c 65 20 64 69 72  estdir [file dir
0240: 6e 61 6d 65 20 24 61 72 67 76 30 5d 0a 73 6f 75  name $argv0].sou
0250: 72 63 65 20 24 74 65 73 74 64 69 72 2f 74 65 73  rce $testdir/tes
0260: 74 65 72 2e 74 63 6c 0a 0a 69 66 63 61 70 61 62  ter.tcl..ifcapab
0270: 6c 65 20 21 73 75 62 71 75 65 72 79 20 7b 0a 20  le !subquery {. 
0280: 20 66 69 6e 69 73 68 5f 74 65 73 74 0a 20 20 72   finish_test.  r
0290: 65 74 75 72 6e 0a 7d 0a 0a 23 20 52 65 74 75 72  eturn.}..# Retur
02a0: 6e 20 74 72 75 65 20 69 66 20 74 68 65 20 63 6f  n true if the co
02b0: 6d 70 69 6c 61 74 69 6f 6e 20 6f 66 20 74 68 65  mpilation of the
02c0: 20 73 71 6c 20 70 61 73 73 65 64 20 61 73 20 61   sql passed as a
02d0: 6e 20 61 72 67 75 6d 65 6e 74 20 0a 23 20 69 6e  n argument .# in
02e0: 63 6c 75 64 65 73 20 74 68 65 20 6f 70 63 6f 64  cludes the opcod
02f0: 65 20 4f 70 65 6e 45 70 68 65 6d 65 72 61 6c 2e  e OpenEphemeral.
0300: 20 41 6e 20 22 49 4e 53 45 52 54 20 49 4e 54 4f   An "INSERT INTO
0310: 20 2e 2e 2e 20 53 45 4c 45 43 54 22 0a 23 20 73   ... SELECT".# s
0320: 74 61 74 65 6d 65 6e 74 20 69 6e 63 6c 75 64 65  tatement include
0330: 73 20 73 75 63 68 20 61 6e 20 6f 70 63 6f 64 65  s such an opcode
0340: 20 69 66 20 61 20 74 65 6d 70 2d 74 61 62 6c 65   if a temp-table
0350: 20 69 73 20 75 73 65 64 0a 23 20 74 6f 20 73 74   is used.# to st
0360: 6f 72 65 20 69 6e 74 65 72 6d 65 64 69 61 74 65  ore intermediate
0370: 20 72 65 73 75 6c 74 73 2e 0a 23 20 0a 70 72 6f   results..# .pro
0380: 63 20 75 73 65 73 5f 74 65 6d 70 5f 74 61 62 6c  c uses_temp_tabl
0390: 65 20 7b 73 71 6c 7d 20 7b 0a 20 20 72 65 74 75  e {sql} {.  retu
03a0: 72 6e 20 5b 65 78 70 72 20 7b 5b 6c 73 65 61 72  rn [expr {[lsear
03b0: 63 68 20 5b 65 78 65 63 73 71 6c 20 22 45 58 50  ch [execsql "EXP
03c0: 4c 41 49 4e 20 24 73 71 6c 22 5d 20 4f 70 65 6e  LAIN $sql"] Open
03d0: 45 70 68 65 6d 65 72 61 6c 5d 3e 3d 30 7d 5d 0a  Ephemeral]>=0}].
03e0: 7d 0a 0a 23 20 43 6f 6e 73 74 72 75 63 74 20 74  }..# Construct t
03f0: 68 65 20 73 61 6d 70 6c 65 20 64 61 74 61 62 61  he sample databa
0400: 73 65 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 69 6e  se..#.do_test in
0410: 73 65 72 74 35 2d 31 2e 30 20 7b 0a 20 20 66 69  sert5-1.0 {.  fi
0420: 6c 65 20 64 65 6c 65 74 65 20 2d 66 6f 72 63 65  le delete -force
0430: 20 74 65 73 74 32 2e 64 62 20 74 65 73 74 32 2e   test2.db test2.
0440: 64 62 2d 6a 6f 75 72 6e 61 6c 0a 20 20 65 78 65  db-journal.  exe
0450: 63 73 71 6c 20 7b 0a 20 20 20 20 43 52 45 41 54  csql {.    CREAT
0460: 45 20 54 41 42 4c 45 20 4d 41 49 4e 28 49 64 20  E TABLE MAIN(Id 
0470: 49 4e 54 45 47 45 52 2c 20 49 64 31 20 49 4e 54  INTEGER, Id1 INT
0480: 45 47 45 52 29 3b 20 0a 20 20 20 20 43 52 45 41  EGER); .    CREA
0490: 54 45 20 54 41 42 4c 45 20 42 28 49 64 20 49 4e  TE TABLE B(Id IN
04a0: 54 45 47 45 52 2c 20 49 64 31 20 49 4e 54 45 47  TEGER, Id1 INTEG
04b0: 45 52 29 3b 20 0a 20 20 20 20 43 52 45 41 54 45  ER); .    CREATE
04c0: 20 56 49 45 57 20 76 31 20 41 53 20 53 45 4c 45   VIEW v1 AS SELE
04d0: 43 54 20 2a 20 46 52 4f 4d 20 42 3b 0a 20 20 20  CT * FROM B;.   
04e0: 20 43 52 45 41 54 45 20 56 49 45 57 20 76 32 20   CREATE VIEW v2 
04f0: 41 53 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d  AS SELECT * FROM
0500: 20 4d 41 49 4e 3b 0a 20 20 20 20 49 4e 53 45 52   MAIN;.    INSER
0510: 54 20 49 4e 54 4f 20 4d 41 49 4e 28 49 64 2c 49  T INTO MAIN(Id,I
0520: 64 31 29 20 56 41 4c 55 45 53 28 32 2c 33 29 3b  d1) VALUES(2,3);
0530: 20 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54   .    INSERT INT
0540: 4f 20 42 28 49 64 2c 49 64 31 29 20 56 41 4c 55  O B(Id,Id1) VALU
0550: 45 53 28 32 2c 33 29 3b 20 0a 20 20 7d 0a 7d 20  ES(2,3); .  }.} 
0560: 7b 7d 0a 0a 23 20 52 75 6e 20 74 68 65 20 71 75  {}..# Run the qu
0570: 65 72 79 2e 0a 23 0a 69 66 63 61 70 61 62 6c 65  ery..#.ifcapable
0580: 20 63 6f 6d 70 6f 75 6e 64 20 7b 0a 20 20 64 6f   compound {.  do
0590: 5f 74 65 73 74 20 69 6e 73 65 72 74 35 2d 31 2e  _test insert5-1.
05a0: 31 20 7b 0a 20 20 20 20 65 78 65 63 73 71 6c 20  1 {.    execsql 
05b0: 7b 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20 49  {.      INSERT I
05c0: 4e 54 4f 20 42 20 0a 20 20 20 20 20 20 20 20 53  NTO B .        S
05d0: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 42 20 55  ELECT * FROM B U
05e0: 4e 49 4f 4e 20 41 4c 4c 20 0a 20 20 20 20 20 20  NION ALL .      
05f0: 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20    SELECT * FROM 
0600: 4d 41 49 4e 20 57 48 45 52 45 20 65 78 69 73 74  MAIN WHERE exist
0610: 73 20 28 73 65 6c 65 63 74 20 2a 20 46 52 4f 4d  s (select * FROM
0620: 20 42 20 57 48 45 52 45 20 42 2e 49 64 20 3d 20   B WHERE B.Id = 
0630: 4d 41 49 4e 2e 49 64 29 3b 0a 20 20 20 20 20 20  MAIN.Id);.      
0640: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 42 3b  SELECT * FROM B;
0650: 0a 20 20 20 20 7d 0a 20 20 7d 20 7b 32 20 33 20  .    }.  } {2 3 
0660: 32 20 33 20 32 20 33 7d 0a 7d 20 65 6c 73 65 20  2 3 2 3}.} else 
0670: 7b 0a 20 20 64 6f 5f 74 65 73 74 20 69 6e 73 65  {.  do_test inse
0680: 72 74 35 2d 31 2e 31 20 7b 0a 20 20 20 20 65 78  rt5-1.1 {.    ex
0690: 65 63 73 71 6c 20 7b 0a 20 20 20 20 20 20 49 4e  ecsql {.      IN
06a0: 53 45 52 54 20 49 4e 54 4f 20 42 20 53 45 4c 45  SERT INTO B SELE
06b0: 43 54 20 2a 20 46 52 4f 4d 20 42 3b 0a 20 20 20  CT * FROM B;.   
06c0: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 42     INSERT INTO B
06d0: 0a 20 20 20 20 20 20 20 20 53 45 4c 45 43 54 20  .        SELECT 
06e0: 2a 20 46 52 4f 4d 20 4d 41 49 4e 20 57 48 45 52  * FROM MAIN WHER
06f0: 45 20 65 78 69 73 74 73 20 28 73 65 6c 65 63 74  E exists (select
0700: 20 2a 20 46 52 4f 4d 20 42 20 57 48 45 52 45 20   * FROM B WHERE 
0710: 42 2e 49 64 20 3d 20 4d 41 49 4e 2e 49 64 29 3b  B.Id = MAIN.Id);
0720: 0a 20 20 20 20 20 20 53 45 4c 45 43 54 20 2a 20  .      SELECT * 
0730: 46 52 4f 4d 20 42 3b 0a 20 20 20 20 7d 0a 20 20  FROM B;.    }.  
0740: 7d 20 7b 32 20 33 20 32 20 33 20 32 20 33 7d 0a  } {2 3 2 3 2 3}.
0750: 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 73 65 72 74  }.do_test insert
0760: 35 2d 32 2e 31 20 7b 0a 20 20 75 73 65 73 5f 74  5-2.1 {.  uses_t
0770: 65 6d 70 5f 74 61 62 6c 65 20 7b 20 49 4e 53 45  emp_table { INSE
0780: 52 54 20 49 4e 54 4f 20 62 20 53 45 4c 45 43 54  RT INTO b SELECT
0790: 20 2a 20 46 52 4f 4d 20 6d 61 69 6e 20 7d 0a 7d   * FROM main }.}
07a0: 20 7b 30 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 73   {0}.do_test ins
07b0: 65 72 74 35 2d 32 2e 32 20 7b 0a 20 20 75 73 65  ert5-2.2 {.  use
07c0: 73 5f 74 65 6d 70 5f 74 61 62 6c 65 20 7b 20 49  s_temp_table { I
07d0: 4e 53 45 52 54 20 49 4e 54 4f 20 62 20 53 45 4c  NSERT INTO b SEL
07e0: 45 43 54 20 2a 20 46 52 4f 4d 20 62 20 7d 0a 7d  ECT * FROM b }.}
07f0: 20 7b 31 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 73   {1}.do_test ins
0800: 65 72 74 35 2d 32 2e 33 20 7b 0a 20 20 75 73 65  ert5-2.3 {.  use
0810: 73 5f 74 65 6d 70 5f 74 61 62 6c 65 20 7b 20 49  s_temp_table { I
0820: 4e 53 45 52 54 20 49 4e 54 4f 20 62 20 53 45 4c  NSERT INTO b SEL
0830: 45 43 54 20 28 53 45 4c 45 43 54 20 69 64 20 46  ECT (SELECT id F
0840: 52 4f 4d 20 62 29 2c 20 69 64 31 20 46 52 4f 4d  ROM b), id1 FROM
0850: 20 6d 61 69 6e 20 7d 0a 7d 20 7b 31 7d 0a 64 6f   main }.} {1}.do
0860: 5f 74 65 73 74 20 69 6e 73 65 72 74 35 2d 32 2e  _test insert5-2.
0870: 34 20 7b 0a 20 20 75 73 65 73 5f 74 65 6d 70 5f  4 {.  uses_temp_
0880: 74 61 62 6c 65 20 7b 20 49 4e 53 45 52 54 20 49  table { INSERT I
0890: 4e 54 4f 20 62 20 53 45 4c 45 43 54 20 69 64 31  NTO b SELECT id1
08a0: 2c 20 28 53 45 4c 45 43 54 20 69 64 20 46 52 4f  , (SELECT id FRO
08b0: 4d 20 62 29 20 46 52 4f 4d 20 6d 61 69 6e 20 7d  M b) FROM main }
08c0: 0a 7d 20 7b 31 7d 0a 64 6f 5f 74 65 73 74 20 69  .} {1}.do_test i
08d0: 6e 73 65 72 74 35 2d 32 2e 35 20 7b 0a 20 20 75  nsert5-2.5 {.  u
08e0: 73 65 73 5f 74 65 6d 70 5f 74 61 62 6c 65 20 7b  ses_temp_table {
08f0: 20 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54   .    INSERT INT
0900: 4f 20 62 20 0a 20 20 20 20 20 20 53 45 4c 45 43  O b .      SELEC
0910: 54 20 2a 20 46 52 4f 4d 20 6d 61 69 6e 20 57 48  T * FROM main WH
0920: 45 52 45 20 69 64 20 3d 20 28 53 45 4c 45 43 54  ERE id = (SELECT
0930: 20 69 64 31 20 46 52 4f 4d 20 62 20 57 48 45 52   id1 FROM b WHER
0940: 45 20 6d 61 69 6e 2e 69 64 20 3d 20 62 2e 69 64  E main.id = b.id
0950: 29 20 7d 0a 7d 20 7b 31 7d 0a 64 6f 5f 74 65 73  ) }.} {1}.do_tes
0960: 74 20 69 6e 73 65 72 74 35 2d 32 2e 36 20 7b 0a  t insert5-2.6 {.
0970: 20 20 75 73 65 73 5f 74 65 6d 70 5f 74 61 62 6c    uses_temp_tabl
0980: 65 20 7b 20 49 4e 53 45 52 54 20 49 4e 54 4f 20  e { INSERT INTO 
0990: 62 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20  b SELECT * FROM 
09a0: 76 31 20 7d 0a 7d 20 7b 31 7d 0a 64 6f 5f 74 65  v1 }.} {1}.do_te
09b0: 73 74 20 69 6e 73 65 72 74 35 2d 32 2e 37 20 7b  st insert5-2.7 {
09c0: 0a 20 20 75 73 65 73 5f 74 65 6d 70 5f 74 61 62  .  uses_temp_tab
09d0: 6c 65 20 7b 20 49 4e 53 45 52 54 20 49 4e 54 4f  le { INSERT INTO
09e0: 20 62 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d   b SELECT * FROM
09f0: 20 76 32 20 7d 0a 7d 20 7b 30 7d 0a 64 6f 5f 74   v2 }.} {0}.do_t
0a00: 65 73 74 20 69 6e 73 65 72 74 35 2d 32 2e 38 20  est insert5-2.8 
0a10: 7b 0a 20 20 75 73 65 73 5f 74 65 6d 70 5f 74 61  {.  uses_temp_ta
0a20: 62 6c 65 20 7b 20 0a 20 20 20 20 49 4e 53 45 52  ble { .    INSER
0a30: 54 20 49 4e 54 4f 20 62 20 0a 20 20 20 20 53 45  T INTO b .    SE
0a40: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 6d 61 69 6e  LECT * FROM main
0a50: 20 57 48 45 52 45 20 69 64 20 3e 20 31 30 20 41   WHERE id > 10 A
0a60: 4e 44 20 6d 61 78 28 69 64 31 2c 20 28 53 45 4c  ND max(id1, (SEL
0a70: 45 43 54 20 69 64 20 46 52 4f 4d 20 62 29 29 20  ECT id FROM b)) 
0a80: 3e 20 31 30 3b 0a 20 20 7d 0a 7d 20 7b 31 7d 0a  > 10;.  }.} {1}.
0a90: 0a 23 20 55 50 44 41 54 45 3a 20 55 73 69 6e 67  .# UPDATE: Using
0aa0: 20 61 20 63 6f 6c 75 6d 6e 20 66 72 6f 6d 20 74   a column from t
0ab0: 68 65 20 6f 75 74 65 72 20 71 75 65 72 79 20 28  he outer query (
0ac0: 6d 61 69 6e 2e 69 64 29 20 69 6e 20 74 68 65 20  main.id) in the 
0ad0: 47 52 4f 55 50 20 42 59 0a 23 20 6f 72 20 4f 52  GROUP BY.# or OR
0ae0: 44 45 52 20 42 59 20 6f 66 20 61 20 73 75 62 2d  DER BY of a sub-
0af0: 71 75 65 72 79 20 69 73 20 6e 6f 20 6c 6f 6e 67  query is no long
0b00: 65 72 20 73 75 70 70 6f 72 74 65 64 2e 0a 23 0a  er supported..#.
0b10: 23 20 64 6f 5f 74 65 73 74 20 69 6e 73 65 72 74  # do_test insert
0b20: 35 2d 32 2e 39 20 7b 0a 23 20 20 20 75 73 65 73  5-2.9 {.#   uses
0b30: 5f 74 65 6d 70 5f 74 61 62 6c 65 20 7b 20 0a 23  _temp_table { .#
0b40: 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f       INSERT INTO
0b50: 20 62 20 0a 23 20 20 20 20 20 53 45 4c 45 43 54   b .#     SELECT
0b60: 20 2a 20 46 52 4f 4d 20 6d 61 69 6e 20 0a 23 20   * FROM main .# 
0b70: 20 20 20 20 57 48 45 52 45 20 69 64 20 3e 20 31      WHERE id > 1
0b80: 30 20 41 4e 44 20 28 53 45 4c 45 43 54 20 63 6f  0 AND (SELECT co
0b90: 75 6e 74 28 2a 29 20 46 52 4f 4d 20 76 32 20 47  unt(*) FROM v2 G
0ba0: 52 4f 55 50 20 42 59 20 6d 61 69 6e 2e 69 64 29  ROUP BY main.id)
0bb0: 0a 23 20 20 20 7d 0a 23 20 7d 20 7b 7d 0a 64 6f  .#   }.# } {}.do
0bc0: 5f 74 65 73 74 20 69 6e 73 65 72 74 35 2d 32 2e  _test insert5-2.
0bd0: 39 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b  9 {.  catchsql {
0be0: 20 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54   .    INSERT INT
0bf0: 4f 20 62 20 0a 20 20 20 20 53 45 4c 45 43 54 20  O b .    SELECT 
0c00: 2a 20 46 52 4f 4d 20 6d 61 69 6e 20 0a 20 20 20  * FROM main .   
0c10: 20 57 48 45 52 45 20 69 64 20 3e 20 31 30 20 41   WHERE id > 10 A
0c20: 4e 44 20 28 53 45 4c 45 43 54 20 63 6f 75 6e 74  ND (SELECT count
0c30: 28 2a 29 20 46 52 4f 4d 20 76 32 20 47 52 4f 55  (*) FROM v2 GROU
0c40: 50 20 42 59 20 6d 61 69 6e 2e 69 64 29 0a 20 20  P BY main.id).  
0c50: 7d 0a 7d 20 7b 31 20 7b 6e 6f 20 73 75 63 68 20  }.} {1 {no such 
0c60: 63 6f 6c 75 6d 6e 3a 20 6d 61 69 6e 2e 69 64 7d  column: main.id}
0c70: 7d 0a 0a 66 69 6e 69 73 68 5f 74 65 73 74 0a     }..finish_test.