SQLite: Hex Artifact Content

Artifact db1bffeeb367b0e9147a1822db5c8c17c6f0b2ab:

File test/fuzz.test — part of check-in [d146f01a] at 2007-05-11 00:20:08 on branch trunk — Make sure that the REGISTER token generates a valid Expr. REGISTER will cause the tokenizer to abort, but the parser might do several reduce actions prior to that abort and those reduce actions sometimes need a valid Expr. (CVS 3980) (user: drh size: 4613)
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 34 20 32 30 30 37 2f 30  est,v 1.4 2007/0
0250: 35 2f 31 31 20 30 30 3a 32 30 3a 30 38 20 64 72  5/11 00:20:08 dr
0260: 68 20 45 78 70 20 24 0a 0a 73 65 74 20 74 65 73  h Exp $..set tes
0270: 74 64 69 72 20 5b 66 69 6c 65 20 64 69 72 6e 61  tdir [file dirna
0280: 6d 65 20 24 61 72 67 76 30 5d 0a 73 6f 75 72 63  me $argv0].sourc
0290: 65 20 24 74 65 73 74 64 69 72 2f 74 65 73 74 65  e $testdir/teste
02a0: 72 2e 74 63 6c 0a 0a 70 72 6f 63 20 66 75 7a 7a  r.tcl..proc fuzz
02b0: 20 7b 54 65 6d 70 6c 61 74 65 4c 69 73 74 7d 20   {TemplateList} 
02c0: 7b 0a 20 20 73 65 74 20 6e 20 5b 6c 6c 65 6e 67  {.  set n [lleng
02d0: 74 68 20 24 54 65 6d 70 6c 61 74 65 4c 69 73 74  th $TemplateList
02e0: 5d 0a 20 20 73 65 74 20 69 20 5b 65 78 70 72 20  ].  set i [expr 
02f0: 7b 69 6e 74 28 72 61 6e 64 28 29 2a 24 6e 29 7d  {int(rand()*$n)}
0300: 5d 0a 20 20 72 65 74 75 72 6e 20 5b 73 75 62 73  ].  return [subs
0310: 74 20 2d 6e 6f 76 61 72 20 5b 6c 69 6e 64 65 78  t -novar [lindex
0320: 20 24 54 65 6d 70 6c 61 74 65 4c 69 73 74 20 24   $TemplateList $
0330: 69 5d 5d 0a 7d 0a 0a 23 20 52 65 74 75 72 6e 73  i]].}..# Returns
0340: 20 61 20 73 74 72 69 6e 67 20 72 65 70 72 65 73   a string repres
0350: 65 6e 74 69 6e 67 20 61 6e 20 53 51 4c 20 6c 69  enting an SQL li
0360: 74 65 72 61 6c 2e 0a 23 0a 70 72 6f 63 20 4c 69  teral..#.proc Li
0370: 74 65 72 61 6c 20 7b 7d 20 7b 0a 20 20 73 65 74  teral {} {.  set
0380: 20 54 65 6d 70 6c 61 74 65 4c 69 73 74 20 7b 0a   TemplateList {.
0390: 20 20 20 20 34 35 36 20 30 20 2d 34 35 36 20 31      456 0 -456 1
03a0: 20 2d 31 20 0a 20 20 20 20 32 31 34 37 34 38 33   -1 .    2147483
03b0: 36 34 38 20 32 31 34 37 34 38 33 36 34 37 20 32  648 2147483647 2
03c0: 31 34 37 34 38 33 36 34 39 20 2d 32 31 34 37 34  147483649 -21474
03d0: 38 33 36 34 37 20 2d 32 31 34 37 34 38 33 36 34  83647 -214748364
03e0: 38 20 2d 32 31 34 37 34 38 33 36 34 39 0a 20 20  8 -2147483649.  
03f0: 20 20 27 54 68 65 27 20 27 66 69 72 73 74 27 20    'The' 'first' 
0400: 27 65 78 70 65 72 69 6d 65 6e 74 73 27 20 27 69  'experiments' 'i
0410: 6e 27 20 27 68 61 72 64 77 61 72 65 27 20 27 66  n' 'hardware' 'f
0420: 61 75 6c 74 27 20 27 69 6e 6a 65 63 74 69 6f 6e  ault' 'injection
0430: 27 0a 20 20 20 20 7a 65 72 6f 62 6c 6f 62 28 31  '.    zeroblob(1
0440: 30 30 30 29 0a 20 20 20 20 4e 55 4c 4c 0a 20 20  000).    NULL.  
0450: 20 20 35 36 2e 31 20 2d 35 36 2e 31 0a 20 20 20    56.1 -56.1.   
0460: 20 31 32 33 34 35 36 37 38 39 2e 31 32 33 34 35   123456789.12345
0470: 36 37 38 39 39 0a 20 20 7d 0a 20 20 66 75 7a 7a  67899.  }.  fuzz
0480: 20 24 54 65 6d 70 6c 61 74 65 4c 69 73 74 0a 7d   $TemplateList.}
0490: 0a 0a 70 72 6f 63 20 55 6e 61 72 79 4f 70 20 7b  ..proc UnaryOp {
04a0: 7d 20 7b 0a 20 20 73 65 74 20 54 65 6d 70 6c 61  } {.  set Templa
04b0: 74 65 4c 69 73 74 20 7b 2b 20 2d 20 4e 4f 54 7d  teList {+ - NOT}
04c0: 0a 20 20 66 75 7a 7a 20 24 54 65 6d 70 6c 61 74  .  fuzz $Templat
04d0: 65 4c 69 73 74 0a 7d 0a 0a 70 72 6f 63 20 42 69  eList.}..proc Bi
04e0: 6e 61 72 79 4f 70 20 7b 7d 20 7b 0a 20 20 73 65  naryOp {} {.  se
04f0: 74 20 54 65 6d 70 6c 61 74 65 4c 69 73 74 20 7b  t TemplateList {
0500: 2b 20 2d 20 25 20 2a 20 2f 20 41 4e 44 20 4f 52  + - % * / AND OR
0510: 20 4c 49 4b 45 20 47 4c 4f 42 7d 0a 20 20 66 75   LIKE GLOB}.  fu
0520: 7a 7a 20 24 54 65 6d 70 6c 61 74 65 4c 69 73 74  zz $TemplateList
0530: 0a 7d 0a 0a 73 65 74 20 3a 3a 45 78 70 72 44 65  .}..set ::ExprDe
0540: 70 74 68 20 30 0a 70 72 6f 63 20 45 78 70 72 20  pth 0.proc Expr 
0550: 7b 7d 20 7b 0a 20 20 69 6e 63 72 20 3a 3a 45 78  {} {.  incr ::Ex
0560: 70 72 44 65 70 74 68 0a 0a 20 20 73 65 74 20 54  prDepth..  set T
0570: 65 6d 70 6c 61 74 65 4c 69 73 74 20 7b 5b 4c 69  emplateList {[Li
0580: 74 65 72 61 6c 5d 7d 0a 20 20 69 66 20 7b 24 3a  teral]}.  if {$:
0590: 3a 45 78 70 72 44 65 70 74 68 20 3c 20 31 30 30  :ExprDepth < 100
05a0: 7d 20 7b 0a 20 20 20 20 6c 61 70 70 65 6e 64 20  } {.    lappend 
05b0: 54 65 6d 70 6c 61 74 65 4c 69 73 74 20 5c 0a 20  TemplateList \. 
05c0: 20 20 20 20 20 7b 5b 45 78 70 72 5d 20 5b 42 69       {[Expr] [Bi
05d0: 6e 61 72 79 4f 70 5d 20 5b 45 78 70 72 5d 7d 20  naryOp] [Expr]} 
05e0: 20 20 5c 0a 20 20 20 20 20 20 7b 5b 55 6e 61 72    \.      {[Unar
05f0: 79 4f 70 5d 20 5b 45 78 70 72 5d 7d 0a 20 20 7d  yOp] [Expr]}.  }
0600: 0a 20 20 69 66 20 7b 24 3a 3a 53 65 6c 65 63 74  .  if {$::Select
0610: 44 65 70 74 68 20 3c 20 31 30 7d 20 7b 0a 20 20  Depth < 10} {.  
0620: 20 20 6c 61 70 70 65 6e 64 20 54 65 6d 70 6c 61    lappend Templa
0630: 74 65 4c 69 73 74 20 7b 28 5b 53 65 6c 65 63 74  teList {([Select
0640: 20 31 5d 29 7d 0a 20 20 7d 20 0a 20 20 73 65 74   1])}.  } .  set
0650: 20 72 65 73 20 5b 66 75 7a 7a 20 24 54 65 6d 70   res [fuzz $Temp
0660: 6c 61 74 65 4c 69 73 74 5d 0a 20 20 69 6e 63 72  lateList].  incr
0670: 20 3a 3a 45 78 70 72 44 65 70 74 68 20 2d 31 0a   ::ExprDepth -1.
0680: 20 20 72 65 74 75 72 6e 20 24 72 65 73 0a 7d 0a    return $res.}.
0690: 0a 73 65 74 20 3a 3a 54 61 62 6c 65 4c 69 73 74  .set ::TableList
06a0: 20 5b 6c 69 73 74 5d 0a 70 72 6f 63 20 54 61 62   [list].proc Tab
06b0: 6c 65 20 7b 7d 20 7b 0a 20 20 73 65 74 20 54 65  le {} {.  set Te
06c0: 6d 70 6c 61 74 65 4c 69 73 74 20 5b 63 6f 6e 63  mplateList [conc
06d0: 61 74 20 73 71 6c 69 74 65 5f 6d 61 73 74 65 72  at sqlite_master
06e0: 20 24 3a 3a 54 61 62 6c 65 4c 69 73 74 5d 0a 20   $::TableList]. 
06f0: 20 66 75 7a 7a 20 24 54 65 6d 70 6c 61 74 65 4c   fuzz $TemplateL
0700: 69 73 74 0a 7d 0a 0a 73 65 74 20 3a 3a 53 65 6c  ist.}..set ::Sel
0710: 65 63 74 44 65 70 74 68 20 30 0a 70 72 6f 63 20  ectDepth 0.proc 
0720: 53 65 6c 65 63 74 20 7b 7b 69 73 45 78 70 72 20  Select {{isExpr 
0730: 30 7d 7d 20 7b 0a 20 20 69 6e 63 72 20 3a 3a 53  0}} {.  incr ::S
0740: 65 6c 65 63 74 44 65 70 74 68 0a 20 20 73 65 74  electDepth.  set
0750: 20 54 65 6d 70 6c 61 74 65 4c 69 73 74 20 7b 0a   TemplateList {.
0760: 20 20 20 20 20 20 7b 53 45 4c 45 43 54 20 5b 45        {SELECT [E
0770: 78 70 72 5d 7d 0a 20 20 7d 0a 20 20 69 66 20 7b  xpr]}.  }.  if {
0780: 24 3a 3a 53 65 6c 65 63 74 44 65 70 74 68 20 3c  $::SelectDepth <
0790: 20 35 7d 20 7b 0a 20 20 20 20 6c 61 70 70 65 6e   5} {.    lappen
07a0: 64 20 54 65 6d 70 6c 61 74 65 4c 69 73 74 20 5c  d TemplateList \
07b0: 0a 20 20 20 20 20 20 20 20 7b 53 45 4c 45 43 54  .        {SELECT
07c0: 20 5b 45 78 70 72 5d 20 46 52 4f 4d 20 28 5b 53   [Expr] FROM ([S
07d0: 65 6c 65 63 74 5d 29 7d 20 20 20 20 20 20 20 20  elect])}        
07e0: 20 20 20 20 20 20 20 20 5c 0a 20 20 20 20 20 20          \.      
07f0: 20 20 7b 53 45 4c 45 43 54 20 5b 45 78 70 72 5d    {SELECT [Expr]
0800: 20 46 52 4f 4d 20 5b 54 61 62 6c 65 5d 7d 20 20   FROM [Table]}  
0810: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0820: 0a 0a 20 20 20 20 69 66 20 7b 30 20 3d 3d 20 24  ..    if {0 == $
0830: 69 73 45 78 70 72 7d 20 7b 0a 20 20 20 20 20 20  isExpr} {.      
0840: 6c 61 70 70 65 6e 64 20 54 65 6d 70 6c 61 74 65  lappend Template
0850: 4c 69 73 74 20 20 20 20 20 20 20 20 20 20 20 20  List            
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 5c 0a 20               \. 
0880: 20 20 20 20 20 20 20 20 20 7b 53 45 4c 45 43 54           {SELECT
0890: 20 5b 45 78 70 72 5d 2c 20 5b 45 78 70 72 5d 20   [Expr], [Expr] 
08a0: 46 52 4f 4d 20 28 5b 53 65 6c 65 63 74 5d 29 20  FROM ([Select]) 
08b0: 4f 52 44 45 52 20 42 59 20 5b 45 78 70 72 5d 7d  ORDER BY [Expr]}
08c0: 20 20 5c 0a 20 20 20 20 20 20 20 20 20 20 7b 53    \.          {S
08d0: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 28 5b 53  ELECT * FROM ([S
08e0: 65 6c 65 63 74 5d 29 20 4f 52 44 45 52 20 42 59  elect]) ORDER BY
08f0: 20 5b 45 78 70 72 5d 7d 20 20 20 20 20 20 20 20   [Expr]}        
0900: 20 20 20 20 20 20 20 5c 0a 20 20 20 20 7d 0a 20         \.    }. 
0910: 20 7d 20 0a 20 20 73 65 74 20 72 65 73 20 5b 66   } .  set res [f
0920: 75 7a 7a 20 24 54 65 6d 70 6c 61 74 65 4c 69 73  uzz $TemplateLis
0930: 74 5d 0a 20 20 69 6e 63 72 20 3a 3a 53 65 6c 65  t].  incr ::Sele
0940: 63 74 44 65 70 74 68 20 2d 31 0a 20 20 73 65 74  ctDepth -1.  set
0950: 20 72 65 73 0a 7d 0a 0a 23 23 23 23 23 23 23 23   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: 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 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 0a 23 20 54 68 65 73 65 20 74 65 73 74  ---.# These test
09f0: 73 20 63 61 75 73 65 64 20 65 72 72 6f 72 73 20  s caused errors 
0a00: 74 68 61 74 20 77 65 72 65 20 66 69 72 73 74 20  that were first 
0a10: 63 61 75 67 68 74 20 62 79 20 74 68 65 20 74 65  caught by the te
0a20: 73 74 73 0a 23 20 69 6e 20 74 68 69 73 20 66 69  sts.# in this fi
0a30: 6c 65 2e 20 54 68 65 79 20 61 72 65 20 73 74 69  le. They are sti
0a40: 6c 6c 20 68 65 72 65 2e 0a 64 6f 5f 74 65 73 74  ll here..do_test
0a50: 20 66 75 7a 7a 2d 31 2e 31 20 7b 0a 20 20 65 78   fuzz-1.1 {.  ex
0a60: 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45  ecsql {.    SELE
0a70: 43 54 20 27 61 62 63 27 20 4c 49 4b 45 20 58 27  CT 'abc' LIKE X'
0a80: 41 42 43 44 27 3b 0a 20 20 7d 0a 7d 20 7b 30 7d  ABCD';.  }.} {0}
0a90: 0a 64 6f 5f 74 65 73 74 20 66 75 7a 7a 2d 31 2e  .do_test fuzz-1.
0aa0: 32 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  2 {.  execsql {.
0ab0: 20 20 20 20 53 45 4c 45 43 54 20 27 61 62 63 27      SELECT 'abc'
0ac0: 20 4c 49 4b 45 20 7a 65 72 6f 62 6c 6f 62 28 31   LIKE zeroblob(1
0ad0: 30 29 3b 0a 20 20 7d 0a 7d 20 7b 30 7d 0a 64 6f  0);.  }.} {0}.do
0ae0: 5f 74 65 73 74 20 66 75 7a 7a 2d 31 2e 33 20 7b  _test fuzz-1.3 {
0af0: 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20  .  execsql {.   
0b00: 20 53 45 4c 45 43 54 20 7a 65 72 6f 62 6c 6f 62   SELECT zeroblob
0b10: 28 31 30 29 20 4c 49 4b 45 20 27 61 62 63 27 3b  (10) LIKE 'abc';
0b20: 0a 20 20 7d 0a 7d 20 7b 30 7d 0a 64 6f 5f 74 65  .  }.} {0}.do_te
0b30: 73 74 20 66 75 7a 7a 2d 31 2e 34 20 7b 0a 20 20  st fuzz-1.4 {.  
0b40: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45  execsql {.    SE
0b50: 4c 45 43 54 20 28 2d 20 2d 32 31 29 20 25 20 4e  LECT (- -21) % N
0b60: 4f 54 20 28 34 35 36 20 4c 49 4b 45 20 7a 65 72  OT (456 LIKE zer
0b70: 6f 62 6c 6f 62 28 31 30 29 29 3b 0a 20 20 7d 0a  oblob(10));.  }.
0b80: 7d 20 7b 30 7d 0a 64 6f 5f 74 65 73 74 20 66 75  } {0}.do_test fu
0b90: 7a 7a 2d 31 2e 35 20 7b 0a 20 20 65 78 65 63 73  zz-1.5 {.  execs
0ba0: 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20  ql {.    SELECT 
0bb0: 28 53 45 4c 45 43 54 20 28 0a 20 20 20 20 20 20  (SELECT (.      
0bc0: 20 20 53 45 4c 45 43 54 20 28 53 45 4c 45 43 54    SELECT (SELECT
0bd0: 20 2d 32 31 34 37 34 38 33 36 34 38 29 20 46 52   -2147483648) FR
0be0: 4f 4d 20 28 53 45 4c 45 43 54 20 31 29 20 4f 52  OM (SELECT 1) OR
0bf0: 44 45 52 20 42 59 20 31 0a 20 20 20 20 29 29 0a  DER BY 1.    )).
0c00: 20 20 7d 0a 7d 20 7b 2d 32 31 34 37 34 38 33 36    }.} {-21474836
0c10: 34 38 7d 0a 64 6f 5f 74 65 73 74 20 66 75 7a 7a  48}.do_test fuzz
0c20: 2d 31 2e 36 20 7b 0a 20 20 65 78 65 63 73 71 6c  -1.6 {.  execsql
0c30: 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 27 61   {.    SELECT 'a
0c40: 62 63 27 2c 20 7a 65 72 6f 62 6c 6f 62 28 31 29  bc', zeroblob(1)
0c50: 20 46 52 4f 4d 20 28 53 45 4c 45 43 54 20 31 29   FROM (SELECT 1)
0c60: 20 4f 52 44 45 52 20 42 59 20 31 0a 20 20 7d 0a   ORDER BY 1.  }.
0c70: 7d 20 5b 65 78 65 63 73 71 6c 20 7b 53 45 4c 45  } [execsql {SELE
0c80: 43 54 20 27 61 62 63 27 2c 20 7a 65 72 6f 62 6c  CT 'abc', zerobl
0c90: 6f 62 28 31 29 7d 5d 0a 0a 64 6f 5f 74 65 73 74  ob(1)}]..do_test
0ca0: 20 66 75 7a 7a 2d 31 2e 37 20 7b 0a 20 20 65 78   fuzz-1.7 {.  ex
0cb0: 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45  ecsql {.    SELE
0cc0: 43 54 20 28 0a 20 20 20 20 20 20 53 45 4c 45 43  CT (.      SELEC
0cd0: 54 20 7a 65 72 6f 62 6c 6f 62 28 31 30 30 30 29  T zeroblob(1000)
0ce0: 20 46 52 4f 4d 20 28 0a 20 20 20 20 20 20 20 20   FROM (.        
0cf0: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 28 53  SELECT * FROM (S
0d00: 45 4c 45 43 54 20 27 66 69 72 73 74 27 29 20 4f  ELECT 'first') O
0d10: 52 44 45 52 20 42 59 20 4e 4f 54 20 27 69 6e 27  RDER BY NOT 'in'
0d20: 0a 20 20 20 20 20 20 29 0a 20 20 20 20 29 0a 20  .      ).    ). 
0d30: 20 7d 0a 7d 20 7b 7d 0a 0a 23 2d 2d 2d 2d 2d 2d   }.} {}..#------
0d40: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0d50: 2d 2d 2d 2d 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 0a 23 20 54 65 73  ----------.# Tes
0d80: 74 20 73 6f 6d 65 20 66 75 7a 7a 69 6c 79 20 67  t some fuzzily g
0d90: 65 6e 65 72 61 74 65 64 20 65 78 70 72 65 73 73  enerated express
0da0: 69 6f 6e 73 2e 0a 23 0a 66 6f 72 20 7b 73 65 74  ions..#.for {set
0db0: 20 69 69 20 30 7d 20 7b 24 69 69 20 3c 20 32 30   ii 0} {$ii < 20
0dc0: 30 30 7d 20 7b 69 6e 63 72 20 69 69 7d 20 7b 0a  00} {incr ii} {.
0dd0: 20 20 64 6f 5f 74 65 73 74 20 66 75 7a 7a 2d 32    do_test fuzz-2
0de0: 2e 31 2e 24 69 69 20 7b 0a 20 20 20 20 73 65 74  .1.$ii {.    set
0df0: 20 3a 3a 65 78 70 72 20 5b 45 78 70 72 5d 0a 20   ::expr [Expr]. 
0e00: 20 20 20 73 65 74 20 72 63 20 5b 63 61 74 63 68     set rc [catch
0e10: 20 7b 65 78 65 63 73 71 6c 20 22 53 45 4c 45 43   {execsql "SELEC
0e20: 54 20 24 3a 3a 65 78 70 72 22 7d 20 6d 73 67 5d  T $::expr"} msg]
0e30: 0a 20 20 20 20 73 65 74 20 65 20 5b 65 78 70 72  .    set e [expr
0e40: 20 7b 0a 20 20 20 20 20 20 24 72 63 20 3d 3d 20   {.      $rc == 
0e50: 30 20 7c 7c 20 0a 20 20 20 20 20 20 24 6d 73 67  0 || .      $msg
0e60: 20 65 71 20 22 70 61 72 73 65 72 20 73 74 61 63   eq "parser stac
0e70: 6b 20 6f 76 65 72 66 6c 6f 77 22 20 7c 7c 0a 20  k overflow" ||. 
0e80: 20 20 20 20 20 30 20 3d 3d 20 5b 73 74 72 69 6e       0 == [strin
0e90: 67 20 66 69 72 73 74 20 22 4f 52 44 45 52 20 42  g first "ORDER B
0ea0: 59 20 63 6f 6c 75 6d 6e 20 6e 75 6d 62 65 72 22  Y column number"
0eb0: 20 24 6d 73 67 5d 0a 20 20 20 20 7d 5d 0a 20 20   $msg].    }].  
0ec0: 20 20 69 66 20 7b 24 65 20 3d 3d 20 30 7d 20 7b    if {$e == 0} {
0ed0: 0a 20 20 20 20 20 20 70 75 74 73 20 22 22 0a 20  .      puts "". 
0ee0: 20 20 20 20 20 70 75 74 73 20 22 53 45 4c 45 43       puts "SELEC
0ef0: 54 20 24 3a 3a 65 78 70 72 22 0a 20 20 20 20 20  T $::expr".     
0f00: 20 70 75 74 73 20 24 6d 73 67 0a 20 20 20 20 7d   puts $msg.    }
0f10: 0a 20 20 20 20 73 65 74 20 65 0a 20 20 7d 20 7b  .    set e.  } {
0f20: 31 7d 0a 7d 20 0a 0a 64 6f 5f 74 65 73 74 20 66  1}.} ..do_test f
0f30: 75 7a 7a 2d 33 2e 31 20 7b 0a 20 20 65 78 65 63  uzz-3.1 {.  exec
0f40: 73 71 6c 20 7b 0a 20 20 20 20 43 52 45 41 54 45  sql {.    CREATE
0f50: 20 54 41 42 4c 45 20 61 62 63 28 61 2c 20 62 2c   TABLE abc(a, b,
0f60: 20 63 29 3b 0a 20 20 20 20 43 52 45 41 54 45 20   c);.    CREATE 
0f70: 54 41 42 4c 45 20 64 65 66 28 64 2c 20 65 2c 20  TABLE def(d, e, 
0f80: 66 29 3b 0a 20 20 20 20 43 52 45 41 54 45 20 54  f);.    CREATE T
0f90: 41 42 4c 45 20 67 68 69 28 67 2c 20 68 2c 20 69  ABLE ghi(g, h, i
0fa0: 29 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a 73 65 74 20  );.  }.} {}.set 
0fb0: 3a 3a 54 61 62 6c 65 4c 69 73 74 20 5b 6c 69 73  ::TableList [lis
0fc0: 74 20 61 62 63 20 64 65 66 20 67 68 69 5d 0a 0a  t abc def ghi]..
0fd0: 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  #---------------
0fe0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
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 0a 23 20 54 65 73 74 20 73 6f 6d 65 20 66 75  -.# Test some fu
1020: 7a 7a 69 6c 79 20 67 65 6e 65 72 61 74 65 64 20  zzily generated 
1030: 53 45 4c 45 43 54 20 73 74 61 74 65 6d 65 6e 74  SELECT statement
1040: 73 2e 0a 23 0a 66 6f 72 20 7b 73 65 74 20 69 69  s..#.for {set ii
1050: 20 30 7d 20 7b 24 69 69 20 3c 20 32 30 30 30 7d   0} {$ii < 2000}
1060: 20 7b 69 6e 63 72 20 69 69 7d 20 7b 0a 20 20 64   {incr ii} {.  d
1070: 6f 5f 74 65 73 74 20 66 75 7a 7a 2d 32 2e 32 2e  o_test fuzz-2.2.
1080: 24 69 69 20 7b 0a 20 20 20 20 73 65 74 20 3a 3a  $ii {.    set ::
1090: 73 65 6c 65 63 74 20 5b 53 65 6c 65 63 74 5d 0a  select [Select].
10a0: 20 20 20 20 73 65 74 20 72 63 20 5b 63 61 74 63      set rc [catc
10b0: 68 20 7b 65 78 65 63 73 71 6c 20 24 3a 3a 73 65  h {execsql $::se
10c0: 6c 65 63 74 7d 20 6d 73 67 5d 0a 20 20 20 20 73  lect} msg].    s
10d0: 65 74 20 65 20 5b 65 78 70 72 20 7b 24 72 63 20  et e [expr {$rc 
10e0: 3d 3d 20 30 20 7c 7c 20 24 6d 73 67 20 65 71 20  == 0 || $msg eq 
10f0: 22 70 61 72 73 65 72 20 73 74 61 63 6b 20 6f 76  "parser stack ov
1100: 65 72 66 6c 6f 77 22 7d 5d 0a 20 20 20 20 73 65  erflow"}].    se
1110: 74 20 65 20 5b 65 78 70 72 20 7b 0a 20 20 20 20  t e [expr {.    
1120: 20 20 24 72 63 20 3d 3d 20 30 20 7c 7c 20 0a 20    $rc == 0 || . 
1130: 20 20 20 20 20 24 6d 73 67 20 65 71 20 22 70 61       $msg eq "pa
1140: 72 73 65 72 20 73 74 61 63 6b 20 6f 76 65 72 66  rser stack overf
1150: 6c 6f 77 22 20 7c 7c 0a 20 20 20 20 20 20 30 20  low" ||.      0 
1160: 3d 3d 20 5b 73 74 72 69 6e 67 20 66 69 72 73 74  == [string first
1170: 20 22 4f 52 44 45 52 20 42 59 20 63 6f 6c 75 6d   "ORDER BY colum
1180: 6e 20 6e 75 6d 62 65 72 22 20 24 6d 73 67 5d 0a  n number" $msg].
1190: 20 20 20 20 7d 5d 0a 20 20 20 20 69 66 20 7b 24      }].    if {$
11a0: 65 20 3d 3d 20 30 7d 20 7b 0a 20 20 20 20 20 20  e == 0} {.      
11b0: 70 75 74 73 20 22 22 0a 20 20 20 20 20 20 70 75  puts "".      pu
11c0: 74 73 20 24 3a 3a 73 65 6c 65 63 74 0a 20 20 20  ts $::select.   
11d0: 20 20 20 70 75 74 73 20 24 6d 73 67 0a 20 20 20     puts $msg.   
11e0: 20 7d 0a 20 20 20 20 73 65 74 20 65 0a 20 20 7d   }.    set e.  }
11f0: 20 7b 31 7d 0a 7d 20 0a 0a 66 69 6e 69 73 68 5f   {1}.} ..finish_
1200: 74 65 73 74 0a                                   test.