/ Hex Artifact Content
Login

Artifact a64c9105d6ff163df7cf09d6ac29cdad5922078c:


0000: 23 20 32 30 30 38 20 4a 75 6c 79 20 31 31 0a 23  # 2008 July 11.#
0010: 0a 23 20 54 68 65 20 61 75 74 68 6f 72 20 64 69  .# The author di
0020: 73 63 6c 61 69 6d 73 20 63 6f 70 79 72 69 67 68  sclaims copyrigh
0030: 74 20 74 6f 20 74 68 69 73 20 73 6f 75 72 63 65  t to this source
0040: 20 63 6f 64 65 2e 20 20 49 6e 20 70 6c 61 63 65   code.  In place
0050: 20 6f 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e 6f   of.# a legal no
0060: 74 69 63 65 2c 20 68 65 72 65 20 69 73 20 61 20  tice, here is a 
0070: 62 6c 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20 20  blessing:.#.#   
0080: 20 4d 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f 64   May you do good
0090: 20 61 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a 23   and not evil..#
00a0: 20 20 20 20 4d 61 79 20 79 6f 75 20 66 69 6e 64      May you find
00b0: 20 66 6f 72 67 69 76 65 6e 65 73 73 20 66 6f 72   forgiveness for
00c0: 20 79 6f 75 72 73 65 6c 66 20 61 6e 64 20 66 6f   yourself and fo
00d0: 72 67 69 76 65 20 6f 74 68 65 72 73 2e 0a 23 20  rgive others..# 
00e0: 20 20 20 4d 61 79 20 79 6f 75 20 73 68 61 72 65     May you share
00f0: 20 66 72 65 65 6c 79 2c 20 6e 65 76 65 72 20 74   freely, never t
0100: 61 6b 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e 20  aking more than 
0110: 79 6f 75 20 67 69 76 65 2e 0a 23 0a 23 2a 2a 2a  you 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 2a 0a 23 20 54 68 69 73 20 66 69 6c 65  ****.# This file
0170: 20 69 6d 70 6c 65 6d 65 6e 74 73 20 72 65 67 72   implements regr
0180: 65 73 73 69 6f 6e 20 74 65 73 74 73 20 66 6f 72  ession tests for
0190: 20 53 51 4c 69 74 65 20 6c 69 62 72 61 72 79 2e   SQLite library.
01a0: 0a 23 0a 23 20 54 68 69 73 20 66 69 6c 65 20 65  .#.# This file e
01b0: 78 70 65 72 69 6d 65 6e 74 73 20 77 69 74 68 20  xperiments with 
01c0: 72 65 63 75 72 73 69 6f 6e 20 75 73 69 6e 67 20  recursion using 
01d0: 74 68 65 20 22 74 65 73 74 5f 65 76 61 6c 28 29  the "test_eval()
01e0: 22 20 53 51 4c 20 66 75 6e 63 74 69 6f 6e 0a 23  " SQL function.#
01f0: 20 69 6e 20 6f 72 64 65 72 20 74 6f 20 6d 61 6b   in order to mak
0200: 65 20 73 75 72 65 20 74 68 61 74 20 53 51 4c 69  e sure that SQLi
0210: 74 65 20 69 73 20 72 65 65 6e 74 72 61 6e 74 2e  te is reentrant.
0220: 0a 23 0a 23 20 24 49 64 3a 20 65 76 61 6c 2e 74  .#.# $Id: eval.t
0230: 65 73 74 2c 76 20 31 2e 32 20 32 30 30 38 2f 31  est,v 1.2 2008/1
0240: 30 2f 31 33 20 31 30 3a 33 37 3a 35 30 20 64 61  0/13 10:37:50 da
0250: 6e 69 65 6c 6b 31 39 37 37 20 45 78 70 20 24 0a  nielk1977 Exp $.
0260: 0a 73 65 74 20 74 65 73 74 64 69 72 20 5b 66 69  .set testdir [fi
0270: 6c 65 20 64 69 72 6e 61 6d 65 20 24 61 72 67 76  le dirname $argv
0280: 30 5d 0a 73 6f 75 72 63 65 20 24 74 65 73 74 64  0].source $testd
0290: 69 72 2f 74 65 73 74 65 72 2e 74 63 6c 0a 0a 23  ir/tester.tcl..#
02a0: 20 43 72 65 61 74 65 20 61 20 74 61 62 6c 65 20   Create a table 
02b0: 74 6f 20 77 6f 72 6b 20 77 69 74 68 2e 0a 23 0a  to work with..#.
02c0: 64 6f 5f 74 65 73 74 20 65 76 61 6c 2d 31 2e 31  do_test eval-1.1
02d0: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20   {.  execsql {. 
02e0: 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20     CREATE TABLE 
02f0: 74 31 28 78 20 49 4e 54 45 47 45 52 20 50 52 49  t1(x INTEGER PRI
0300: 4d 41 52 59 20 4b 45 59 29 3b 20 0a 20 20 20 20  MARY KEY); .    
0310: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56  INSERT INTO t1 V
0320: 41 4c 55 45 53 28 31 29 3b 0a 20 20 20 20 49 4e  ALUES(1);.    IN
0330: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c  SERT INTO t1 VAL
0340: 55 45 53 28 32 29 3b 0a 20 20 20 20 49 4e 53 45  UES(2);.    INSE
0350: 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43  RT INTO t1 SELEC
0360: 54 20 78 2b 32 20 46 52 4f 4d 20 74 31 3b 0a 20  T x+2 FROM t1;. 
0370: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
0380: 31 20 53 45 4c 45 43 54 20 78 2b 34 20 46 52 4f  1 SELECT x+4 FRO
0390: 4d 20 74 31 3b 0a 20 20 20 20 49 4e 53 45 52 54  M t1;.    INSERT
03a0: 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20   INTO t1 SELECT 
03b0: 78 2b 38 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20  x+8 FROM t1;.   
03c0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
03d0: 53 45 4c 45 43 54 20 78 2b 31 36 20 46 52 4f 4d  SELECT x+16 FROM
03e0: 20 74 31 3b 0a 20 20 20 20 49 4e 53 45 52 54 20   t1;.    INSERT 
03f0: 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 78  INTO t1 SELECT x
0400: 2b 33 32 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20  +32 FROM t1;.   
0410: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
0420: 53 45 4c 45 43 54 20 78 2b 36 34 20 46 52 4f 4d  SELECT x+64 FROM
0430: 20 74 31 3b 0a 20 20 20 20 49 4e 53 45 52 54 20   t1;.    INSERT 
0440: 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 78  INTO t1 SELECT x
0450: 2b 31 32 38 20 46 52 4f 4d 20 74 31 3b 0a 20 20  +128 FROM t1;.  
0460: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31    INSERT INTO t1
0470: 20 53 45 4c 45 43 54 20 78 2b 32 35 36 20 46 52   SELECT x+256 FR
0480: 4f 4d 20 74 31 3b 0a 20 20 20 20 53 45 4c 45 43  OM t1;.    SELEC
0490: 54 20 63 6f 75 6e 74 28 2a 29 2c 20 6d 61 78 28  T count(*), max(
04a0: 78 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 7d 0a  x) FROM t1;.  }.
04b0: 7d 20 7b 35 31 32 20 35 31 32 7d 0a 64 6f 5f 74  } {512 512}.do_t
04c0: 65 73 74 20 65 76 61 6c 2d 31 2e 32 20 7b 0a 20  est eval-1.2 {. 
04d0: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53   execsql {.    S
04e0: 45 4c 45 43 54 20 78 2c 20 74 65 73 74 5f 65 76  ELECT x, test_ev
04f0: 61 6c 28 27 53 45 4c 45 43 54 20 6d 61 78 28 78  al('SELECT max(x
0500: 29 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20  ) FROM t1 WHERE 
0510: 78 3c 27 20 7c 7c 20 78 29 20 46 52 4f 4d 20 74  x<' || x) FROM t
0520: 31 20 4c 49 4d 49 54 20 35 0a 20 20 7d 0a 7d 20  1 LIMIT 5.  }.} 
0530: 7b 31 20 7b 7d 20 32 20 31 20 33 20 32 20 34 20  {1 {} 2 1 3 2 4 
0540: 33 20 35 20 34 7d 0a 0a 23 20 44 65 6c 65 74 65  3 5 4}..# Delete
0550: 20 61 20 72 6f 77 20 6f 75 74 20 66 72 6f 6d 20   a row out from 
0560: 75 6e 64 65 72 20 61 20 72 65 61 64 20 63 75 72  under a read cur
0570: 73 6f 72 20 69 6e 20 74 68 65 20 6d 69 64 64 6c  sor in the middl
0580: 65 20 6f 66 0a 23 20 63 6f 6c 6c 65 63 74 69 6e  e of.# collectin
0590: 67 20 74 68 65 20 61 72 67 75 6d 65 6e 74 73 20  g the arguments 
05a0: 66 6f 72 20 61 20 73 69 6e 67 6c 65 20 72 6f 77  for a single row
05b0: 20 69 6e 20 61 20 72 65 73 75 6c 74 20 73 65 74   in a result set
05c0: 2e 0a 23 20 56 65 72 69 66 79 20 74 68 61 74 20  ..# Verify that 
05d0: 73 75 62 73 65 71 75 65 6e 74 20 72 6f 77 73 20  subsequent rows 
05e0: 63 6f 6d 65 20 6f 75 74 20 61 73 20 4e 55 4c 4c  come out as NULL
05f0: 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 65 76 61 6c  ..#.do_test eval
0600: 2d 32 2e 31 20 7b 0a 20 20 65 78 65 63 73 71 6c  -2.1 {.  execsql
0610: 20 7b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41   {.    CREATE TA
0620: 42 4c 45 20 74 32 28 78 2c 79 29 3b 0a 20 20 20  BLE t2(x,y);.   
0630: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20   INSERT INTO t2 
0640: 53 45 4c 45 43 54 20 78 2c 20 78 2b 31 20 46 52  SELECT x, x+1 FR
0650: 4f 4d 20 74 31 20 57 48 45 52 45 20 78 3c 35 3b  OM t1 WHERE x<5;
0660: 0a 20 20 20 20 53 45 4c 45 43 54 20 78 2c 20 74  .    SELECT x, t
0670: 65 73 74 5f 65 76 61 6c 28 27 44 45 4c 45 54 45  est_eval('DELETE
0680: 20 46 52 4f 4d 20 74 32 20 57 48 45 52 45 20 78   FROM t2 WHERE x
0690: 3d 27 7c 7c 78 29 2c 20 79 20 46 52 4f 4d 20 74  ='||x), y FROM t
06a0: 32 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b 7d 20 7b  2;.  }.} {1 {} {
06b0: 7d 20 32 20 7b 7d 20 7b 7d 20 33 20 7b 7d 20 7b  } 2 {} {} 3 {} {
06c0: 7d 20 34 20 7b 7d 20 7b 7d 7d 0a 64 6f 5f 74 65  } 4 {} {}}.do_te
06d0: 73 74 20 65 76 61 6c 2d 32 2e 32 20 7b 0a 20 20  st eval-2.2 {.  
06e0: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45  execsql {.    SE
06f0: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 32 0a 20  LECT * FROM t2. 
0700: 20 7d 0a 7d 20 7b 7d 0a 64 6f 5f 74 65 73 74 20   }.} {}.do_test 
0710: 65 76 61 6c 2d 32 2e 33 20 7b 0a 20 20 65 78 65  eval-2.3 {.  exe
0720: 63 73 71 6c 20 7b 0a 20 20 20 20 49 4e 53 45 52  csql {.    INSER
0730: 54 20 49 4e 54 4f 20 74 32 20 53 45 4c 45 43 54  T INTO t2 SELECT
0740: 20 78 2c 20 78 2b 31 20 46 52 4f 4d 20 74 31 20   x, x+1 FROM t1 
0750: 57 48 45 52 45 20 78 3c 35 3b 0a 20 20 20 20 53  WHERE x<5;.    S
0760: 45 4c 45 43 54 20 78 2c 20 74 65 73 74 5f 65 76  ELECT x, test_ev
0770: 61 6c 28 27 44 45 4c 45 54 45 20 46 52 4f 4d 20  al('DELETE FROM 
0780: 74 32 20 57 48 45 52 45 20 78 3d 27 7c 7c 78 29  t2 WHERE x='||x)
0790: 2c 20 79 20 46 52 4f 4d 20 74 32 0a 20 20 20 20  , y FROM t2.    
07a0: 20 4f 52 44 45 52 20 42 59 20 72 6f 77 69 64 20   ORDER BY rowid 
07b0: 44 45 53 43 3b 0a 20 20 7d 0a 7d 20 7b 34 20 7b  DESC;.  }.} {4 {
07c0: 7d 20 7b 7d 20 33 20 7b 7d 20 7b 7d 20 32 20 7b  } {} 3 {} {} 2 {
07d0: 7d 20 7b 7d 20 31 20 7b 7d 20 7b 7d 7d 0a 64 6f  } {} 1 {} {}}.do
07e0: 5f 74 65 73 74 20 65 76 61 6c 2d 32 2e 34 20 7b  _test eval-2.4 {
07f0: 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20  .  execsql {.   
0800: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74   SELECT * FROM t
0810: 32 0a 20 20 7d 0a 7d 20 7b 7d 0a 0a 23 20 4d 6f  2.  }.} {}..# Mo
0820: 64 69 66 79 20 61 20 72 6f 77 20 77 68 69 6c 65  dify a row while
0830: 20 69 74 20 69 73 20 62 65 69 6e 67 20 72 65 61   it is being rea
0840: 64 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 65 76 61  d..#.do_test eva
0850: 6c 2d 33 2e 31 20 7b 0a 20 20 65 78 65 63 73 71  l-3.1 {.  execsq
0860: 6c 20 7b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  l {.    INSERT I
0870: 4e 54 4f 20 74 32 20 53 45 4c 45 43 54 20 78 2c  NTO t2 SELECT x,
0880: 20 78 2b 31 20 46 52 4f 4d 20 74 31 20 57 48 45   x+1 FROM t1 WHE
0890: 52 45 20 78 3c 35 3b 0a 20 20 20 20 53 45 4c 45  RE x<5;.    SELE
08a0: 43 54 20 78 2c 20 74 65 73 74 5f 65 76 61 6c 28  CT x, test_eval(
08b0: 27 55 50 44 41 54 45 20 74 32 20 53 45 54 20 79  'UPDATE t2 SET y
08c0: 3d 79 2b 31 30 30 20 57 48 45 52 45 20 78 3d 27  =y+100 WHERE x='
08d0: 7c 7c 78 29 2c 20 79 20 46 52 4f 4d 20 74 32 3b  ||x), y FROM t2;
08e0: 0a 20 20 7d 0a 7d 20 7b 31 20 7b 7d 20 31 30 32  .  }.} {1 {} 102
08f0: 20 32 20 7b 7d 20 31 30 33 20 33 20 7b 7d 20 31   2 {} 103 3 {} 1
0900: 30 34 20 34 20 7b 7d 20 31 30 35 7d 0a 0a 64 6f  04 4 {} 105}..do
0910: 5f 74 65 73 74 20 65 76 61 6c 2d 34 2e 31 20 7b  _test eval-4.1 {
0920: 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 53 45 4c  .  execsql { SEL
0930: 45 43 54 20 74 65 73 74 5f 65 76 61 6c 28 27 53  ECT test_eval('S
0940: 45 4c 45 43 54 20 22 61 62 63 64 65 66 67 68 69  ELECT "abcdefghi
0950: 6a 22 27 29 20 7d 0a 7d 20 7b 61 62 63 64 65 66  j"') }.} {abcdef
0960: 67 68 69 6a 7d 0a 0a 66 69 6e 69 73 68 5f 74 65  ghij}..finish_te
0970: 73 74 0a                                         st.