/ Hex Artifact Content
Login

Artifact 1015e6a1452e14d36797977923593a938ba35d2f:


0000: 23 20 32 30 30 37 20 4d 61 79 20 31 30 0a 23 0a  # 2007 May 10.#.
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 20  SQLite library. 
01a0: 20 54 68 65 0a 23 20 66 6f 63 75 73 20 6f 66 20   The.# focus of 
01b0: 74 68 69 73 20 66 69 6c 65 20 69 73 20 67 65 6e  this file is gen
01c0: 65 72 61 74 69 6e 67 20 73 65 6d 69 2d 72 61 6e  erating semi-ran
01d0: 64 6f 6d 20 73 74 72 69 6e 67 73 20 6f 66 20 53  dom strings of S
01e0: 51 4c 0a 23 20 28 61 2e 6b 2e 61 2e 20 22 66 75  QL.# (a.k.a. "fu
01f0: 7a 7a 22 29 20 61 6e 64 20 73 65 6e 64 69 6e 67  zz") and sending
0200: 20 69 74 20 69 6e 74 6f 20 74 68 65 20 70 61 72   it into the par
0210: 73 65 72 20 74 6f 20 74 72 79 20 74 6f 20 67 65  ser to try to ge
0220: 6e 65 72 61 74 65 0a 23 20 65 72 72 6f 72 73 2e  nerate.# errors.
0230: 0a 23 0a 23 20 24 49 64 3a 20 66 75 7a 7a 2e 74  .#.# $Id: fuzz.t
0240: 65 73 74 2c 76 20 31 2e 35 20 32 30 30 37 2f 30  est,v 1.5 2007/0
0250: 35 2f 31 31 20 30 37 3a 30 38 3a 32 39 20 64 61  5/11 07:08:29 da
0260: 6e 69 65 6c 6b 31 39 37 37 20 45 78 70 20 24 0a  nielk1977 Exp $.
0270: 0a 73 65 74 20 74 65 73 74 64 69 72 20 5b 66 69  .set testdir [fi
0280: 6c 65 20 64 69 72 6e 61 6d 65 20 24 61 72 67 76  le dirname $argv
0290: 30 5d 0a 73 6f 75 72 63 65 20 24 74 65 73 74 64  0].source $testd
02a0: 69 72 2f 74 65 73 74 65 72 2e 74 63 6c 0a 0a 70  ir/tester.tcl..p
02b0: 72 6f 63 20 66 75 7a 7a 20 7b 54 65 6d 70 6c 61  roc fuzz {Templa
02c0: 74 65 4c 69 73 74 7d 20 7b 0a 20 20 73 65 74 20  teList} {.  set 
02d0: 6e 20 5b 6c 6c 65 6e 67 74 68 20 24 54 65 6d 70  n [llength $Temp
02e0: 6c 61 74 65 4c 69 73 74 5d 0a 20 20 73 65 74 20  lateList].  set 
02f0: 69 20 5b 65 78 70 72 20 7b 69 6e 74 28 72 61 6e  i [expr {int(ran
0300: 64 28 29 2a 24 6e 29 7d 5d 0a 20 20 72 65 74 75  d()*$n)}].  retu
0310: 72 6e 20 5b 73 75 62 73 74 20 2d 6e 6f 76 61 72  rn [subst -novar
0320: 20 5b 6c 69 6e 64 65 78 20 24 54 65 6d 70 6c 61   [lindex $Templa
0330: 74 65 4c 69 73 74 20 24 69 5d 5d 0a 7d 0a 0a 23  teList $i]].}..#
0340: 20 52 65 74 75 72 6e 73 20 61 20 73 74 72 69 6e   Returns a strin
0350: 67 20 72 65 70 72 65 73 65 6e 74 69 6e 67 20 61  g representing a
0360: 6e 20 53 51 4c 20 6c 69 74 65 72 61 6c 2e 0a 23  n SQL literal..#
0370: 0a 70 72 6f 63 20 4c 69 74 65 72 61 6c 20 7b 7d  .proc Literal {}
0380: 20 7b 0a 20 20 73 65 74 20 54 65 6d 70 6c 61 74   {.  set Templat
0390: 65 4c 69 73 74 20 7b 0a 20 20 20 20 34 35 36 20  eList {.    456 
03a0: 30 20 2d 34 35 36 20 31 20 2d 31 20 0a 20 20 20  0 -456 1 -1 .   
03b0: 20 32 31 34 37 34 38 33 36 34 38 20 32 31 34 37   2147483648 2147
03c0: 34 38 33 36 34 37 20 32 31 34 37 34 38 33 36 34  483647 214748364
03d0: 39 20 2d 32 31 34 37 34 38 33 36 34 37 20 2d 32  9 -2147483647 -2
03e0: 31 34 37 34 38 33 36 34 38 20 2d 32 31 34 37 34  147483648 -21474
03f0: 38 33 36 34 39 0a 20 20 20 20 27 54 68 65 27 20  83649.    'The' 
0400: 27 66 69 72 73 74 27 20 27 65 78 70 65 72 69 6d  'first' 'experim
0410: 65 6e 74 73 27 20 27 69 6e 27 20 27 68 61 72 64  ents' 'in' 'hard
0420: 77 61 72 65 27 20 27 66 61 75 6c 74 27 20 27 69  ware' 'fault' 'i
0430: 6e 6a 65 63 74 69 6f 6e 27 0a 20 20 20 20 7a 65  njection'.    ze
0440: 72 6f 62 6c 6f 62 28 31 30 30 30 29 0a 20 20 20  roblob(1000).   
0450: 20 4e 55 4c 4c 0a 20 20 20 20 35 36 2e 31 20 2d   NULL.    56.1 -
0460: 35 36 2e 31 0a 20 20 20 20 31 32 33 34 35 36 37  56.1.    1234567
0470: 38 39 2e 31 32 33 34 35 36 37 38 39 39 0a 20 20  89.1234567899.  
0480: 7d 0a 20 20 66 75 7a 7a 20 24 54 65 6d 70 6c 61  }.  fuzz $Templa
0490: 74 65 4c 69 73 74 0a 7d 0a 0a 70 72 6f 63 20 55  teList.}..proc U
04a0: 6e 61 72 79 4f 70 20 7b 7d 20 7b 0a 20 20 73 65  naryOp {} {.  se
04b0: 74 20 54 65 6d 70 6c 61 74 65 4c 69 73 74 20 7b  t TemplateList {
04c0: 2b 20 2d 20 4e 4f 54 7d 0a 20 20 66 75 7a 7a 20  + - NOT}.  fuzz 
04d0: 24 54 65 6d 70 6c 61 74 65 4c 69 73 74 0a 7d 0a  $TemplateList.}.
04e0: 0a 70 72 6f 63 20 42 69 6e 61 72 79 4f 70 20 7b  .proc BinaryOp {
04f0: 7d 20 7b 0a 20 20 73 65 74 20 54 65 6d 70 6c 61  } {.  set Templa
0500: 74 65 4c 69 73 74 20 7b 2b 20 2d 20 25 20 2a 20  teList {+ - % * 
0510: 2f 20 41 4e 44 20 4f 52 20 4c 49 4b 45 20 47 4c  / AND OR LIKE GL
0520: 4f 42 7d 0a 20 20 66 75 7a 7a 20 24 54 65 6d 70  OB}.  fuzz $Temp
0530: 6c 61 74 65 4c 69 73 74 0a 7d 0a 0a 73 65 74 20  lateList.}..set 
0540: 3a 3a 45 78 70 72 44 65 70 74 68 20 30 0a 70 72  ::ExprDepth 0.pr
0550: 6f 63 20 45 78 70 72 20 7b 7d 20 7b 0a 20 20 69  oc Expr {} {.  i
0560: 6e 63 72 20 3a 3a 45 78 70 72 44 65 70 74 68 0a  ncr ::ExprDepth.
0570: 0a 20 20 73 65 74 20 54 65 6d 70 6c 61 74 65 4c  .  set TemplateL
0580: 69 73 74 20 7b 5b 4c 69 74 65 72 61 6c 5d 7d 0a  ist {[Literal]}.
0590: 20 20 69 66 20 7b 24 3a 3a 45 78 70 72 44 65 70    if {$::ExprDep
05a0: 74 68 20 3c 20 31 30 30 7d 20 7b 0a 20 20 20 20  th < 100} {.    
05b0: 6c 61 70 70 65 6e 64 20 54 65 6d 70 6c 61 74 65  lappend Template
05c0: 4c 69 73 74 20 5c 0a 20 20 20 20 20 20 7b 5b 45  List \.      {[E
05d0: 78 70 72 5d 20 5b 42 69 6e 61 72 79 4f 70 5d 20  xpr] [BinaryOp] 
05e0: 5b 45 78 70 72 5d 7d 20 20 20 5c 0a 20 20 20 20  [Expr]}   \.    
05f0: 20 20 7b 5b 55 6e 61 72 79 4f 70 5d 20 5b 45 78    {[UnaryOp] [Ex
0600: 70 72 5d 7d 0a 20 20 7d 0a 20 20 69 66 20 7b 24  pr]}.  }.  if {$
0610: 3a 3a 53 65 6c 65 63 74 44 65 70 74 68 20 3c 20  ::SelectDepth < 
0620: 31 30 7d 20 7b 0a 20 20 20 20 6c 61 70 70 65 6e  10} {.    lappen
0630: 64 20 54 65 6d 70 6c 61 74 65 4c 69 73 74 20 7b  d TemplateList {
0640: 28 5b 53 65 6c 65 63 74 20 31 5d 29 7d 0a 20 20  ([Select 1])}.  
0650: 7d 20 0a 20 20 73 65 74 20 72 65 73 20 5b 66 75  } .  set res [fu
0660: 7a 7a 20 24 54 65 6d 70 6c 61 74 65 4c 69 73 74  zz $TemplateList
0670: 5d 0a 20 20 69 6e 63 72 20 3a 3a 45 78 70 72 44  ].  incr ::ExprD
0680: 65 70 74 68 20 2d 31 0a 20 20 72 65 74 75 72 6e  epth -1.  return
0690: 20 24 72 65 73 0a 7d 0a 0a 73 65 74 20 3a 3a 54   $res.}..set ::T
06a0: 61 62 6c 65 4c 69 73 74 20 5b 6c 69 73 74 5d 0a  ableList [list].
06b0: 70 72 6f 63 20 54 61 62 6c 65 20 7b 7d 20 7b 0a  proc Table {} {.
06c0: 20 20 73 65 74 20 54 65 6d 70 6c 61 74 65 4c 69    set TemplateLi
06d0: 73 74 20 5b 63 6f 6e 63 61 74 20 73 71 6c 69 74  st [concat sqlit
06e0: 65 5f 6d 61 73 74 65 72 20 24 3a 3a 54 61 62 6c  e_master $::Tabl
06f0: 65 4c 69 73 74 5d 0a 20 20 66 75 7a 7a 20 24 54  eList].  fuzz $T
0700: 65 6d 70 6c 61 74 65 4c 69 73 74 0a 7d 0a 0a 73  emplateList.}..s
0710: 65 74 20 3a 3a 53 65 6c 65 63 74 44 65 70 74 68  et ::SelectDepth
0720: 20 30 0a 70 72 6f 63 20 53 65 6c 65 63 74 20 7b   0.proc Select {
0730: 7b 69 73 45 78 70 72 20 30 7d 7d 20 7b 0a 20 20  {isExpr 0}} {.  
0740: 69 6e 63 72 20 3a 3a 53 65 6c 65 63 74 44 65 70  incr ::SelectDep
0750: 74 68 0a 20 20 73 65 74 20 54 65 6d 70 6c 61 74  th.  set Templat
0760: 65 4c 69 73 74 20 7b 0a 20 20 20 20 20 20 7b 53  eList {.      {S
0770: 45 4c 45 43 54 20 5b 45 78 70 72 5d 7d 0a 20 20  ELECT [Expr]}.  
0780: 7d 0a 20 20 69 66 20 7b 24 3a 3a 53 65 6c 65 63  }.  if {$::Selec
0790: 74 44 65 70 74 68 20 3c 20 35 7d 20 7b 0a 20 20  tDepth < 5} {.  
07a0: 20 20 6c 61 70 70 65 6e 64 20 54 65 6d 70 6c 61    lappend Templa
07b0: 74 65 4c 69 73 74 20 5c 0a 20 20 20 20 20 20 20  teList \.       
07c0: 20 7b 53 45 4c 45 43 54 20 5b 45 78 70 72 5d 20   {SELECT [Expr] 
07d0: 46 52 4f 4d 20 28 5b 53 65 6c 65 63 74 5d 29 7d  FROM ([Select])}
07e0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
07f0: 5c 0a 20 20 20 20 20 20 20 20 7b 53 45 4c 45 43  \.        {SELEC
0800: 54 20 5b 45 78 70 72 5d 20 46 52 4f 4d 20 5b 54  T [Expr] FROM [T
0810: 61 62 6c 65 5d 7d 20 20 20 20 20 20 20 20 20 20  able]}          
0820: 20 20 20 20 20 20 20 20 0a 0a 20 20 20 20 69 66          ..    if
0830: 20 7b 30 20 3d 3d 20 24 69 73 45 78 70 72 7d 20   {0 == $isExpr} 
0840: 7b 0a 20 20 20 20 20 20 6c 61 70 70 65 6e 64 20  {.      lappend 
0850: 54 65 6d 70 6c 61 74 65 4c 69 73 74 20 20 20 20  TemplateList    
0860: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0870: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0880: 20 20 20 20 20 5c 0a 20 20 20 20 20 20 20 20 20       \.         
0890: 20 7b 53 45 4c 45 43 54 20 5b 45 78 70 72 5d 2c   {SELECT [Expr],
08a0: 20 5b 45 78 70 72 5d 20 46 52 4f 4d 20 28 5b 53   [Expr] FROM ([S
08b0: 65 6c 65 63 74 5d 29 20 4f 52 44 45 52 20 42 59  elect]) ORDER BY
08c0: 20 5b 45 78 70 72 5d 7d 20 20 5c 0a 20 20 20 20   [Expr]}  \.    
08d0: 20 20 20 20 20 20 7b 53 45 4c 45 43 54 20 2a 20        {SELECT * 
08e0: 46 52 4f 4d 20 28 5b 53 65 6c 65 63 74 5d 29 20  FROM ([Select]) 
08f0: 4f 52 44 45 52 20 42 59 20 5b 45 78 70 72 5d 7d  ORDER BY [Expr]}
0900: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 5c                 \
0910: 0a 20 20 20 20 7d 0a 20 20 7d 20 0a 20 20 73 65  .    }.  } .  se
0920: 74 20 72 65 73 20 5b 66 75 7a 7a 20 24 54 65 6d  t res [fuzz $Tem
0930: 70 6c 61 74 65 4c 69 73 74 5d 0a 20 20 69 6e 63  plateList].  inc
0940: 72 20 3a 3a 53 65 6c 65 63 74 44 65 70 74 68 20  r ::SelectDepth 
0950: 2d 31 0a 20 20 73 65 74 20 72 65 73 0a 7d 0a 0a  -1.  set res.}..
0960: 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23  ################
0970: 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23  ################
0980: 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23  ################
0990: 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23  ################
09a0: 23 23 23 23 23 23 23 23 0a 0a 23 2d 2d 2d 2d 2d  ########..#-----
09b0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
09c0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
09d0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
09e0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54 68  -----------.# Th
09f0: 65 73 65 20 74 65 73 74 73 20 63 61 75 73 65 64  ese tests caused
0a00: 20 65 72 72 6f 72 73 20 74 68 61 74 20 77 65 72   errors that wer
0a10: 65 20 66 69 72 73 74 20 63 61 75 67 68 74 20 62  e first caught b
0a20: 79 20 74 68 65 20 74 65 73 74 73 0a 23 20 69 6e  y the tests.# in
0a30: 20 74 68 69 73 20 66 69 6c 65 2e 20 54 68 65 79   this file. They
0a40: 20 61 72 65 20 73 74 69 6c 6c 20 68 65 72 65 2e   are still here.
0a50: 0a 64 6f 5f 74 65 73 74 20 66 75 7a 7a 2d 31 2e  .do_test fuzz-1.
0a60: 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  1 {.  execsql {.
0a70: 20 20 20 20 53 45 4c 45 43 54 20 27 61 62 63 27      SELECT 'abc'
0a80: 20 4c 49 4b 45 20 58 27 41 42 43 44 27 3b 0a 20   LIKE X'ABCD';. 
0a90: 20 7d 0a 7d 20 7b 30 7d 0a 64 6f 5f 74 65 73 74   }.} {0}.do_test
0aa0: 20 66 75 7a 7a 2d 31 2e 32 20 7b 0a 20 20 65 78   fuzz-1.2 {.  ex
0ab0: 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45  ecsql {.    SELE
0ac0: 43 54 20 27 61 62 63 27 20 4c 49 4b 45 20 7a 65  CT 'abc' LIKE ze
0ad0: 72 6f 62 6c 6f 62 28 31 30 29 3b 0a 20 20 7d 0a  roblob(10);.  }.
0ae0: 7d 20 7b 30 7d 0a 64 6f 5f 74 65 73 74 20 66 75  } {0}.do_test fu
0af0: 7a 7a 2d 31 2e 33 20 7b 0a 20 20 65 78 65 63 73  zz-1.3 {.  execs
0b00: 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20  ql {.    SELECT 
0b10: 7a 65 72 6f 62 6c 6f 62 28 31 30 29 20 4c 49 4b  zeroblob(10) LIK
0b20: 45 20 27 61 62 63 27 3b 0a 20 20 7d 0a 7d 20 7b  E 'abc';.  }.} {
0b30: 30 7d 0a 64 6f 5f 74 65 73 74 20 66 75 7a 7a 2d  0}.do_test fuzz-
0b40: 31 2e 34 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  1.4 {.  execsql 
0b50: 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 28 2d 20  {.    SELECT (- 
0b60: 2d 32 31 29 20 25 20 4e 4f 54 20 28 34 35 36 20  -21) % NOT (456 
0b70: 4c 49 4b 45 20 7a 65 72 6f 62 6c 6f 62 28 31 30  LIKE zeroblob(10
0b80: 29 29 3b 0a 20 20 7d 0a 7d 20 7b 30 7d 0a 64 6f  ));.  }.} {0}.do
0b90: 5f 74 65 73 74 20 66 75 7a 7a 2d 31 2e 35 20 7b  _test fuzz-1.5 {
0ba0: 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20  .  execsql {.   
0bb0: 20 53 45 4c 45 43 54 20 28 53 45 4c 45 43 54 20   SELECT (SELECT 
0bc0: 28 0a 20 20 20 20 20 20 20 20 53 45 4c 45 43 54  (.        SELECT
0bd0: 20 28 53 45 4c 45 43 54 20 2d 32 31 34 37 34 38   (SELECT -214748
0be0: 33 36 34 38 29 20 46 52 4f 4d 20 28 53 45 4c 45  3648) FROM (SELE
0bf0: 43 54 20 31 29 20 4f 52 44 45 52 20 42 59 20 31  CT 1) ORDER BY 1
0c00: 0a 20 20 20 20 29 29 0a 20 20 7d 0a 7d 20 7b 2d  .    )).  }.} {-
0c10: 32 31 34 37 34 38 33 36 34 38 7d 0a 64 6f 5f 74  2147483648}.do_t
0c20: 65 73 74 20 66 75 7a 7a 2d 31 2e 36 20 7b 0a 20  est fuzz-1.6 {. 
0c30: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53   execsql {.    S
0c40: 45 4c 45 43 54 20 27 61 62 63 27 2c 20 7a 65 72  ELECT 'abc', zer
0c50: 6f 62 6c 6f 62 28 31 29 20 46 52 4f 4d 20 28 53  oblob(1) FROM (S
0c60: 45 4c 45 43 54 20 31 29 20 4f 52 44 45 52 20 42  ELECT 1) ORDER B
0c70: 59 20 31 0a 20 20 7d 0a 7d 20 5b 65 78 65 63 73  Y 1.  }.} [execs
0c80: 71 6c 20 7b 53 45 4c 45 43 54 20 27 61 62 63 27  ql {SELECT 'abc'
0c90: 2c 20 7a 65 72 6f 62 6c 6f 62 28 31 29 7d 5d 0a  , zeroblob(1)}].
0ca0: 0a 64 6f 5f 74 65 73 74 20 66 75 7a 7a 2d 31 2e  .do_test fuzz-1.
0cb0: 37 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  7 {.  execsql {.
0cc0: 20 20 20 20 53 45 4c 45 43 54 20 28 20 53 45 4c      SELECT ( SEL
0cd0: 45 43 54 20 7a 65 72 6f 62 6c 6f 62 28 31 30 30  ECT zeroblob(100
0ce0: 30 29 20 46 52 4f 4d 20 28 20 0a 20 20 20 20 20  0) FROM ( .     
0cf0: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 28   SELECT * FROM (
0d00: 53 45 4c 45 43 54 20 27 66 69 72 73 74 27 29 20  SELECT 'first') 
0d10: 4f 52 44 45 52 20 42 59 20 4e 4f 54 20 27 69 6e  ORDER BY NOT 'in
0d20: 27 29 20 0a 20 20 20 20 29 0a 20 20 7d 0a 7d 20  ') .    ).  }.} 
0d30: 5b 65 78 65 63 73 71 6c 20 7b 53 45 4c 45 43 54  [execsql {SELECT
0d40: 20 7a 65 72 6f 62 6c 6f 62 28 31 30 30 30 29 7d   zeroblob(1000)}
0d50: 5d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ]..#------------
0d60: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0d70: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0d80: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0d90: 2d 2d 2d 2d 0a 23 20 54 65 73 74 20 73 6f 6d 65  ----.# Test some
0da0: 20 66 75 7a 7a 69 6c 79 20 67 65 6e 65 72 61 74   fuzzily generat
0db0: 65 64 20 65 78 70 72 65 73 73 69 6f 6e 73 2e 0a  ed expressions..
0dc0: 23 0a 66 6f 72 20 7b 73 65 74 20 69 69 20 30 7d  #.for {set ii 0}
0dd0: 20 7b 24 69 69 20 3c 20 32 30 30 30 7d 20 7b 69   {$ii < 2000} {i
0de0: 6e 63 72 20 69 69 7d 20 7b 0a 20 20 64 6f 5f 74  ncr ii} {.  do_t
0df0: 65 73 74 20 66 75 7a 7a 2d 32 2e 31 2e 24 69 69  est fuzz-2.1.$ii
0e00: 20 7b 0a 20 20 20 20 73 65 74 20 3a 3a 65 78 70   {.    set ::exp
0e10: 72 20 5b 45 78 70 72 5d 0a 20 20 20 20 73 65 74  r [Expr].    set
0e20: 20 72 63 20 5b 63 61 74 63 68 20 7b 65 78 65 63   rc [catch {exec
0e30: 73 71 6c 20 22 53 45 4c 45 43 54 20 24 3a 3a 65  sql "SELECT $::e
0e40: 78 70 72 22 7d 20 6d 73 67 5d 0a 20 20 20 20 73  xpr"} msg].    s
0e50: 65 74 20 65 20 5b 65 78 70 72 20 7b 0a 20 20 20  et e [expr {.   
0e60: 20 20 20 24 72 63 20 3d 3d 20 30 20 7c 7c 20 0a     $rc == 0 || .
0e70: 20 20 20 20 20 20 24 6d 73 67 20 65 71 20 22 70        $msg eq "p
0e80: 61 72 73 65 72 20 73 74 61 63 6b 20 6f 76 65 72  arser stack over
0e90: 66 6c 6f 77 22 20 7c 7c 0a 20 20 20 20 20 20 30  flow" ||.      0
0ea0: 20 3d 3d 20 5b 73 74 72 69 6e 67 20 66 69 72 73   == [string firs
0eb0: 74 20 22 4f 52 44 45 52 20 42 59 20 63 6f 6c 75  t "ORDER BY colu
0ec0: 6d 6e 20 6e 75 6d 62 65 72 22 20 24 6d 73 67 5d  mn number" $msg]
0ed0: 0a 20 20 20 20 7d 5d 0a 20 20 20 20 69 66 20 7b  .    }].    if {
0ee0: 24 65 20 3d 3d 20 30 7d 20 7b 0a 20 20 20 20 20  $e == 0} {.     
0ef0: 20 70 75 74 73 20 22 22 0a 20 20 20 20 20 20 70   puts "".      p
0f00: 75 74 73 20 22 53 45 4c 45 43 54 20 24 3a 3a 65  uts "SELECT $::e
0f10: 78 70 72 22 0a 20 20 20 20 20 20 70 75 74 73 20  xpr".      puts 
0f20: 24 6d 73 67 0a 20 20 20 20 7d 0a 20 20 20 20 73  $msg.    }.    s
0f30: 65 74 20 65 0a 20 20 7d 20 7b 31 7d 0a 7d 20 0a  et e.  } {1}.} .
0f40: 0a 64 6f 5f 74 65 73 74 20 66 75 7a 7a 2d 33 2e  .do_test fuzz-3.
0f50: 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  1 {.  execsql {.
0f60: 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45      CREATE TABLE
0f70: 20 61 62 63 28 61 2c 20 62 2c 20 63 29 3b 0a 20   abc(a, b, c);. 
0f80: 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20     CREATE TABLE 
0f90: 64 65 66 28 64 2c 20 65 2c 20 66 29 3b 0a 20 20  def(d, e, f);.  
0fa0: 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 67    CREATE TABLE g
0fb0: 68 69 28 67 2c 20 68 2c 20 69 29 3b 0a 20 20 7d  hi(g, h, i);.  }
0fc0: 0a 7d 20 7b 7d 0a 73 65 74 20 3a 3a 54 61 62 6c  .} {}.set ::Tabl
0fd0: 65 4c 69 73 74 20 5b 6c 69 73 74 20 61 62 63 20  eList [list abc 
0fe0: 64 65 66 20 67 68 69 5d 0a 0a 23 2d 2d 2d 2d 2d  def ghi]..#-----
0ff0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1000: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1010: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1020: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54 65  -----------.# Te
1030: 73 74 20 73 6f 6d 65 20 66 75 7a 7a 69 6c 79 20  st some fuzzily 
1040: 67 65 6e 65 72 61 74 65 64 20 53 45 4c 45 43 54  generated SELECT
1050: 20 73 74 61 74 65 6d 65 6e 74 73 2e 0a 23 0a 66   statements..#.f
1060: 6f 72 20 7b 73 65 74 20 69 69 20 30 7d 20 7b 24  or {set ii 0} {$
1070: 69 69 20 3c 20 32 30 30 30 7d 20 7b 69 6e 63 72  ii < 2000} {incr
1080: 20 69 69 7d 20 7b 0a 20 20 64 6f 5f 74 65 73 74   ii} {.  do_test
1090: 20 66 75 7a 7a 2d 32 2e 32 2e 24 69 69 20 7b 0a   fuzz-2.2.$ii {.
10a0: 20 20 20 20 73 65 74 20 3a 3a 73 65 6c 65 63 74      set ::select
10b0: 20 5b 53 65 6c 65 63 74 5d 0a 20 20 20 20 73 65   [Select].    se
10c0: 74 20 72 63 20 5b 63 61 74 63 68 20 7b 65 78 65  t rc [catch {exe
10d0: 63 73 71 6c 20 24 3a 3a 73 65 6c 65 63 74 7d 20  csql $::select} 
10e0: 6d 73 67 5d 0a 20 20 20 20 73 65 74 20 65 20 5b  msg].    set e [
10f0: 65 78 70 72 20 7b 24 72 63 20 3d 3d 20 30 20 7c  expr {$rc == 0 |
1100: 7c 20 24 6d 73 67 20 65 71 20 22 70 61 72 73 65  | $msg eq "parse
1110: 72 20 73 74 61 63 6b 20 6f 76 65 72 66 6c 6f 77  r stack overflow
1120: 22 7d 5d 0a 20 20 20 20 73 65 74 20 65 20 5b 65  "}].    set e [e
1130: 78 70 72 20 7b 0a 20 20 20 20 20 20 24 72 63 20  xpr {.      $rc 
1140: 3d 3d 20 30 20 7c 7c 20 0a 20 20 20 20 20 20 24  == 0 || .      $
1150: 6d 73 67 20 65 71 20 22 70 61 72 73 65 72 20 73  msg eq "parser s
1160: 74 61 63 6b 20 6f 76 65 72 66 6c 6f 77 22 20 7c  tack overflow" |
1170: 7c 0a 20 20 20 20 20 20 30 20 3d 3d 20 5b 73 74  |.      0 == [st
1180: 72 69 6e 67 20 66 69 72 73 74 20 22 4f 52 44 45  ring first "ORDE
1190: 52 20 42 59 20 63 6f 6c 75 6d 6e 20 6e 75 6d 62  R BY column numb
11a0: 65 72 22 20 24 6d 73 67 5d 0a 20 20 20 20 7d 5d  er" $msg].    }]
11b0: 0a 20 20 20 20 69 66 20 7b 24 65 20 3d 3d 20 30  .    if {$e == 0
11c0: 7d 20 7b 0a 20 20 20 20 20 20 70 75 74 73 20 22  } {.      puts "
11d0: 22 0a 20 20 20 20 20 20 70 75 74 73 20 24 3a 3a  ".      puts $::
11e0: 73 65 6c 65 63 74 0a 20 20 20 20 20 20 70 75 74  select.      put
11f0: 73 20 24 6d 73 67 0a 20 20 20 20 7d 0a 20 20 20  s $msg.    }.   
1200: 20 73 65 74 20 65 0a 20 20 7d 20 7b 31 7d 0a 7d   set e.  } {1}.}
1210: 20 0a 0a 66 69 6e 69 73 68 5f 74 65 73 74 0a      ..finish_test.