/ Hex Artifact Content
Login

Artifact b1f447f4f0f67e9f83ff931e7e2e30873f9ea055:


0000: 23 20 32 30 30 37 20 4d 61 79 20 31 32 0a 23 0a  # 2007 May 12.#.
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: 74 65 73 74 73 20 61 20 73 70 65 63 69 61 6c 20  tests a special 
0180: 63 61 73 65 20 69 6e 20 74 68 65 20 62 2d 74 72  case in the b-tr
0190: 65 65 20 63 6f 64 65 20 74 68 61 74 20 63 61 6e  ee code that can
01a0: 20 62 65 0a 23 20 68 69 74 20 62 79 20 74 68 65   be.# hit by the
01b0: 20 22 49 4e 22 20 6f 70 65 72 61 74 6f 72 20 28   "IN" operator (
01c0: 6f 72 20 45 58 49 53 54 53 2c 20 4e 4f 54 20 49  or EXISTS, NOT I
01d0: 4e 2c 20 65 74 63 2e 29 2e 0a 23 0a 23 20 24 49  N, etc.)..#.# $I
01e0: 64 3a 20 69 6e 32 2e 74 65 73 74 2c 76 20 31 2e  d: in2.test,v 1.
01f0: 32 20 32 30 30 37 2f 30 35 2f 31 32 20 31 30 3a  2 2007/05/12 10:
0200: 34 31 3a 34 38 20 64 61 6e 69 65 6c 6b 31 39 37  41:48 danielk197
0210: 37 20 45 78 70 20 24 0a 0a 73 65 74 20 74 65 73  7 Exp $..set tes
0220: 74 64 69 72 20 5b 66 69 6c 65 20 64 69 72 6e 61  tdir [file dirna
0230: 6d 65 20 24 61 72 67 76 30 5d 0a 73 6f 75 72 63  me $argv0].sourc
0240: 65 20 24 74 65 73 74 64 69 72 2f 74 65 73 74 65  e $testdir/teste
0250: 72 2e 74 63 6c 0a 0a 64 6f 5f 74 65 73 74 20 69  r.tcl..do_test i
0260: 6e 32 2d 31 20 7b 0a 20 20 65 78 65 63 73 71 6c  n2-1 {.  execsql
0270: 20 7b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41   {.    CREATE TA
0280: 42 4c 45 20 61 28 69 20 49 4e 54 45 47 45 52 20  BLE a(i INTEGER 
0290: 50 52 49 4d 41 52 59 20 4b 45 59 2c 20 61 29 3b  PRIMARY KEY, a);
02a0: 0a 20 20 7d 0a 7d 20 7b 7d 0a 0a 73 65 74 20 3a  .  }.} {}..set :
02b0: 3a 4e 20 32 30 30 30 0a 0a 64 6f 5f 74 65 73 74  :N 2000..do_test
02c0: 20 69 6e 32 2d 32 20 7b 0a 20 20 64 62 20 74 72   in2-2 {.  db tr
02d0: 61 6e 73 61 63 74 69 6f 6e 20 7b 0a 20 20 20 20  ansaction {.    
02e0: 66 6f 72 20 7b 73 65 74 20 3a 3a 69 69 20 30 7d  for {set ::ii 0}
02f0: 20 7b 24 3a 3a 69 69 20 3c 20 24 3a 3a 4e 7d 20   {$::ii < $::N} 
0300: 7b 69 6e 63 72 20 3a 3a 69 69 7d 20 7b 0a 20 20  {incr ::ii} {.  
0310: 20 20 20 20 65 78 65 63 73 71 6c 20 7b 49 4e 53      execsql {INS
0320: 45 52 54 20 49 4e 54 4f 20 61 20 56 41 4c 55 45  ERT INTO a VALUE
0330: 53 28 24 3a 3a 69 69 2c 20 24 3a 3a 69 69 29 7d  S($::ii, $::ii)}
0340: 0a 20 20 20 20 7d 0a 20 20 20 20 65 78 65 63 73  .    }.    execs
0350: 71 6c 20 7b 49 4e 53 45 52 54 20 49 4e 54 4f 20  ql {INSERT INTO 
0360: 61 20 56 41 4c 55 45 53 28 34 30 30 30 2c 20 27  a VALUES(4000, '
0370: 27 29 7d 0a 0a 20 20 20 20 66 6f 72 20 7b 73 65  ')}..    for {se
0380: 74 20 3a 3a 69 69 20 30 7d 20 7b 24 3a 3a 69 69  t ::ii 0} {$::ii
0390: 20 3c 20 24 3a 3a 4e 7d 20 7b 69 6e 63 72 20 3a   < $::N} {incr :
03a0: 3a 69 69 7d 20 7b 0a 20 20 20 20 20 20 73 65 74  :ii} {.      set
03b0: 20 3a 3a 74 20 5b 66 6f 72 6d 61 74 20 22 78 25   ::t [format "x%
03c0: 30 34 64 22 20 24 69 69 5d 0a 20 20 20 20 20 20  04d" $ii].      
03d0: 65 78 65 63 73 71 6c 20 7b 49 4e 53 45 52 54 20  execsql {INSERT 
03e0: 49 4e 54 4f 20 61 20 56 41 4c 55 45 53 28 4e 55  INTO a VALUES(NU
03f0: 4c 4c 2c 20 24 3a 3a 74 29 7d 0a 20 20 20 20 7d  LL, $::t)}.    }
0400: 0a 20 20 7d 0a 7d 20 7b 7d 0a 0a 23 20 45 61 63  .  }.} {}..# Eac
0410: 68 20 69 74 65 72 61 74 69 6f 6e 20 6f 66 20 74  h iteration of t
0420: 68 69 73 20 6c 6f 6f 70 20 62 75 69 6c 64 73 20  his loop builds 
0430: 61 20 73 6c 69 67 68 74 6c 79 20 64 69 66 66 65  a slightly diffe
0440: 72 65 6e 74 20 62 2d 74 72 65 65 20 74 6f 0a 23  rent b-tree to.#
0450: 20 65 76 61 6c 75 61 74 65 20 74 68 65 20 22 49   evaluate the "I
0460: 4e 20 28 2e 2e 2e 29 22 20 6f 70 65 72 61 74 6f  N (...)" operato
0470: 72 20 69 6e 20 74 68 65 20 53 51 4c 20 73 74 61  r in the SQL sta
0480: 74 65 6d 65 6e 74 2e 20 54 68 65 20 63 6f 6e 74  tement. The cont
0490: 65 6e 74 73 0a 23 20 6f 66 20 74 68 65 20 62 2d  ents.# of the b-
04a0: 74 72 65 65 20 61 72 65 20 28 69 6e 20 73 6f 72  tree are (in sor
04b0: 74 65 64 20 6f 72 64 65 72 29 3a 0a 23 0a 23 20  ted order):.#.# 
04c0: 20 20 20 20 24 3a 3a 69 69 20 69 6e 74 65 67 65      $::ii intege
04d0: 72 73 2e 0a 23 20 20 20 20 20 61 20 73 74 72 69  rs..#     a stri
04e0: 6e 67 20 6f 66 20 7a 65 72 6f 20 6c 65 6e 67 74  ng of zero lengt
04f0: 68 2e 0a 23 20 20 20 20 20 24 3a 3a 4e 20 73 68  h..#     $::N sh
0500: 6f 72 74 20 73 74 72 69 6e 67 73 2e 0a 23 0a 23  ort strings..#.#
0510: 20 52 65 63 6f 72 64 73 20 61 72 65 20 69 6e 73   Records are ins
0520: 65 72 74 65 64 20 69 6e 20 73 6f 72 74 65 64 20  erted in sorted 
0530: 6f 72 64 65 72 2e 0a 23 0a 23 20 54 68 65 20 73  order..#.# The s
0540: 74 72 69 6e 67 20 6f 66 20 7a 65 72 6f 2d 6c 65  tring of zero-le
0550: 6e 67 74 68 20 69 73 20 73 74 6f 72 65 64 20 69  ngth is stored i
0560: 6e 20 61 20 62 2d 74 72 65 65 20 63 65 6c 6c 20  n a b-tree cell 
0570: 77 69 74 68 20 33 20 62 79 74 65 73 0a 23 20 6f  with 3 bytes.# o
0580: 66 20 70 61 79 6c 6f 61 64 2e 20 4d 6f 76 69 6e  f payload. Movin
0590: 67 20 74 68 69 73 20 63 65 6c 6c 20 66 72 6f 6d  g this cell from
05a0: 20 61 20 6c 65 61 66 20 6e 6f 64 65 20 74 6f 20   a leaf node to 
05b0: 61 20 69 6e 74 65 72 6e 61 6c 20 6e 6f 64 65 20  a internal node 
05c0: 0a 23 20 64 75 72 69 6e 67 20 62 2d 74 72 65 65  .# during b-tree
05d0: 20 62 61 6c 61 6e 63 69 6e 67 20 77 61 73 20 63   balancing was c
05e0: 61 75 73 69 6e 67 20 61 6e 20 61 73 73 65 72 74  ausing an assert
05f0: 69 6f 6e 20 66 61 69 6c 75 72 65 2e 20 0a 23 0a  ion failure. .#.
0600: 23 20 54 68 69 73 20 62 75 67 20 6f 6e 6c 79 20  # This bug only 
0610: 61 70 70 6c 69 65 64 20 74 6f 20 62 2d 74 72 65  applied to b-tre
0620: 65 73 20 67 65 6e 65 72 61 74 65 64 20 74 6f 20  es generated to 
0630: 65 76 61 6c 75 61 74 65 20 49 4e 20 28 2e 2e 29  evaluate IN (..)
0640: 20 0a 23 20 63 6c 61 75 73 65 73 2c 20 61 73 20   .# clauses, as 
0650: 69 74 20 69 73 20 69 6d 70 6f 73 73 69 62 6c 65  it is impossible
0660: 20 66 6f 72 20 70 65 72 73 69 73 74 65 6e 74 20   for persistent 
0670: 62 2d 74 72 65 65 73 20 28 53 51 4c 20 74 61 62  b-trees (SQL tab
0680: 6c 65 73 20 2b 20 0a 23 20 69 6e 64 69 63 65 73  les + .# indices
0690: 29 20 74 6f 20 63 6f 6e 74 61 69 6e 20 63 65 6c  ) to contain cel
06a0: 6c 73 20 73 6d 61 6c 6c 65 72 20 74 68 61 6e 20  ls smaller than 
06b0: 34 20 62 79 74 65 73 2e 0a 23 0a 66 6f 72 20 7b  4 bytes..#.for {
06c0: 73 65 74 20 3a 3a 69 69 20 33 7d 20 7b 24 3a 3a  set ::ii 3} {$::
06d0: 69 69 20 3c 20 24 3a 3a 4e 7d 20 7b 69 6e 63 72  ii < $::N} {incr
06e0: 20 3a 3a 69 69 7d 20 7b 0a 20 20 64 6f 5f 74 65   ::ii} {.  do_te
06f0: 73 74 20 69 6e 32 2d 24 3a 3a 69 69 20 7b 0a 20  st in2-$::ii {. 
0700: 20 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20     execsql {.   
0710: 20 20 20 53 45 4c 45 43 54 20 31 20 49 4e 20 28     SELECT 1 IN (
0720: 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 61 20  SELECT a FROM a 
0730: 57 48 45 52 45 20 28 69 20 3c 20 24 3a 3a 69 69  WHERE (i < $::ii
0740: 29 20 4f 52 20 28 69 20 3e 3d 20 24 3a 3a 4e 29  ) OR (i >= $::N)
0750: 29 0a 20 20 20 20 7d 0a 20 20 7d 20 7b 31 7d 0a  ).    }.  } {1}.
0760: 7d 0a 0a 66 69 6e 69 73 68 5f 74 65 73 74 0a 0a  }..finish_test..