/ Hex Artifact Content
Login

Artifact b6999231221df3534827e45e2005dd7a815fdd5f2c2e1afb9be21ead410816f8:


0000: 23 20 32 30 30 32 20 4a 61 6e 75 61 72 79 20 32  # 2002 January 2
0010: 39 0a 23 0a 23 20 54 68 65 20 61 75 74 68 6f 72  9.#.# The author
0020: 20 64 69 73 63 6c 61 69 6d 73 20 63 6f 70 79 72   disclaims copyr
0030: 69 67 68 74 20 74 6f 20 74 68 69 73 20 73 6f 75  ight to this sou
0040: 72 63 65 20 63 6f 64 65 2e 20 20 49 6e 20 70 6c  rce code.  In pl
0050: 61 63 65 20 6f 66 0a 23 20 61 20 6c 65 67 61 6c  ace of.# a legal
0060: 20 6e 6f 74 69 63 65 2c 20 68 65 72 65 20 69 73   notice, here is
0070: 20 61 20 62 6c 65 73 73 69 6e 67 3a 0a 23 0a 23   a blessing:.#.#
0080: 20 20 20 20 4d 61 79 20 79 6f 75 20 64 6f 20 67      May you do g
0090: 6f 6f 64 20 61 6e 64 20 6e 6f 74 20 65 76 69 6c  ood and not evil
00a0: 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 66  ..#    May you f
00b0: 69 6e 64 20 66 6f 72 67 69 76 65 6e 65 73 73 20  ind forgiveness 
00c0: 66 6f 72 20 79 6f 75 72 73 65 6c 66 20 61 6e 64  for yourself and
00d0: 20 66 6f 72 67 69 76 65 20 6f 74 68 65 72 73 2e   forgive others.
00e0: 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 73 68  .#    May you sh
00f0: 61 72 65 20 66 72 65 65 6c 79 2c 20 6e 65 76 65  are freely, neve
0100: 72 20 74 61 6b 69 6e 67 20 6d 6f 72 65 20 74 68  r taking more th
0110: 61 6e 20 79 6f 75 20 67 69 76 65 2e 0a 23 0a 23  an 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 2a 2a 2a 0a 23 20 54 68 69 73 20 66  *******.# This f
0170: 69 6c 65 20 69 6d 70 6c 65 6d 65 6e 74 73 20 72  ile implements r
0180: 65 67 72 65 73 73 69 6f 6e 20 74 65 73 74 73 20  egression tests 
0190: 66 6f 72 20 53 51 4c 69 74 65 20 6c 69 62 72 61  for SQLite libra
01a0: 72 79 2e 0a 23 0a 23 20 54 68 69 73 20 66 69 6c  ry..#.# This fil
01b0: 65 20 69 6d 70 6c 65 6d 65 6e 74 73 20 74 65 73  e implements tes
01c0: 74 73 20 66 6f 72 20 74 68 65 20 4e 4f 54 20 4e  ts for the NOT N
01d0: 55 4c 4c 20 63 6f 6e 73 74 72 61 69 6e 74 2e 0a  ULL constraint..
01e0: 23 0a 23 20 24 49 64 3a 20 6e 6f 74 6e 75 6c 6c  #.# $Id: notnull
01f0: 2e 74 65 73 74 2c 76 20 31 2e 34 20 32 30 30 36  .test,v 1.4 2006
0200: 2f 30 31 2f 31 37 20 30 39 3a 33 35 3a 30 32 20  /01/17 09:35:02 
0210: 64 61 6e 69 65 6c 6b 31 39 37 37 20 45 78 70 20  danielk1977 Exp 
0220: 24 0a 0a 73 65 74 20 74 65 73 74 64 69 72 20 5b  $..set testdir [
0230: 66 69 6c 65 20 64 69 72 6e 61 6d 65 20 24 61 72  file dirname $ar
0240: 67 76 30 5d 0a 73 6f 75 72 63 65 20 24 74 65 73  gv0].source $tes
0250: 74 64 69 72 2f 74 65 73 74 65 72 2e 74 63 6c 0a  tdir/tester.tcl.
0260: 0a 69 66 63 61 70 61 62 6c 65 20 21 63 6f 6e 66  .ifcapable !conf
0270: 6c 69 63 74 20 7b 0a 20 20 66 69 6e 69 73 68 5f  lict {.  finish_
0280: 74 65 73 74 0a 20 20 72 65 74 75 72 6e 0a 7d 0a  test.  return.}.
0290: 0a 64 6f 5f 74 65 73 74 20 6e 6f 74 6e 75 6c 6c  .do_test notnull
02a0: 2d 31 2e 30 20 7b 0a 20 20 65 78 65 63 73 71 6c  -1.0 {.  execsql
02b0: 20 7b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41   {.    CREATE TA
02c0: 42 4c 45 20 74 31 20 28 0a 20 20 20 20 20 20 61  BLE t1 (.      a
02d0: 20 4e 4f 54 20 4e 55 4c 4c 2c 0a 20 20 20 20 20   NOT NULL,.     
02e0: 20 62 20 4e 4f 54 20 4e 55 4c 4c 20 44 45 46 41   b NOT NULL DEFA
02f0: 55 4c 54 20 35 2c 0a 20 20 20 20 20 20 63 20 4e  ULT 5,.      c N
0300: 4f 54 20 4e 55 4c 4c 20 4f 4e 20 43 4f 4e 46 4c  OT NULL ON CONFL
0310: 49 43 54 20 52 45 50 4c 41 43 45 20 44 45 46 41  ICT REPLACE DEFA
0320: 55 4c 54 20 36 2c 0a 20 20 20 20 20 20 64 20 4e  ULT 6,.      d N
0330: 4f 54 20 4e 55 4c 4c 20 4f 4e 20 43 4f 4e 46 4c  OT NULL ON CONFL
0340: 49 43 54 20 49 47 4e 4f 52 45 20 44 45 46 41 55  ICT IGNORE DEFAU
0350: 4c 54 20 37 2c 0a 20 20 20 20 20 20 65 20 4e 4f  LT 7,.      e NO
0360: 54 20 4e 55 4c 4c 20 4f 4e 20 43 4f 4e 46 4c 49  T NULL ON CONFLI
0370: 43 54 20 41 42 4f 52 54 20 44 45 46 41 55 4c 54  CT ABORT DEFAULT
0380: 20 38 0a 20 20 20 20 29 3b 0a 20 20 20 20 53 45   8.    );.    SE
0390: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 3b 0a  LECT * FROM t1;.
03a0: 20 20 7d 0a 7d 20 7b 7d 0a 64 6f 5f 74 65 73 74    }.} {}.do_test
03b0: 20 6e 6f 74 6e 75 6c 6c 2d 31 2e 31 20 7b 0a 20   notnull-1.1 {. 
03c0: 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20   catchsql {.    
03d0: 44 45 4c 45 54 45 20 46 52 4f 4d 20 74 31 3b 0a  DELETE FROM t1;.
03e0: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
03f0: 74 31 28 61 2c 62 2c 63 2c 64 2c 65 29 20 56 41  t1(a,b,c,d,e) VA
0400: 4c 55 45 53 28 31 2c 32 2c 33 2c 34 2c 35 29 3b  LUES(1,2,3,4,5);
0410: 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52  .    SELECT * FR
0420: 4f 4d 20 74 31 20 6f 72 64 65 72 20 62 79 20 61  OM t1 order by a
0430: 3b 0a 20 20 7d 0a 7d 20 7b 30 20 7b 31 20 32 20  ;.  }.} {0 {1 2 
0440: 33 20 34 20 35 7d 7d 0a 64 6f 5f 74 65 73 74 20  3 4 5}}.do_test 
0450: 6e 6f 74 6e 75 6c 6c 2d 31 2e 32 20 7b 0a 20 20  notnull-1.2 {.  
0460: 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 44  catchsql {.    D
0470: 45 4c 45 54 45 20 46 52 4f 4d 20 74 31 3b 0a 20  ELETE FROM t1;. 
0480: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
0490: 31 28 62 2c 63 2c 64 2c 65 29 20 56 41 4c 55 45  1(b,c,d,e) VALUE
04a0: 53 28 32 2c 33 2c 34 2c 35 29 3b 0a 20 20 20 20  S(2,3,4,5);.    
04b0: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31  SELECT * FROM t1
04c0: 20 6f 72 64 65 72 20 62 79 20 61 3b 0a 20 20 7d   order by a;.  }
04d0: 0a 7d 20 7b 31 20 7b 4e 4f 54 20 4e 55 4c 4c 20  .} {1 {NOT NULL 
04e0: 63 6f 6e 73 74 72 61 69 6e 74 20 66 61 69 6c 65  constraint faile
04f0: 64 3a 20 74 31 2e 61 7d 7d 0a 76 65 72 69 66 79  d: t1.a}}.verify
0500: 5f 65 78 5f 65 72 72 63 6f 64 65 20 6e 6f 74 6e  _ex_errcode notn
0510: 75 6c 6c 2d 31 2e 32 62 20 53 51 4c 49 54 45 5f  ull-1.2b SQLITE_
0520: 43 4f 4e 53 54 52 41 49 4e 54 5f 4e 4f 54 4e 55  CONSTRAINT_NOTNU
0530: 4c 4c 0a 64 6f 5f 74 65 73 74 20 6e 6f 74 6e 75  LL.do_test notnu
0540: 6c 6c 2d 31 2e 33 20 7b 0a 20 20 63 61 74 63 68  ll-1.3 {.  catch
0550: 73 71 6c 20 7b 0a 20 20 20 20 44 45 4c 45 54 45  sql {.    DELETE
0560: 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 49 4e   FROM t1;.    IN
0570: 53 45 52 54 20 4f 52 20 49 47 4e 4f 52 45 20 49  SERT OR IGNORE I
0580: 4e 54 4f 20 74 31 28 62 2c 63 2c 64 2c 65 29 20  NTO t1(b,c,d,e) 
0590: 56 41 4c 55 45 53 28 32 2c 33 2c 34 2c 35 29 3b  VALUES(2,3,4,5);
05a0: 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52  .    SELECT * FR
05b0: 4f 4d 20 74 31 20 6f 72 64 65 72 20 62 79 20 61  OM t1 order by a
05c0: 3b 0a 20 20 7d 0a 7d 20 7b 30 20 7b 7d 7d 0a 64  ;.  }.} {0 {}}.d
05d0: 6f 5f 74 65 73 74 20 6e 6f 74 6e 75 6c 6c 2d 31  o_test notnull-1
05e0: 2e 34 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20  .4 {.  catchsql 
05f0: 7b 0a 20 20 20 20 44 45 4c 45 54 45 20 46 52 4f  {.    DELETE FRO
0600: 4d 20 74 31 3b 0a 20 20 20 20 49 4e 53 45 52 54  M t1;.    INSERT
0610: 20 4f 52 20 52 45 50 4c 41 43 45 20 49 4e 54 4f   OR REPLACE INTO
0620: 20 74 31 28 62 2c 63 2c 64 2c 65 29 20 56 41 4c   t1(b,c,d,e) VAL
0630: 55 45 53 28 32 2c 33 2c 34 2c 35 29 3b 0a 20 20  UES(2,3,4,5);.  
0640: 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20    SELECT * FROM 
0650: 74 31 20 6f 72 64 65 72 20 62 79 20 61 3b 0a 20  t1 order by a;. 
0660: 20 7d 0a 7d 20 7b 31 20 7b 4e 4f 54 20 4e 55 4c   }.} {1 {NOT NUL
0670: 4c 20 63 6f 6e 73 74 72 61 69 6e 74 20 66 61 69  L constraint fai
0680: 6c 65 64 3a 20 74 31 2e 61 7d 7d 0a 76 65 72 69  led: t1.a}}.veri
0690: 66 79 5f 65 78 5f 65 72 72 63 6f 64 65 20 6e 6f  fy_ex_errcode no
06a0: 74 6e 75 6c 6c 2d 31 2e 34 62 20 53 51 4c 49 54  tnull-1.4b SQLIT
06b0: 45 5f 43 4f 4e 53 54 52 41 49 4e 54 5f 4e 4f 54  E_CONSTRAINT_NOT
06c0: 4e 55 4c 4c 0a 64 6f 5f 74 65 73 74 20 6e 6f 74  NULL.do_test not
06d0: 6e 75 6c 6c 2d 31 2e 35 20 7b 0a 20 20 63 61 74  null-1.5 {.  cat
06e0: 63 68 73 71 6c 20 7b 0a 20 20 20 20 44 45 4c 45  chsql {.    DELE
06f0: 54 45 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20  TE FROM t1;.    
0700: 49 4e 53 45 52 54 20 4f 52 20 41 42 4f 52 54 20  INSERT OR ABORT 
0710: 49 4e 54 4f 20 74 31 28 62 2c 63 2c 64 2c 65 29  INTO t1(b,c,d,e)
0720: 20 56 41 4c 55 45 53 28 32 2c 33 2c 34 2c 35 29   VALUES(2,3,4,5)
0730: 3b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46  ;.    SELECT * F
0740: 52 4f 4d 20 74 31 20 6f 72 64 65 72 20 62 79 20  ROM t1 order by 
0750: 61 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b 4e 4f 54  a;.  }.} {1 {NOT
0760: 20 4e 55 4c 4c 20 63 6f 6e 73 74 72 61 69 6e 74   NULL constraint
0770: 20 66 61 69 6c 65 64 3a 20 74 31 2e 61 7d 7d 0a   failed: t1.a}}.
0780: 76 65 72 69 66 79 5f 65 78 5f 65 72 72 63 6f 64  verify_ex_errcod
0790: 65 20 6e 6f 74 6e 75 6c 6c 2d 31 2e 35 62 20 53  e notnull-1.5b S
07a0: 51 4c 49 54 45 5f 43 4f 4e 53 54 52 41 49 4e 54  QLITE_CONSTRAINT
07b0: 5f 4e 4f 54 4e 55 4c 4c 0a 64 6f 5f 74 65 73 74  _NOTNULL.do_test
07c0: 20 6e 6f 74 6e 75 6c 6c 2d 31 2e 36 20 7b 0a 20   notnull-1.6 {. 
07d0: 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20   catchsql {.    
07e0: 44 45 4c 45 54 45 20 46 52 4f 4d 20 74 31 3b 0a  DELETE FROM t1;.
07f0: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
0800: 74 31 28 61 2c 63 2c 64 2c 65 29 20 56 41 4c 55  t1(a,c,d,e) VALU
0810: 45 53 28 31 2c 33 2c 34 2c 35 29 3b 0a 20 20 20  ES(1,3,4,5);.   
0820: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74   SELECT * FROM t
0830: 31 20 6f 72 64 65 72 20 62 79 20 61 3b 0a 20 20  1 order by a;.  
0840: 7d 0a 7d 20 7b 30 20 7b 31 20 35 20 33 20 34 20  }.} {0 {1 5 3 4 
0850: 35 7d 7d 0a 64 6f 5f 74 65 73 74 20 6e 6f 74 6e  5}}.do_test notn
0860: 75 6c 6c 2d 31 2e 37 20 7b 0a 20 20 63 61 74 63  ull-1.7 {.  catc
0870: 68 73 71 6c 20 7b 0a 20 20 20 20 44 45 4c 45 54  hsql {.    DELET
0880: 45 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 49  E FROM t1;.    I
0890: 4e 53 45 52 54 20 4f 52 20 49 47 4e 4f 52 45 20  NSERT OR IGNORE 
08a0: 49 4e 54 4f 20 74 31 28 61 2c 63 2c 64 2c 65 29  INTO t1(a,c,d,e)
08b0: 20 56 41 4c 55 45 53 28 31 2c 33 2c 34 2c 35 29   VALUES(1,3,4,5)
08c0: 3b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46  ;.    SELECT * F
08d0: 52 4f 4d 20 74 31 20 6f 72 64 65 72 20 62 79 20  ROM t1 order by 
08e0: 61 3b 0a 20 20 7d 0a 7d 20 7b 30 20 7b 31 20 35  a;.  }.} {0 {1 5
08f0: 20 33 20 34 20 35 7d 7d 0a 64 6f 5f 74 65 73 74   3 4 5}}.do_test
0900: 20 6e 6f 74 6e 75 6c 6c 2d 31 2e 38 20 7b 0a 20   notnull-1.8 {. 
0910: 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20   catchsql {.    
0920: 44 45 4c 45 54 45 20 46 52 4f 4d 20 74 31 3b 0a  DELETE FROM t1;.
0930: 20 20 20 20 49 4e 53 45 52 54 20 4f 52 20 52 45      INSERT OR RE
0940: 50 4c 41 43 45 20 49 4e 54 4f 20 74 31 28 61 2c  PLACE INTO t1(a,
0950: 63 2c 64 2c 65 29 20 56 41 4c 55 45 53 28 31 2c  c,d,e) VALUES(1,
0960: 33 2c 34 2c 35 29 3b 0a 20 20 20 20 53 45 4c 45  3,4,5);.    SELE
0970: 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 6f 72 64  CT * FROM t1 ord
0980: 65 72 20 62 79 20 61 3b 0a 20 20 7d 0a 7d 20 7b  er by a;.  }.} {
0990: 30 20 7b 31 20 35 20 33 20 34 20 35 7d 7d 0a 64  0 {1 5 3 4 5}}.d
09a0: 6f 5f 74 65 73 74 20 6e 6f 74 6e 75 6c 6c 2d 31  o_test notnull-1
09b0: 2e 39 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20  .9 {.  catchsql 
09c0: 7b 0a 20 20 20 20 44 45 4c 45 54 45 20 46 52 4f  {.    DELETE FRO
09d0: 4d 20 74 31 3b 0a 20 20 20 20 49 4e 53 45 52 54  M t1;.    INSERT
09e0: 20 4f 52 20 41 42 4f 52 54 20 49 4e 54 4f 20 74   OR ABORT INTO t
09f0: 31 28 61 2c 63 2c 64 2c 65 29 20 56 41 4c 55 45  1(a,c,d,e) VALUE
0a00: 53 28 31 2c 33 2c 34 2c 35 29 3b 0a 20 20 20 20  S(1,3,4,5);.    
0a10: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31  SELECT * FROM t1
0a20: 20 6f 72 64 65 72 20 62 79 20 61 3b 0a 20 20 7d   order by a;.  }
0a30: 0a 7d 20 7b 30 20 7b 31 20 35 20 33 20 34 20 35  .} {0 {1 5 3 4 5
0a40: 7d 7d 0a 64 6f 5f 74 65 73 74 20 6e 6f 74 6e 75  }}.do_test notnu
0a50: 6c 6c 2d 31 2e 31 30 20 7b 0a 20 20 63 61 74 63  ll-1.10 {.  catc
0a60: 68 73 71 6c 20 7b 0a 20 20 20 20 44 45 4c 45 54  hsql {.    DELET
0a70: 45 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 49  E FROM t1;.    I
0a80: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 28 61 2c  NSERT INTO t1(a,
0a90: 62 2c 63 2c 64 2c 65 29 20 56 41 4c 55 45 53 28  b,c,d,e) VALUES(
0aa0: 31 2c 6e 75 6c 6c 2c 33 2c 34 2c 35 29 3b 0a 20  1,null,3,4,5);. 
0ab0: 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d     SELECT * FROM
0ac0: 20 74 31 20 6f 72 64 65 72 20 62 79 20 61 3b 0a   t1 order by a;.
0ad0: 20 20 7d 0a 7d 20 7b 31 20 7b 4e 4f 54 20 4e 55    }.} {1 {NOT NU
0ae0: 4c 4c 20 63 6f 6e 73 74 72 61 69 6e 74 20 66 61  LL constraint fa
0af0: 69 6c 65 64 3a 20 74 31 2e 62 7d 7d 0a 76 65 72  iled: t1.b}}.ver
0b00: 69 66 79 5f 65 78 5f 65 72 72 63 6f 64 65 20 6e  ify_ex_errcode n
0b10: 6f 74 6e 75 6c 6c 2d 31 2e 31 30 62 20 53 51 4c  otnull-1.10b SQL
0b20: 49 54 45 5f 43 4f 4e 53 54 52 41 49 4e 54 5f 4e  ITE_CONSTRAINT_N
0b30: 4f 54 4e 55 4c 4c 0a 64 6f 5f 74 65 73 74 20 6e  OTNULL.do_test n
0b40: 6f 74 6e 75 6c 6c 2d 31 2e 31 31 20 7b 0a 20 20  otnull-1.11 {.  
0b50: 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 44  catchsql {.    D
0b60: 45 4c 45 54 45 20 46 52 4f 4d 20 74 31 3b 0a 20  ELETE FROM t1;. 
0b70: 20 20 20 49 4e 53 45 52 54 20 4f 52 20 49 47 4e     INSERT OR IGN
0b80: 4f 52 45 20 49 4e 54 4f 20 74 31 28 61 2c 62 2c  ORE INTO t1(a,b,
0b90: 63 2c 64 2c 65 29 20 56 41 4c 55 45 53 28 31 2c  c,d,e) VALUES(1,
0ba0: 6e 75 6c 6c 2c 33 2c 34 2c 35 29 3b 0a 20 20 20  null,3,4,5);.   
0bb0: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74   SELECT * FROM t
0bc0: 31 20 6f 72 64 65 72 20 62 79 20 61 3b 0a 20 20  1 order by a;.  
0bd0: 7d 0a 7d 20 7b 30 20 7b 7d 7d 0a 64 6f 5f 74 65  }.} {0 {}}.do_te
0be0: 73 74 20 6e 6f 74 6e 75 6c 6c 2d 31 2e 31 32 20  st notnull-1.12 
0bf0: 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20  {.  catchsql {. 
0c00: 20 20 20 44 45 4c 45 54 45 20 46 52 4f 4d 20 74     DELETE FROM t
0c10: 31 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 4f 52  1;.    INSERT OR
0c20: 20 52 45 50 4c 41 43 45 20 49 4e 54 4f 20 74 31   REPLACE INTO t1
0c30: 28 61 2c 62 2c 63 2c 64 2c 65 29 20 56 41 4c 55  (a,b,c,d,e) VALU
0c40: 45 53 28 31 2c 6e 75 6c 6c 2c 33 2c 34 2c 35 29  ES(1,null,3,4,5)
0c50: 3b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46  ;.    SELECT * F
0c60: 52 4f 4d 20 74 31 20 6f 72 64 65 72 20 62 79 20  ROM t1 order by 
0c70: 61 3b 0a 20 20 7d 0a 7d 20 7b 30 20 7b 31 20 35  a;.  }.} {0 {1 5
0c80: 20 33 20 34 20 35 7d 7d 0a 64 6f 5f 74 65 73 74   3 4 5}}.do_test
0c90: 20 6e 6f 74 6e 75 6c 6c 2d 31 2e 31 33 20 7b 0a   notnull-1.13 {.
0ca0: 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20    catchsql {.   
0cb0: 20 44 45 4c 45 54 45 20 46 52 4f 4d 20 74 31 3b   DELETE FROM t1;
0cc0: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
0cd0: 20 74 31 28 61 2c 62 2c 63 2c 64 2c 65 29 20 56   t1(a,b,c,d,e) V
0ce0: 41 4c 55 45 53 28 31 2c 32 2c 6e 75 6c 6c 2c 34  ALUES(1,2,null,4
0cf0: 2c 35 29 3b 0a 20 20 20 20 53 45 4c 45 43 54 20  ,5);.    SELECT 
0d00: 2a 20 46 52 4f 4d 20 74 31 20 6f 72 64 65 72 20  * FROM t1 order 
0d10: 62 79 20 61 3b 0a 20 20 7d 0a 7d 20 7b 30 20 7b  by a;.  }.} {0 {
0d20: 31 20 32 20 36 20 34 20 35 7d 7d 0a 64 6f 5f 74  1 2 6 4 5}}.do_t
0d30: 65 73 74 20 6e 6f 74 6e 75 6c 6c 2d 31 2e 31 34  est notnull-1.14
0d40: 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a   {.  catchsql {.
0d50: 20 20 20 20 44 45 4c 45 54 45 20 46 52 4f 4d 20      DELETE FROM 
0d60: 74 31 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 4f  t1;.    INSERT O
0d70: 52 20 49 47 4e 4f 52 45 20 49 4e 54 4f 20 74 31  R IGNORE INTO t1
0d80: 28 61 2c 62 2c 63 2c 64 2c 65 29 20 56 41 4c 55  (a,b,c,d,e) VALU
0d90: 45 53 28 31 2c 32 2c 6e 75 6c 6c 2c 34 2c 35 29  ES(1,2,null,4,5)
0da0: 3b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46  ;.    SELECT * F
0db0: 52 4f 4d 20 74 31 20 6f 72 64 65 72 20 62 79 20  ROM t1 order by 
0dc0: 61 3b 0a 20 20 7d 0a 7d 20 7b 30 20 7b 7d 7d 0a  a;.  }.} {0 {}}.
0dd0: 64 6f 5f 74 65 73 74 20 6e 6f 74 6e 75 6c 6c 2d  do_test notnull-
0de0: 31 2e 31 35 20 7b 0a 20 20 63 61 74 63 68 73 71  1.15 {.  catchsq
0df0: 6c 20 7b 0a 20 20 20 20 44 45 4c 45 54 45 20 46  l {.    DELETE F
0e00: 52 4f 4d 20 74 31 3b 0a 20 20 20 20 49 4e 53 45  ROM t1;.    INSE
0e10: 52 54 20 4f 52 20 52 45 50 4c 41 43 45 20 49 4e  RT OR REPLACE IN
0e20: 54 4f 20 74 31 28 61 2c 62 2c 63 2c 64 2c 65 29  TO t1(a,b,c,d,e)
0e30: 20 56 41 4c 55 45 53 28 31 2c 32 2c 6e 75 6c 6c   VALUES(1,2,null
0e40: 2c 34 2c 35 29 3b 0a 20 20 20 20 53 45 4c 45 43  ,4,5);.    SELEC
0e50: 54 20 2a 20 46 52 4f 4d 20 74 31 20 6f 72 64 65  T * FROM t1 orde
0e60: 72 20 62 79 20 61 3b 0a 20 20 7d 0a 7d 20 7b 30  r by a;.  }.} {0
0e70: 20 7b 31 20 32 20 36 20 34 20 35 7d 7d 0a 64 6f   {1 2 6 4 5}}.do
0e80: 5f 74 65 73 74 20 6e 6f 74 6e 75 6c 6c 2d 31 2e  _test notnull-1.
0e90: 31 36 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20  16 {.  catchsql 
0ea0: 7b 0a 20 20 20 20 44 45 4c 45 54 45 20 46 52 4f  {.    DELETE FRO
0eb0: 4d 20 74 31 3b 0a 20 20 20 20 49 4e 53 45 52 54  M t1;.    INSERT
0ec0: 20 4f 52 20 41 42 4f 52 54 20 49 4e 54 4f 20 74   OR ABORT INTO t
0ed0: 31 28 61 2c 62 2c 63 2c 64 2c 65 29 20 56 41 4c  1(a,b,c,d,e) VAL
0ee0: 55 45 53 28 31 2c 32 2c 6e 75 6c 6c 2c 34 2c 35  UES(1,2,null,4,5
0ef0: 29 3b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20  );.    SELECT * 
0f00: 46 52 4f 4d 20 74 31 20 6f 72 64 65 72 20 62 79  FROM t1 order by
0f10: 20 61 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b 4e 4f   a;.  }.} {1 {NO
0f20: 54 20 4e 55 4c 4c 20 63 6f 6e 73 74 72 61 69 6e  T NULL constrain
0f30: 74 20 66 61 69 6c 65 64 3a 20 74 31 2e 63 7d 7d  t failed: t1.c}}
0f40: 0a 76 65 72 69 66 79 5f 65 78 5f 65 72 72 63 6f  .verify_ex_errco
0f50: 64 65 20 6e 6f 74 6e 75 6c 6c 2d 31 2e 31 36 62  de notnull-1.16b
0f60: 20 53 51 4c 49 54 45 5f 43 4f 4e 53 54 52 41 49   SQLITE_CONSTRAI
0f70: 4e 54 5f 4e 4f 54 4e 55 4c 4c 0a 64 6f 5f 74 65  NT_NOTNULL.do_te
0f80: 73 74 20 6e 6f 74 6e 75 6c 6c 2d 31 2e 31 37 20  st notnull-1.17 
0f90: 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20  {.  catchsql {. 
0fa0: 20 20 20 44 45 4c 45 54 45 20 46 52 4f 4d 20 74     DELETE FROM t
0fb0: 31 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 4f 52  1;.    INSERT OR
0fc0: 20 41 42 4f 52 54 20 49 4e 54 4f 20 74 31 28 61   ABORT INTO t1(a
0fd0: 2c 62 2c 63 2c 64 2c 65 29 20 56 41 4c 55 45 53  ,b,c,d,e) VALUES
0fe0: 28 31 2c 32 2c 33 2c 6e 75 6c 6c 2c 35 29 3b 0a  (1,2,3,null,5);.
0ff0: 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f      SELECT * FRO
1000: 4d 20 74 31 20 6f 72 64 65 72 20 62 79 20 61 3b  M t1 order by a;
1010: 0a 20 20 7d 0a 7d 20 7b 31 20 7b 4e 4f 54 20 4e  .  }.} {1 {NOT N
1020: 55 4c 4c 20 63 6f 6e 73 74 72 61 69 6e 74 20 66  ULL constraint f
1030: 61 69 6c 65 64 3a 20 74 31 2e 64 7d 7d 0a 76 65  ailed: t1.d}}.ve
1040: 72 69 66 79 5f 65 78 5f 65 72 72 63 6f 64 65 20  rify_ex_errcode 
1050: 6e 6f 74 6e 75 6c 6c 2d 31 2e 31 37 62 20 53 51  notnull-1.17b SQ
1060: 4c 49 54 45 5f 43 4f 4e 53 54 52 41 49 4e 54 5f  LITE_CONSTRAINT_
1070: 4e 4f 54 4e 55 4c 4c 0a 64 6f 5f 74 65 73 74 20  NOTNULL.do_test 
1080: 6e 6f 74 6e 75 6c 6c 2d 31 2e 31 38 20 7b 0a 20  notnull-1.18 {. 
1090: 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20   catchsql {.    
10a0: 44 45 4c 45 54 45 20 46 52 4f 4d 20 74 31 3b 0a  DELETE FROM t1;.
10b0: 20 20 20 20 49 4e 53 45 52 54 20 4f 52 20 41 42      INSERT OR AB
10c0: 4f 52 54 20 49 4e 54 4f 20 74 31 28 61 2c 62 2c  ORT INTO t1(a,b,
10d0: 63 2c 65 29 20 56 41 4c 55 45 53 28 31 2c 32 2c  c,e) VALUES(1,2,
10e0: 33 2c 35 29 3b 0a 20 20 20 20 53 45 4c 45 43 54  3,5);.    SELECT
10f0: 20 2a 20 46 52 4f 4d 20 74 31 20 6f 72 64 65 72   * FROM t1 order
1100: 20 62 79 20 61 3b 0a 20 20 7d 0a 7d 20 7b 30 20   by a;.  }.} {0 
1110: 7b 31 20 32 20 33 20 37 20 35 7d 7d 0a 64 6f 5f  {1 2 3 7 5}}.do_
1120: 74 65 73 74 20 6e 6f 74 6e 75 6c 6c 2d 31 2e 31  test notnull-1.1
1130: 39 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b  9 {.  catchsql {
1140: 0a 20 20 20 20 44 45 4c 45 54 45 20 46 52 4f 4d  .    DELETE FROM
1150: 20 74 31 3b 0a 20 20 20 20 49 4e 53 45 52 54 20   t1;.    INSERT 
1160: 49 4e 54 4f 20 74 31 28 61 2c 62 2c 63 2c 64 29  INTO t1(a,b,c,d)
1170: 20 56 41 4c 55 45 53 28 31 2c 32 2c 33 2c 34 29   VALUES(1,2,3,4)
1180: 3b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46  ;.    SELECT * F
1190: 52 4f 4d 20 74 31 20 6f 72 64 65 72 20 62 79 20  ROM t1 order by 
11a0: 61 3b 0a 20 20 7d 0a 7d 20 7b 30 20 7b 31 20 32  a;.  }.} {0 {1 2
11b0: 20 33 20 34 20 38 7d 7d 0a 64 6f 5f 74 65 73 74   3 4 8}}.do_test
11c0: 20 6e 6f 74 6e 75 6c 6c 2d 31 2e 32 30 20 7b 0a   notnull-1.20 {.
11d0: 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20    catchsql {.   
11e0: 20 44 45 4c 45 54 45 20 46 52 4f 4d 20 74 31 3b   DELETE FROM t1;
11f0: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
1200: 20 74 31 28 61 2c 62 2c 63 2c 64 2c 65 29 20 56   t1(a,b,c,d,e) V
1210: 41 4c 55 45 53 28 31 2c 32 2c 33 2c 34 2c 6e 75  ALUES(1,2,3,4,nu
1220: 6c 6c 29 3b 0a 20 20 20 20 53 45 4c 45 43 54 20  ll);.    SELECT 
1230: 2a 20 46 52 4f 4d 20 74 31 20 6f 72 64 65 72 20  * FROM t1 order 
1240: 62 79 20 61 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b  by a;.  }.} {1 {
1250: 4e 4f 54 20 4e 55 4c 4c 20 63 6f 6e 73 74 72 61  NOT NULL constra
1260: 69 6e 74 20 66 61 69 6c 65 64 3a 20 74 31 2e 65  int failed: t1.e
1270: 7d 7d 0a 76 65 72 69 66 79 5f 65 78 5f 65 72 72  }}.verify_ex_err
1280: 63 6f 64 65 20 6e 6f 74 6e 75 6c 6c 2d 31 2e 32  code notnull-1.2
1290: 30 62 20 53 51 4c 49 54 45 5f 43 4f 4e 53 54 52  0b SQLITE_CONSTR
12a0: 41 49 4e 54 5f 4e 4f 54 4e 55 4c 4c 0a 64 6f 5f  AINT_NOTNULL.do_
12b0: 74 65 73 74 20 6e 6f 74 6e 75 6c 6c 2d 31 2e 32  test notnull-1.2
12c0: 31 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b  1 {.  catchsql {
12d0: 0a 20 20 20 20 44 45 4c 45 54 45 20 46 52 4f 4d  .    DELETE FROM
12e0: 20 74 31 3b 0a 20 20 20 20 49 4e 53 45 52 54 20   t1;.    INSERT 
12f0: 4f 52 20 52 45 50 4c 41 43 45 20 49 4e 54 4f 20  OR REPLACE INTO 
1300: 74 31 28 65 2c 64 2c 63 2c 62 2c 61 29 20 56 41  t1(e,d,c,b,a) VA
1310: 4c 55 45 53 28 31 2c 32 2c 33 2c 6e 75 6c 6c 2c  LUES(1,2,3,null,
1320: 35 29 3b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a  5);.    SELECT *
1330: 20 46 52 4f 4d 20 74 31 20 6f 72 64 65 72 20 62   FROM t1 order b
1340: 79 20 61 3b 0a 20 20 7d 0a 7d 20 7b 30 20 7b 35  y a;.  }.} {0 {5
1350: 20 35 20 33 20 32 20 31 7d 7d 0a 0a 64 6f 5f 74   5 3 2 1}}..do_t
1360: 65 73 74 20 6e 6f 74 6e 75 6c 6c 2d 32 2e 31 20  est notnull-2.1 
1370: 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20  {.  catchsql {. 
1380: 20 20 20 44 45 4c 45 54 45 20 46 52 4f 4d 20 74     DELETE FROM t
1390: 31 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e  1;.    INSERT IN
13a0: 54 4f 20 74 31 20 56 41 4c 55 45 53 28 31 2c 32  TO t1 VALUES(1,2
13b0: 2c 33 2c 34 2c 35 29 3b 0a 20 20 20 20 55 50 44  ,3,4,5);.    UPD
13c0: 41 54 45 20 74 31 20 53 45 54 20 61 3d 6e 75 6c  ATE t1 SET a=nul
13d0: 6c 3b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20  l;.    SELECT * 
13e0: 46 52 4f 4d 20 74 31 20 4f 52 44 45 52 20 42 59  FROM t1 ORDER BY
13f0: 20 61 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b 4e 4f   a;.  }.} {1 {NO
1400: 54 20 4e 55 4c 4c 20 63 6f 6e 73 74 72 61 69 6e  T NULL constrain
1410: 74 20 66 61 69 6c 65 64 3a 20 74 31 2e 61 7d 7d  t failed: t1.a}}
1420: 0a 76 65 72 69 66 79 5f 65 78 5f 65 72 72 63 6f  .verify_ex_errco
1430: 64 65 20 6e 6f 74 6e 75 6c 6c 2d 32 2e 31 62 20  de notnull-2.1b 
1440: 53 51 4c 49 54 45 5f 43 4f 4e 53 54 52 41 49 4e  SQLITE_CONSTRAIN
1450: 54 5f 4e 4f 54 4e 55 4c 4c 0a 64 6f 5f 74 65 73  T_NOTNULL.do_tes
1460: 74 20 6e 6f 74 6e 75 6c 6c 2d 32 2e 32 20 7b 0a  t notnull-2.2 {.
1470: 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20    catchsql {.   
1480: 20 44 45 4c 45 54 45 20 46 52 4f 4d 20 74 31 3b   DELETE FROM t1;
1490: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
14a0: 20 74 31 20 56 41 4c 55 45 53 28 31 2c 32 2c 33   t1 VALUES(1,2,3
14b0: 2c 34 2c 35 29 3b 0a 20 20 20 20 55 50 44 41 54  ,4,5);.    UPDAT
14c0: 45 20 4f 52 20 52 45 50 4c 41 43 45 20 74 31 20  E OR REPLACE t1 
14d0: 53 45 54 20 61 3d 6e 75 6c 6c 3b 0a 20 20 20 20  SET a=null;.    
14e0: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31  SELECT * FROM t1
14f0: 20 4f 52 44 45 52 20 42 59 20 61 3b 0a 20 20 7d   ORDER BY a;.  }
1500: 0a 7d 20 7b 31 20 7b 4e 4f 54 20 4e 55 4c 4c 20  .} {1 {NOT NULL 
1510: 63 6f 6e 73 74 72 61 69 6e 74 20 66 61 69 6c 65  constraint faile
1520: 64 3a 20 74 31 2e 61 7d 7d 0a 76 65 72 69 66 79  d: t1.a}}.verify
1530: 5f 65 78 5f 65 72 72 63 6f 64 65 20 6e 6f 74 6e  _ex_errcode notn
1540: 75 6c 6c 2d 32 2e 32 62 20 53 51 4c 49 54 45 5f  ull-2.2b SQLITE_
1550: 43 4f 4e 53 54 52 41 49 4e 54 5f 4e 4f 54 4e 55  CONSTRAINT_NOTNU
1560: 4c 4c 0a 64 6f 5f 74 65 73 74 20 6e 6f 74 6e 75  LL.do_test notnu
1570: 6c 6c 2d 32 2e 33 20 7b 0a 20 20 63 61 74 63 68  ll-2.3 {.  catch
1580: 73 71 6c 20 7b 0a 20 20 20 20 44 45 4c 45 54 45  sql {.    DELETE
1590: 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 49 4e   FROM t1;.    IN
15a0: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c  SERT INTO t1 VAL
15b0: 55 45 53 28 31 2c 32 2c 33 2c 34 2c 35 29 3b 0a  UES(1,2,3,4,5);.
15c0: 20 20 20 20 55 50 44 41 54 45 20 4f 52 20 49 47      UPDATE OR IG
15d0: 4e 4f 52 45 20 74 31 20 53 45 54 20 61 3d 6e 75  NORE t1 SET a=nu
15e0: 6c 6c 3b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a  ll;.    SELECT *
15f0: 20 46 52 4f 4d 20 74 31 20 4f 52 44 45 52 20 42   FROM t1 ORDER B
1600: 59 20 61 3b 0a 20 20 7d 0a 7d 20 7b 30 20 7b 31  Y a;.  }.} {0 {1
1610: 20 32 20 33 20 34 20 35 7d 7d 0a 64 6f 5f 74 65   2 3 4 5}}.do_te
1620: 73 74 20 6e 6f 74 6e 75 6c 6c 2d 32 2e 34 20 7b  st notnull-2.4 {
1630: 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20  .  catchsql {.  
1640: 20 20 44 45 4c 45 54 45 20 46 52 4f 4d 20 74 31    DELETE FROM t1
1650: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  ;.    INSERT INT
1660: 4f 20 74 31 20 56 41 4c 55 45 53 28 31 2c 32 2c  O t1 VALUES(1,2,
1670: 33 2c 34 2c 35 29 3b 0a 20 20 20 20 55 50 44 41  3,4,5);.    UPDA
1680: 54 45 20 4f 52 20 41 42 4f 52 54 20 74 31 20 53  TE OR ABORT t1 S
1690: 45 54 20 61 3d 6e 75 6c 6c 3b 0a 20 20 20 20 53  ET a=null;.    S
16a0: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20  ELECT * FROM t1 
16b0: 4f 52 44 45 52 20 42 59 20 61 3b 0a 20 20 7d 0a  ORDER BY a;.  }.
16c0: 7d 20 7b 31 20 7b 4e 4f 54 20 4e 55 4c 4c 20 63  } {1 {NOT NULL c
16d0: 6f 6e 73 74 72 61 69 6e 74 20 66 61 69 6c 65 64  onstraint failed
16e0: 3a 20 74 31 2e 61 7d 7d 0a 76 65 72 69 66 79 5f  : t1.a}}.verify_
16f0: 65 78 5f 65 72 72 63 6f 64 65 20 6e 6f 74 6e 75  ex_errcode notnu
1700: 6c 6c 2d 32 2e 34 62 20 53 51 4c 49 54 45 5f 43  ll-2.4b SQLITE_C
1710: 4f 4e 53 54 52 41 49 4e 54 5f 4e 4f 54 4e 55 4c  ONSTRAINT_NOTNUL
1720: 4c 0a 64 6f 5f 74 65 73 74 20 6e 6f 74 6e 75 6c  L.do_test notnul
1730: 6c 2d 32 2e 35 20 7b 0a 20 20 63 61 74 63 68 73  l-2.5 {.  catchs
1740: 71 6c 20 7b 0a 20 20 20 20 44 45 4c 45 54 45 20  ql {.    DELETE 
1750: 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 49 4e 53  FROM t1;.    INS
1760: 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55  ERT INTO t1 VALU
1770: 45 53 28 31 2c 32 2c 33 2c 34 2c 35 29 3b 0a 20  ES(1,2,3,4,5);. 
1780: 20 20 20 55 50 44 41 54 45 20 74 31 20 53 45 54     UPDATE t1 SET
1790: 20 62 3d 6e 75 6c 6c 3b 0a 20 20 20 20 53 45 4c   b=null;.    SEL
17a0: 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 4f 52  ECT * FROM t1 OR
17b0: 44 45 52 20 42 59 20 61 3b 0a 20 20 7d 0a 7d 20  DER BY a;.  }.} 
17c0: 7b 31 20 7b 4e 4f 54 20 4e 55 4c 4c 20 63 6f 6e  {1 {NOT NULL con
17d0: 73 74 72 61 69 6e 74 20 66 61 69 6c 65 64 3a 20  straint failed: 
17e0: 74 31 2e 62 7d 7d 0a 76 65 72 69 66 79 5f 65 78  t1.b}}.verify_ex
17f0: 5f 65 72 72 63 6f 64 65 20 6e 6f 74 6e 75 6c 6c  _errcode notnull
1800: 2d 32 2e 36 62 20 53 51 4c 49 54 45 5f 43 4f 4e  -2.6b SQLITE_CON
1810: 53 54 52 41 49 4e 54 5f 4e 4f 54 4e 55 4c 4c 0a  STRAINT_NOTNULL.
1820: 64 6f 5f 74 65 73 74 20 6e 6f 74 6e 75 6c 6c 2d  do_test notnull-
1830: 32 2e 36 20 7b 0a 20 20 63 61 74 63 68 73 71 6c  2.6 {.  catchsql
1840: 20 7b 0a 20 20 20 20 44 45 4c 45 54 45 20 46 52   {.    DELETE FR
1850: 4f 4d 20 74 31 3b 0a 20 20 20 20 49 4e 53 45 52  OM t1;.    INSER
1860: 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53  T INTO t1 VALUES
1870: 28 31 2c 32 2c 33 2c 34 2c 35 29 3b 0a 20 20 20  (1,2,3,4,5);.   
1880: 20 55 50 44 41 54 45 20 4f 52 20 52 45 50 4c 41   UPDATE OR REPLA
1890: 43 45 20 74 31 20 53 45 54 20 62 3d 6e 75 6c 6c  CE t1 SET b=null
18a0: 2c 20 64 3d 65 2c 20 65 3d 64 3b 0a 20 20 20 20  , d=e, e=d;.    
18b0: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31  SELECT * FROM t1
18c0: 20 4f 52 44 45 52 20 42 59 20 61 3b 0a 20 20 7d   ORDER BY a;.  }
18d0: 0a 7d 20 7b 30 20 7b 31 20 35 20 33 20 35 20 34  .} {0 {1 5 3 5 4
18e0: 7d 7d 0a 64 6f 5f 74 65 73 74 20 6e 6f 74 6e 75  }}.do_test notnu
18f0: 6c 6c 2d 32 2e 37 20 7b 0a 20 20 63 61 74 63 68  ll-2.7 {.  catch
1900: 73 71 6c 20 7b 0a 20 20 20 20 44 45 4c 45 54 45  sql {.    DELETE
1910: 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 49 4e   FROM t1;.    IN
1920: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c  SERT INTO t1 VAL
1930: 55 45 53 28 31 2c 32 2c 33 2c 34 2c 35 29 3b 0a  UES(1,2,3,4,5);.
1940: 20 20 20 20 55 50 44 41 54 45 20 4f 52 20 49 47      UPDATE OR IG
1950: 4e 4f 52 45 20 74 31 20 53 45 54 20 62 3d 6e 75  NORE t1 SET b=nu
1960: 6c 6c 2c 20 64 3d 65 2c 20 65 3d 64 3b 0a 20 20  ll, d=e, e=d;.  
1970: 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20    SELECT * FROM 
1980: 74 31 20 4f 52 44 45 52 20 42 59 20 61 3b 0a 20  t1 ORDER BY a;. 
1990: 20 7d 0a 7d 20 7b 30 20 7b 31 20 32 20 33 20 34   }.} {0 {1 2 3 4
19a0: 20 35 7d 7d 0a 64 6f 5f 74 65 73 74 20 6e 6f 74   5}}.do_test not
19b0: 6e 75 6c 6c 2d 32 2e 38 20 7b 0a 20 20 63 61 74  null-2.8 {.  cat
19c0: 63 68 73 71 6c 20 7b 0a 20 20 20 20 44 45 4c 45  chsql {.    DELE
19d0: 54 45 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20  TE FROM t1;.    
19e0: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56  INSERT INTO t1 V
19f0: 41 4c 55 45 53 28 31 2c 32 2c 33 2c 34 2c 35 29  ALUES(1,2,3,4,5)
1a00: 3b 0a 20 20 20 20 55 50 44 41 54 45 20 74 31 20  ;.    UPDATE t1 
1a10: 53 45 54 20 63 3d 6e 75 6c 6c 2c 20 64 3d 65 2c  SET c=null, d=e,
1a20: 20 65 3d 64 3b 0a 20 20 20 20 53 45 4c 45 43 54   e=d;.    SELECT
1a30: 20 2a 20 46 52 4f 4d 20 74 31 20 4f 52 44 45 52   * FROM t1 ORDER
1a40: 20 42 59 20 61 3b 0a 20 20 7d 0a 7d 20 7b 30 20   BY a;.  }.} {0 
1a50: 7b 31 20 32 20 36 20 35 20 34 7d 7d 0a 64 6f 5f  {1 2 6 5 4}}.do_
1a60: 74 65 73 74 20 6e 6f 74 6e 75 6c 6c 2d 32 2e 39  test notnull-2.9
1a70: 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a   {.  catchsql {.
1a80: 20 20 20 20 44 45 4c 45 54 45 20 46 52 4f 4d 20      DELETE FROM 
1a90: 74 31 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  t1;.    INSERT I
1aa0: 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 31 2c  NTO t1 VALUES(1,
1ab0: 32 2c 33 2c 34 2c 35 29 3b 0a 20 20 20 20 55 50  2,3,4,5);.    UP
1ac0: 44 41 54 45 20 74 31 20 53 45 54 20 64 3d 6e 75  DATE t1 SET d=nu
1ad0: 6c 6c 2c 20 61 3d 62 2c 20 62 3d 61 3b 0a 20 20  ll, a=b, b=a;.  
1ae0: 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20    SELECT * FROM 
1af0: 74 31 20 4f 52 44 45 52 20 42 59 20 61 3b 0a 20  t1 ORDER BY a;. 
1b00: 20 7d 0a 7d 20 7b 30 20 7b 31 20 32 20 33 20 34   }.} {0 {1 2 3 4
1b10: 20 35 7d 7d 0a 64 6f 5f 74 65 73 74 20 6e 6f 74   5}}.do_test not
1b20: 6e 75 6c 6c 2d 32 2e 31 30 20 7b 0a 20 20 63 61  null-2.10 {.  ca
1b30: 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 44 45 4c  tchsql {.    DEL
1b40: 45 54 45 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20  ETE FROM t1;.   
1b50: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
1b60: 56 41 4c 55 45 53 28 31 2c 32 2c 33 2c 34 2c 35  VALUES(1,2,3,4,5
1b70: 29 3b 0a 20 20 20 20 55 50 44 41 54 45 20 74 31  );.    UPDATE t1
1b80: 20 53 45 54 20 65 3d 6e 75 6c 6c 2c 20 61 3d 62   SET e=null, a=b
1b90: 2c 20 62 3d 61 3b 0a 20 20 20 20 53 45 4c 45 43  , b=a;.    SELEC
1ba0: 54 20 2a 20 46 52 4f 4d 20 74 31 20 4f 52 44 45  T * FROM t1 ORDE
1bb0: 52 20 42 59 20 61 3b 0a 20 20 7d 0a 7d 20 7b 31  R BY a;.  }.} {1
1bc0: 20 7b 4e 4f 54 20 4e 55 4c 4c 20 63 6f 6e 73 74   {NOT NULL const
1bd0: 72 61 69 6e 74 20 66 61 69 6c 65 64 3a 20 74 31  raint failed: t1
1be0: 2e 65 7d 7d 0a 76 65 72 69 66 79 5f 65 78 5f 65  .e}}.verify_ex_e
1bf0: 72 72 63 6f 64 65 20 6e 6f 74 6e 75 6c 6c 2d 32  rrcode notnull-2
1c00: 2e 31 30 62 20 53 51 4c 49 54 45 5f 43 4f 4e 53  .10b SQLITE_CONS
1c10: 54 52 41 49 4e 54 5f 4e 4f 54 4e 55 4c 4c 0a 0a  TRAINT_NOTNULL..
1c20: 64 6f 5f 74 65 73 74 20 6e 6f 74 6e 75 6c 6c 2d  do_test notnull-
1c30: 33 2e 30 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  3.0 {.  execsql 
1c40: 7b 0a 20 20 20 20 43 52 45 41 54 45 20 49 4e 44  {.    CREATE IND
1c50: 45 58 20 74 31 61 20 4f 4e 20 74 31 28 61 29 3b  EX t1a ON t1(a);
1c60: 0a 20 20 20 20 43 52 45 41 54 45 20 49 4e 44 45  .    CREATE INDE
1c70: 58 20 74 31 62 20 4f 4e 20 74 31 28 62 29 3b 0a  X t1b ON t1(b);.
1c80: 20 20 20 20 43 52 45 41 54 45 20 49 4e 44 45 58      CREATE INDEX
1c90: 20 74 31 63 20 4f 4e 20 74 31 28 63 29 3b 0a 20   t1c ON t1(c);. 
1ca0: 20 20 20 43 52 45 41 54 45 20 49 4e 44 45 58 20     CREATE INDEX 
1cb0: 74 31 64 20 4f 4e 20 74 31 28 64 29 3b 0a 20 20  t1d ON t1(d);.  
1cc0: 20 20 43 52 45 41 54 45 20 49 4e 44 45 58 20 74    CREATE INDEX t
1cd0: 31 65 20 4f 4e 20 74 31 28 65 29 3b 0a 20 20 20  1e ON t1(e);.   
1ce0: 20 43 52 45 41 54 45 20 49 4e 44 45 58 20 74 31   CREATE INDEX t1
1cf0: 61 62 63 20 4f 4e 20 74 31 28 61 2c 62 2c 63 29  abc ON t1(a,b,c)
1d00: 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a 64 6f 5f 74 65  ;.  }.} {}.do_te
1d10: 73 74 20 6e 6f 74 6e 75 6c 6c 2d 33 2e 31 20 7b  st notnull-3.1 {
1d20: 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20  .  catchsql {.  
1d30: 20 20 44 45 4c 45 54 45 20 46 52 4f 4d 20 74 31    DELETE FROM t1
1d40: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  ;.    INSERT INT
1d50: 4f 20 74 31 28 61 2c 62 2c 63 2c 64 2c 65 29 20  O t1(a,b,c,d,e) 
1d60: 56 41 4c 55 45 53 28 31 2c 32 2c 33 2c 34 2c 35  VALUES(1,2,3,4,5
1d70: 29 3b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20  );.    SELECT * 
1d80: 46 52 4f 4d 20 74 31 20 6f 72 64 65 72 20 62 79  FROM t1 order by
1d90: 20 61 3b 0a 20 20 7d 0a 7d 20 7b 30 20 7b 31 20   a;.  }.} {0 {1 
1da0: 32 20 33 20 34 20 35 7d 7d 0a 64 6f 5f 74 65 73  2 3 4 5}}.do_tes
1db0: 74 20 6e 6f 74 6e 75 6c 6c 2d 33 2e 32 20 7b 0a  t notnull-3.2 {.
1dc0: 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20    catchsql {.   
1dd0: 20 44 45 4c 45 54 45 20 46 52 4f 4d 20 74 31 3b   DELETE FROM t1;
1de0: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
1df0: 20 74 31 28 62 2c 63 2c 64 2c 65 29 20 56 41 4c   t1(b,c,d,e) VAL
1e00: 55 45 53 28 32 2c 33 2c 34 2c 35 29 3b 0a 20 20  UES(2,3,4,5);.  
1e10: 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20    SELECT * FROM 
1e20: 74 31 20 6f 72 64 65 72 20 62 79 20 61 3b 0a 20  t1 order by a;. 
1e30: 20 7d 0a 7d 20 7b 31 20 7b 4e 4f 54 20 4e 55 4c   }.} {1 {NOT NUL
1e40: 4c 20 63 6f 6e 73 74 72 61 69 6e 74 20 66 61 69  L constraint fai
1e50: 6c 65 64 3a 20 74 31 2e 61 7d 7d 0a 76 65 72 69  led: t1.a}}.veri
1e60: 66 79 5f 65 78 5f 65 72 72 63 6f 64 65 20 6e 6f  fy_ex_errcode no
1e70: 74 6e 75 6c 6c 2d 33 2e 32 62 20 53 51 4c 49 54  tnull-3.2b SQLIT
1e80: 45 5f 43 4f 4e 53 54 52 41 49 4e 54 5f 4e 4f 54  E_CONSTRAINT_NOT
1e90: 4e 55 4c 4c 0a 64 6f 5f 74 65 73 74 20 6e 6f 74  NULL.do_test not
1ea0: 6e 75 6c 6c 2d 33 2e 33 20 7b 0a 20 20 63 61 74  null-3.3 {.  cat
1eb0: 63 68 73 71 6c 20 7b 0a 20 20 20 20 44 45 4c 45  chsql {.    DELE
1ec0: 54 45 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20  TE FROM t1;.    
1ed0: 49 4e 53 45 52 54 20 4f 52 20 49 47 4e 4f 52 45  INSERT OR IGNORE
1ee0: 20 49 4e 54 4f 20 74 31 28 62 2c 63 2c 64 2c 65   INTO t1(b,c,d,e
1ef0: 29 20 56 41 4c 55 45 53 28 32 2c 33 2c 34 2c 35  ) VALUES(2,3,4,5
1f00: 29 3b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20  );.    SELECT * 
1f10: 46 52 4f 4d 20 74 31 20 6f 72 64 65 72 20 62 79  FROM t1 order by
1f20: 20 61 3b 0a 20 20 7d 0a 7d 20 7b 30 20 7b 7d 7d   a;.  }.} {0 {}}
1f30: 0a 64 6f 5f 74 65 73 74 20 6e 6f 74 6e 75 6c 6c  .do_test notnull
1f40: 2d 33 2e 34 20 7b 0a 20 20 63 61 74 63 68 73 71  -3.4 {.  catchsq
1f50: 6c 20 7b 0a 20 20 20 20 44 45 4c 45 54 45 20 46  l {.    DELETE F
1f60: 52 4f 4d 20 74 31 3b 0a 20 20 20 20 49 4e 53 45  ROM t1;.    INSE
1f70: 52 54 20 4f 52 20 52 45 50 4c 41 43 45 20 49 4e  RT OR REPLACE IN
1f80: 54 4f 20 74 31 28 62 2c 63 2c 64 2c 65 29 20 56  TO t1(b,c,d,e) V
1f90: 41 4c 55 45 53 28 32 2c 33 2c 34 2c 35 29 3b 0a  ALUES(2,3,4,5);.
1fa0: 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f      SELECT * FRO
1fb0: 4d 20 74 31 20 6f 72 64 65 72 20 62 79 20 61 3b  M t1 order by a;
1fc0: 0a 20 20 7d 0a 7d 20 7b 31 20 7b 4e 4f 54 20 4e  .  }.} {1 {NOT N
1fd0: 55 4c 4c 20 63 6f 6e 73 74 72 61 69 6e 74 20 66  ULL constraint f
1fe0: 61 69 6c 65 64 3a 20 74 31 2e 61 7d 7d 0a 76 65  ailed: t1.a}}.ve
1ff0: 72 69 66 79 5f 65 78 5f 65 72 72 63 6f 64 65 20  rify_ex_errcode 
2000: 6e 6f 74 6e 75 6c 6c 2d 33 2e 34 62 20 53 51 4c  notnull-3.4b SQL
2010: 49 54 45 5f 43 4f 4e 53 54 52 41 49 4e 54 5f 4e  ITE_CONSTRAINT_N
2020: 4f 54 4e 55 4c 4c 0a 64 6f 5f 74 65 73 74 20 6e  OTNULL.do_test n
2030: 6f 74 6e 75 6c 6c 2d 33 2e 35 20 7b 0a 20 20 63  otnull-3.5 {.  c
2040: 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 44 45  atchsql {.    DE
2050: 4c 45 54 45 20 46 52 4f 4d 20 74 31 3b 0a 20 20  LETE FROM t1;.  
2060: 20 20 49 4e 53 45 52 54 20 4f 52 20 41 42 4f 52    INSERT OR ABOR
2070: 54 20 49 4e 54 4f 20 74 31 28 62 2c 63 2c 64 2c  T INTO t1(b,c,d,
2080: 65 29 20 56 41 4c 55 45 53 28 32 2c 33 2c 34 2c  e) VALUES(2,3,4,
2090: 35 29 3b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a  5);.    SELECT *
20a0: 20 46 52 4f 4d 20 74 31 20 6f 72 64 65 72 20 62   FROM t1 order b
20b0: 79 20 61 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b 4e  y a;.  }.} {1 {N
20c0: 4f 54 20 4e 55 4c 4c 20 63 6f 6e 73 74 72 61 69  OT NULL constrai
20d0: 6e 74 20 66 61 69 6c 65 64 3a 20 74 31 2e 61 7d  nt failed: t1.a}
20e0: 7d 0a 76 65 72 69 66 79 5f 65 78 5f 65 72 72 63  }.verify_ex_errc
20f0: 6f 64 65 20 6e 6f 74 6e 75 6c 6c 2d 33 2e 35 62  ode notnull-3.5b
2100: 20 53 51 4c 49 54 45 5f 43 4f 4e 53 54 52 41 49   SQLITE_CONSTRAI
2110: 4e 54 5f 4e 4f 54 4e 55 4c 4c 0a 64 6f 5f 74 65  NT_NOTNULL.do_te
2120: 73 74 20 6e 6f 74 6e 75 6c 6c 2d 33 2e 36 20 7b  st notnull-3.6 {
2130: 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20  .  catchsql {.  
2140: 20 20 44 45 4c 45 54 45 20 46 52 4f 4d 20 74 31    DELETE FROM t1
2150: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  ;.    INSERT INT
2160: 4f 20 74 31 28 61 2c 63 2c 64 2c 65 29 20 56 41  O t1(a,c,d,e) VA
2170: 4c 55 45 53 28 31 2c 33 2c 34 2c 35 29 3b 0a 20  LUES(1,3,4,5);. 
2180: 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d     SELECT * FROM
2190: 20 74 31 20 6f 72 64 65 72 20 62 79 20 61 3b 0a   t1 order by a;.
21a0: 20 20 7d 0a 7d 20 7b 30 20 7b 31 20 35 20 33 20    }.} {0 {1 5 3 
21b0: 34 20 35 7d 7d 0a 64 6f 5f 74 65 73 74 20 6e 6f  4 5}}.do_test no
21c0: 74 6e 75 6c 6c 2d 33 2e 37 20 7b 0a 20 20 63 61  tnull-3.7 {.  ca
21d0: 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 44 45 4c  tchsql {.    DEL
21e0: 45 54 45 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20  ETE FROM t1;.   
21f0: 20 49 4e 53 45 52 54 20 4f 52 20 49 47 4e 4f 52   INSERT OR IGNOR
2200: 45 20 49 4e 54 4f 20 74 31 28 61 2c 63 2c 64 2c  E INTO t1(a,c,d,
2210: 65 29 20 56 41 4c 55 45 53 28 31 2c 33 2c 34 2c  e) VALUES(1,3,4,
2220: 35 29 3b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a  5);.    SELECT *
2230: 20 46 52 4f 4d 20 74 31 20 6f 72 64 65 72 20 62   FROM t1 order b
2240: 79 20 61 3b 0a 20 20 7d 0a 7d 20 7b 30 20 7b 31  y a;.  }.} {0 {1
2250: 20 35 20 33 20 34 20 35 7d 7d 0a 64 6f 5f 74 65   5 3 4 5}}.do_te
2260: 73 74 20 6e 6f 74 6e 75 6c 6c 2d 33 2e 38 20 7b  st notnull-3.8 {
2270: 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20  .  catchsql {.  
2280: 20 20 44 45 4c 45 54 45 20 46 52 4f 4d 20 74 31    DELETE FROM t1
2290: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 4f 52 20  ;.    INSERT OR 
22a0: 52 45 50 4c 41 43 45 20 49 4e 54 4f 20 74 31 28  REPLACE INTO t1(
22b0: 61 2c 63 2c 64 2c 65 29 20 56 41 4c 55 45 53 28  a,c,d,e) VALUES(
22c0: 31 2c 33 2c 34 2c 35 29 3b 0a 20 20 20 20 53 45  1,3,4,5);.    SE
22d0: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 6f  LECT * FROM t1 o
22e0: 72 64 65 72 20 62 79 20 61 3b 0a 20 20 7d 0a 7d  rder by a;.  }.}
22f0: 20 7b 30 20 7b 31 20 35 20 33 20 34 20 35 7d 7d   {0 {1 5 3 4 5}}
2300: 0a 64 6f 5f 74 65 73 74 20 6e 6f 74 6e 75 6c 6c  .do_test notnull
2310: 2d 33 2e 39 20 7b 0a 20 20 63 61 74 63 68 73 71  -3.9 {.  catchsq
2320: 6c 20 7b 0a 20 20 20 20 44 45 4c 45 54 45 20 46  l {.    DELETE F
2330: 52 4f 4d 20 74 31 3b 0a 20 20 20 20 49 4e 53 45  ROM t1;.    INSE
2340: 52 54 20 4f 52 20 41 42 4f 52 54 20 49 4e 54 4f  RT OR ABORT INTO
2350: 20 74 31 28 61 2c 63 2c 64 2c 65 29 20 56 41 4c   t1(a,c,d,e) VAL
2360: 55 45 53 28 31 2c 33 2c 34 2c 35 29 3b 0a 20 20  UES(1,3,4,5);.  
2370: 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20    SELECT * FROM 
2380: 74 31 20 6f 72 64 65 72 20 62 79 20 61 3b 0a 20  t1 order by a;. 
2390: 20 7d 0a 7d 20 7b 30 20 7b 31 20 35 20 33 20 34   }.} {0 {1 5 3 4
23a0: 20 35 7d 7d 0a 64 6f 5f 74 65 73 74 20 6e 6f 74   5}}.do_test not
23b0: 6e 75 6c 6c 2d 33 2e 31 30 20 7b 0a 20 20 63 61  null-3.10 {.  ca
23c0: 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 44 45 4c  tchsql {.    DEL
23d0: 45 54 45 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20  ETE FROM t1;.   
23e0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 28   INSERT INTO t1(
23f0: 61 2c 62 2c 63 2c 64 2c 65 29 20 56 41 4c 55 45  a,b,c,d,e) VALUE
2400: 53 28 31 2c 6e 75 6c 6c 2c 33 2c 34 2c 35 29 3b  S(1,null,3,4,5);
2410: 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52  .    SELECT * FR
2420: 4f 4d 20 74 31 20 6f 72 64 65 72 20 62 79 20 61  OM t1 order by a
2430: 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b 4e 4f 54 20  ;.  }.} {1 {NOT 
2440: 4e 55 4c 4c 20 63 6f 6e 73 74 72 61 69 6e 74 20  NULL constraint 
2450: 66 61 69 6c 65 64 3a 20 74 31 2e 62 7d 7d 0a 76  failed: t1.b}}.v
2460: 65 72 69 66 79 5f 65 78 5f 65 72 72 63 6f 64 65  erify_ex_errcode
2470: 20 6e 6f 74 6e 75 6c 6c 2d 33 2e 31 30 62 20 53   notnull-3.10b S
2480: 51 4c 49 54 45 5f 43 4f 4e 53 54 52 41 49 4e 54  QLITE_CONSTRAINT
2490: 5f 4e 4f 54 4e 55 4c 4c 0a 64 6f 5f 74 65 73 74  _NOTNULL.do_test
24a0: 20 6e 6f 74 6e 75 6c 6c 2d 33 2e 31 31 20 7b 0a   notnull-3.11 {.
24b0: 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20    catchsql {.   
24c0: 20 44 45 4c 45 54 45 20 46 52 4f 4d 20 74 31 3b   DELETE FROM t1;
24d0: 0a 20 20 20 20 49 4e 53 45 52 54 20 4f 52 20 49  .    INSERT OR I
24e0: 47 4e 4f 52 45 20 49 4e 54 4f 20 74 31 28 61 2c  GNORE INTO t1(a,
24f0: 62 2c 63 2c 64 2c 65 29 20 56 41 4c 55 45 53 28  b,c,d,e) VALUES(
2500: 31 2c 6e 75 6c 6c 2c 33 2c 34 2c 35 29 3b 0a 20  1,null,3,4,5);. 
2510: 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d     SELECT * FROM
2520: 20 74 31 20 6f 72 64 65 72 20 62 79 20 61 3b 0a   t1 order by a;.
2530: 20 20 7d 0a 7d 20 7b 30 20 7b 7d 7d 0a 64 6f 5f    }.} {0 {}}.do_
2540: 74 65 73 74 20 6e 6f 74 6e 75 6c 6c 2d 33 2e 31  test notnull-3.1
2550: 32 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b  2 {.  catchsql {
2560: 0a 20 20 20 20 44 45 4c 45 54 45 20 46 52 4f 4d  .    DELETE FROM
2570: 20 74 31 3b 0a 20 20 20 20 49 4e 53 45 52 54 20   t1;.    INSERT 
2580: 4f 52 20 52 45 50 4c 41 43 45 20 49 4e 54 4f 20  OR REPLACE INTO 
2590: 74 31 28 61 2c 62 2c 63 2c 64 2c 65 29 20 56 41  t1(a,b,c,d,e) VA
25a0: 4c 55 45 53 28 31 2c 6e 75 6c 6c 2c 33 2c 34 2c  LUES(1,null,3,4,
25b0: 35 29 3b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a  5);.    SELECT *
25c0: 20 46 52 4f 4d 20 74 31 20 6f 72 64 65 72 20 62   FROM t1 order b
25d0: 79 20 61 3b 0a 20 20 7d 0a 7d 20 7b 30 20 7b 31  y a;.  }.} {0 {1
25e0: 20 35 20 33 20 34 20 35 7d 7d 0a 64 6f 5f 74 65   5 3 4 5}}.do_te
25f0: 73 74 20 6e 6f 74 6e 75 6c 6c 2d 33 2e 31 33 20  st notnull-3.13 
2600: 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20  {.  catchsql {. 
2610: 20 20 20 44 45 4c 45 54 45 20 46 52 4f 4d 20 74     DELETE FROM t
2620: 31 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e  1;.    INSERT IN
2630: 54 4f 20 74 31 28 61 2c 62 2c 63 2c 64 2c 65 29  TO t1(a,b,c,d,e)
2640: 20 56 41 4c 55 45 53 28 31 2c 32 2c 6e 75 6c 6c   VALUES(1,2,null
2650: 2c 34 2c 35 29 3b 0a 20 20 20 20 53 45 4c 45 43  ,4,5);.    SELEC
2660: 54 20 2a 20 46 52 4f 4d 20 74 31 20 6f 72 64 65  T * FROM t1 orde
2670: 72 20 62 79 20 61 3b 0a 20 20 7d 0a 7d 20 7b 30  r by a;.  }.} {0
2680: 20 7b 31 20 32 20 36 20 34 20 35 7d 7d 0a 64 6f   {1 2 6 4 5}}.do
2690: 5f 74 65 73 74 20 6e 6f 74 6e 75 6c 6c 2d 33 2e  _test notnull-3.
26a0: 31 34 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20  14 {.  catchsql 
26b0: 7b 0a 20 20 20 20 44 45 4c 45 54 45 20 46 52 4f  {.    DELETE FRO
26c0: 4d 20 74 31 3b 0a 20 20 20 20 49 4e 53 45 52 54  M t1;.    INSERT
26d0: 20 4f 52 20 49 47 4e 4f 52 45 20 49 4e 54 4f 20   OR IGNORE INTO 
26e0: 74 31 28 61 2c 62 2c 63 2c 64 2c 65 29 20 56 41  t1(a,b,c,d,e) VA
26f0: 4c 55 45 53 28 31 2c 32 2c 6e 75 6c 6c 2c 34 2c  LUES(1,2,null,4,
2700: 35 29 3b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a  5);.    SELECT *
2710: 20 46 52 4f 4d 20 74 31 20 6f 72 64 65 72 20 62   FROM t1 order b
2720: 79 20 61 3b 0a 20 20 7d 0a 7d 20 7b 30 20 7b 7d  y a;.  }.} {0 {}
2730: 7d 0a 64 6f 5f 74 65 73 74 20 6e 6f 74 6e 75 6c  }.do_test notnul
2740: 6c 2d 33 2e 31 35 20 7b 0a 20 20 63 61 74 63 68  l-3.15 {.  catch
2750: 73 71 6c 20 7b 0a 20 20 20 20 44 45 4c 45 54 45  sql {.    DELETE
2760: 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 49 4e   FROM t1;.    IN
2770: 53 45 52 54 20 4f 52 20 52 45 50 4c 41 43 45 20  SERT OR REPLACE 
2780: 49 4e 54 4f 20 74 31 28 61 2c 62 2c 63 2c 64 2c  INTO t1(a,b,c,d,
2790: 65 29 20 56 41 4c 55 45 53 28 31 2c 32 2c 6e 75  e) VALUES(1,2,nu
27a0: 6c 6c 2c 34 2c 35 29 3b 0a 20 20 20 20 53 45 4c  ll,4,5);.    SEL
27b0: 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 6f 72  ECT * FROM t1 or
27c0: 64 65 72 20 62 79 20 61 3b 0a 20 20 7d 0a 7d 20  der by a;.  }.} 
27d0: 7b 30 20 7b 31 20 32 20 36 20 34 20 35 7d 7d 0a  {0 {1 2 6 4 5}}.
27e0: 64 6f 5f 74 65 73 74 20 6e 6f 74 6e 75 6c 6c 2d  do_test notnull-
27f0: 33 2e 31 36 20 7b 0a 20 20 63 61 74 63 68 73 71  3.16 {.  catchsq
2800: 6c 20 7b 0a 20 20 20 20 44 45 4c 45 54 45 20 46  l {.    DELETE F
2810: 52 4f 4d 20 74 31 3b 0a 20 20 20 20 49 4e 53 45  ROM t1;.    INSE
2820: 52 54 20 4f 52 20 41 42 4f 52 54 20 49 4e 54 4f  RT OR ABORT INTO
2830: 20 74 31 28 61 2c 62 2c 63 2c 64 2c 65 29 20 56   t1(a,b,c,d,e) V
2840: 41 4c 55 45 53 28 31 2c 32 2c 6e 75 6c 6c 2c 34  ALUES(1,2,null,4
2850: 2c 35 29 3b 0a 20 20 20 20 53 45 4c 45 43 54 20  ,5);.    SELECT 
2860: 2a 20 46 52 4f 4d 20 74 31 20 6f 72 64 65 72 20  * FROM t1 order 
2870: 62 79 20 61 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b  by a;.  }.} {1 {
2880: 4e 4f 54 20 4e 55 4c 4c 20 63 6f 6e 73 74 72 61  NOT NULL constra
2890: 69 6e 74 20 66 61 69 6c 65 64 3a 20 74 31 2e 63  int failed: t1.c
28a0: 7d 7d 0a 76 65 72 69 66 79 5f 65 78 5f 65 72 72  }}.verify_ex_err
28b0: 63 6f 64 65 20 6e 6f 74 6e 75 6c 6c 2d 33 2e 31  code notnull-3.1
28c0: 36 62 20 53 51 4c 49 54 45 5f 43 4f 4e 53 54 52  6b SQLITE_CONSTR
28d0: 41 49 4e 54 5f 4e 4f 54 4e 55 4c 4c 0a 64 6f 5f  AINT_NOTNULL.do_
28e0: 74 65 73 74 20 6e 6f 74 6e 75 6c 6c 2d 33 2e 31  test notnull-3.1
28f0: 37 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b  7 {.  catchsql {
2900: 0a 20 20 20 20 44 45 4c 45 54 45 20 46 52 4f 4d  .    DELETE FROM
2910: 20 74 31 3b 0a 20 20 20 20 49 4e 53 45 52 54 20   t1;.    INSERT 
2920: 4f 52 20 41 42 4f 52 54 20 49 4e 54 4f 20 74 31  OR ABORT INTO t1
2930: 28 61 2c 62 2c 63 2c 64 2c 65 29 20 56 41 4c 55  (a,b,c,d,e) VALU
2940: 45 53 28 31 2c 32 2c 33 2c 6e 75 6c 6c 2c 35 29  ES(1,2,3,null,5)
2950: 3b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46  ;.    SELECT * F
2960: 52 4f 4d 20 74 31 20 6f 72 64 65 72 20 62 79 20  ROM t1 order by 
2970: 61 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b 4e 4f 54  a;.  }.} {1 {NOT
2980: 20 4e 55 4c 4c 20 63 6f 6e 73 74 72 61 69 6e 74   NULL constraint
2990: 20 66 61 69 6c 65 64 3a 20 74 31 2e 64 7d 7d 0a   failed: t1.d}}.
29a0: 76 65 72 69 66 79 5f 65 78 5f 65 72 72 63 6f 64  verify_ex_errcod
29b0: 65 20 6e 6f 74 6e 75 6c 6c 2d 33 2e 31 37 62 20  e notnull-3.17b 
29c0: 53 51 4c 49 54 45 5f 43 4f 4e 53 54 52 41 49 4e  SQLITE_CONSTRAIN
29d0: 54 5f 4e 4f 54 4e 55 4c 4c 0a 64 6f 5f 74 65 73  T_NOTNULL.do_tes
29e0: 74 20 6e 6f 74 6e 75 6c 6c 2d 33 2e 31 38 20 7b  t notnull-3.18 {
29f0: 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20  .  catchsql {.  
2a00: 20 20 44 45 4c 45 54 45 20 46 52 4f 4d 20 74 31    DELETE FROM t1
2a10: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 4f 52 20  ;.    INSERT OR 
2a20: 41 42 4f 52 54 20 49 4e 54 4f 20 74 31 28 61 2c  ABORT INTO t1(a,
2a30: 62 2c 63 2c 65 29 20 56 41 4c 55 45 53 28 31 2c  b,c,e) VALUES(1,
2a40: 32 2c 33 2c 35 29 3b 0a 20 20 20 20 53 45 4c 45  2,3,5);.    SELE
2a50: 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 6f 72 64  CT * FROM t1 ord
2a60: 65 72 20 62 79 20 61 3b 0a 20 20 7d 0a 7d 20 7b  er by a;.  }.} {
2a70: 30 20 7b 31 20 32 20 33 20 37 20 35 7d 7d 0a 64  0 {1 2 3 7 5}}.d
2a80: 6f 5f 74 65 73 74 20 6e 6f 74 6e 75 6c 6c 2d 33  o_test notnull-3
2a90: 2e 31 39 20 7b 0a 20 20 63 61 74 63 68 73 71 6c  .19 {.  catchsql
2aa0: 20 7b 0a 20 20 20 20 44 45 4c 45 54 45 20 46 52   {.    DELETE FR
2ab0: 4f 4d 20 74 31 3b 0a 20 20 20 20 49 4e 53 45 52  OM t1;.    INSER
2ac0: 54 20 49 4e 54 4f 20 74 31 28 61 2c 62 2c 63 2c  T INTO t1(a,b,c,
2ad0: 64 29 20 56 41 4c 55 45 53 28 31 2c 32 2c 33 2c  d) VALUES(1,2,3,
2ae0: 34 29 3b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a  4);.    SELECT *
2af0: 20 46 52 4f 4d 20 74 31 20 6f 72 64 65 72 20 62   FROM t1 order b
2b00: 79 20 61 3b 0a 20 20 7d 0a 7d 20 7b 30 20 7b 31  y a;.  }.} {0 {1
2b10: 20 32 20 33 20 34 20 38 7d 7d 0a 64 6f 5f 74 65   2 3 4 8}}.do_te
2b20: 73 74 20 6e 6f 74 6e 75 6c 6c 2d 33 2e 32 30 20  st notnull-3.20 
2b30: 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20  {.  catchsql {. 
2b40: 20 20 20 44 45 4c 45 54 45 20 46 52 4f 4d 20 74     DELETE FROM t
2b50: 31 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e  1;.    INSERT IN
2b60: 54 4f 20 74 31 28 61 2c 62 2c 63 2c 64 2c 65 29  TO t1(a,b,c,d,e)
2b70: 20 56 41 4c 55 45 53 28 31 2c 32 2c 33 2c 34 2c   VALUES(1,2,3,4,
2b80: 6e 75 6c 6c 29 3b 0a 20 20 20 20 53 45 4c 45 43  null);.    SELEC
2b90: 54 20 2a 20 46 52 4f 4d 20 74 31 20 6f 72 64 65  T * FROM t1 orde
2ba0: 72 20 62 79 20 61 3b 0a 20 20 7d 0a 7d 20 7b 31  r by a;.  }.} {1
2bb0: 20 7b 4e 4f 54 20 4e 55 4c 4c 20 63 6f 6e 73 74   {NOT NULL const
2bc0: 72 61 69 6e 74 20 66 61 69 6c 65 64 3a 20 74 31  raint failed: t1
2bd0: 2e 65 7d 7d 0a 76 65 72 69 66 79 5f 65 78 5f 65  .e}}.verify_ex_e
2be0: 72 72 63 6f 64 65 20 6e 6f 74 6e 75 6c 6c 2d 33  rrcode notnull-3
2bf0: 2e 32 30 62 20 53 51 4c 49 54 45 5f 43 4f 4e 53  .20b SQLITE_CONS
2c00: 54 52 41 49 4e 54 5f 4e 4f 54 4e 55 4c 4c 0a 64  TRAINT_NOTNULL.d
2c10: 6f 5f 74 65 73 74 20 6e 6f 74 6e 75 6c 6c 2d 33  o_test notnull-3
2c20: 2e 32 31 20 7b 0a 20 20 63 61 74 63 68 73 71 6c  .21 {.  catchsql
2c30: 20 7b 0a 20 20 20 20 44 45 4c 45 54 45 20 46 52   {.    DELETE FR
2c40: 4f 4d 20 74 31 3b 0a 20 20 20 20 49 4e 53 45 52  OM t1;.    INSER
2c50: 54 20 4f 52 20 52 45 50 4c 41 43 45 20 49 4e 54  T OR REPLACE INT
2c60: 4f 20 74 31 28 65 2c 64 2c 63 2c 62 2c 61 29 20  O t1(e,d,c,b,a) 
2c70: 56 41 4c 55 45 53 28 31 2c 32 2c 33 2c 6e 75 6c  VALUES(1,2,3,nul
2c80: 6c 2c 35 29 3b 0a 20 20 20 20 53 45 4c 45 43 54  l,5);.    SELECT
2c90: 20 2a 20 46 52 4f 4d 20 74 31 20 6f 72 64 65 72   * FROM t1 order
2ca0: 20 62 79 20 61 3b 0a 20 20 7d 0a 7d 20 7b 30 20   by a;.  }.} {0 
2cb0: 7b 35 20 35 20 33 20 32 20 31 7d 7d 0a 0a 64 6f  {5 5 3 2 1}}..do
2cc0: 5f 74 65 73 74 20 6e 6f 74 6e 75 6c 6c 2d 34 2e  _test notnull-4.
2cd0: 31 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b  1 {.  catchsql {
2ce0: 0a 20 20 20 20 44 45 4c 45 54 45 20 46 52 4f 4d  .    DELETE FROM
2cf0: 20 74 31 3b 0a 20 20 20 20 49 4e 53 45 52 54 20   t1;.    INSERT 
2d00: 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 31  INTO t1 VALUES(1
2d10: 2c 32 2c 33 2c 34 2c 35 29 3b 0a 20 20 20 20 55  ,2,3,4,5);.    U
2d20: 50 44 41 54 45 20 74 31 20 53 45 54 20 61 3d 6e  PDATE t1 SET a=n
2d30: 75 6c 6c 3b 0a 20 20 20 20 53 45 4c 45 43 54 20  ull;.    SELECT 
2d40: 2a 20 46 52 4f 4d 20 74 31 20 4f 52 44 45 52 20  * FROM t1 ORDER 
2d50: 42 59 20 61 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b  BY a;.  }.} {1 {
2d60: 4e 4f 54 20 4e 55 4c 4c 20 63 6f 6e 73 74 72 61  NOT NULL constra
2d70: 69 6e 74 20 66 61 69 6c 65 64 3a 20 74 31 2e 61  int failed: t1.a
2d80: 7d 7d 0a 76 65 72 69 66 79 5f 65 78 5f 65 72 72  }}.verify_ex_err
2d90: 63 6f 64 65 20 6e 6f 74 6e 75 6c 6c 2d 34 2e 31  code notnull-4.1
2da0: 62 20 53 51 4c 49 54 45 5f 43 4f 4e 53 54 52 41  b SQLITE_CONSTRA
2db0: 49 4e 54 5f 4e 4f 54 4e 55 4c 4c 0a 64 6f 5f 74  INT_NOTNULL.do_t
2dc0: 65 73 74 20 6e 6f 74 6e 75 6c 6c 2d 34 2e 32 20  est notnull-4.2 
2dd0: 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20  {.  catchsql {. 
2de0: 20 20 20 44 45 4c 45 54 45 20 46 52 4f 4d 20 74     DELETE FROM t
2df0: 31 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e  1;.    INSERT IN
2e00: 54 4f 20 74 31 20 56 41 4c 55 45 53 28 31 2c 32  TO t1 VALUES(1,2
2e10: 2c 33 2c 34 2c 35 29 3b 0a 20 20 20 20 55 50 44  ,3,4,5);.    UPD
2e20: 41 54 45 20 4f 52 20 52 45 50 4c 41 43 45 20 74  ATE OR REPLACE t
2e30: 31 20 53 45 54 20 61 3d 6e 75 6c 6c 3b 0a 20 20  1 SET a=null;.  
2e40: 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20    SELECT * FROM 
2e50: 74 31 20 4f 52 44 45 52 20 42 59 20 61 3b 0a 20  t1 ORDER BY a;. 
2e60: 20 7d 0a 7d 20 7b 31 20 7b 4e 4f 54 20 4e 55 4c   }.} {1 {NOT NUL
2e70: 4c 20 63 6f 6e 73 74 72 61 69 6e 74 20 66 61 69  L constraint fai
2e80: 6c 65 64 3a 20 74 31 2e 61 7d 7d 0a 76 65 72 69  led: t1.a}}.veri
2e90: 66 79 5f 65 78 5f 65 72 72 63 6f 64 65 20 6e 6f  fy_ex_errcode no
2ea0: 74 6e 75 6c 6c 2d 34 2e 32 62 20 53 51 4c 49 54  tnull-4.2b SQLIT
2eb0: 45 5f 43 4f 4e 53 54 52 41 49 4e 54 5f 4e 4f 54  E_CONSTRAINT_NOT
2ec0: 4e 55 4c 4c 0a 64 6f 5f 74 65 73 74 20 6e 6f 74  NULL.do_test not
2ed0: 6e 75 6c 6c 2d 34 2e 33 20 7b 0a 20 20 63 61 74  null-4.3 {.  cat
2ee0: 63 68 73 71 6c 20 7b 0a 20 20 20 20 44 45 4c 45  chsql {.    DELE
2ef0: 54 45 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20  TE FROM t1;.    
2f00: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56  INSERT INTO t1 V
2f10: 41 4c 55 45 53 28 31 2c 32 2c 33 2c 34 2c 35 29  ALUES(1,2,3,4,5)
2f20: 3b 0a 20 20 20 20 55 50 44 41 54 45 20 4f 52 20  ;.    UPDATE OR 
2f30: 49 47 4e 4f 52 45 20 74 31 20 53 45 54 20 61 3d  IGNORE t1 SET a=
2f40: 6e 75 6c 6c 3b 0a 20 20 20 20 53 45 4c 45 43 54  null;.    SELECT
2f50: 20 2a 20 46 52 4f 4d 20 74 31 20 4f 52 44 45 52   * FROM t1 ORDER
2f60: 20 42 59 20 61 3b 0a 20 20 7d 0a 7d 20 7b 30 20   BY a;.  }.} {0 
2f70: 7b 31 20 32 20 33 20 34 20 35 7d 7d 0a 64 6f 5f  {1 2 3 4 5}}.do_
2f80: 74 65 73 74 20 6e 6f 74 6e 75 6c 6c 2d 34 2e 34  test notnull-4.4
2f90: 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a   {.  catchsql {.
2fa0: 20 20 20 20 44 45 4c 45 54 45 20 46 52 4f 4d 20      DELETE FROM 
2fb0: 74 31 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  t1;.    INSERT I
2fc0: 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 31 2c  NTO t1 VALUES(1,
2fd0: 32 2c 33 2c 34 2c 35 29 3b 0a 20 20 20 20 55 50  2,3,4,5);.    UP
2fe0: 44 41 54 45 20 4f 52 20 41 42 4f 52 54 20 74 31  DATE OR ABORT t1
2ff0: 20 53 45 54 20 61 3d 6e 75 6c 6c 3b 0a 20 20 20   SET a=null;.   
3000: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74   SELECT * FROM t
3010: 31 20 4f 52 44 45 52 20 42 59 20 61 3b 0a 20 20  1 ORDER BY a;.  
3020: 7d 0a 7d 20 7b 31 20 7b 4e 4f 54 20 4e 55 4c 4c  }.} {1 {NOT NULL
3030: 20 63 6f 6e 73 74 72 61 69 6e 74 20 66 61 69 6c   constraint fail
3040: 65 64 3a 20 74 31 2e 61 7d 7d 0a 76 65 72 69 66  ed: t1.a}}.verif
3050: 79 5f 65 78 5f 65 72 72 63 6f 64 65 20 6e 6f 74  y_ex_errcode not
3060: 6e 75 6c 6c 2d 34 2e 34 62 20 53 51 4c 49 54 45  null-4.4b SQLITE
3070: 5f 43 4f 4e 53 54 52 41 49 4e 54 5f 4e 4f 54 4e  _CONSTRAINT_NOTN
3080: 55 4c 4c 0a 64 6f 5f 74 65 73 74 20 6e 6f 74 6e  ULL.do_test notn
3090: 75 6c 6c 2d 34 2e 35 20 7b 0a 20 20 63 61 74 63  ull-4.5 {.  catc
30a0: 68 73 71 6c 20 7b 0a 20 20 20 20 44 45 4c 45 54  hsql {.    DELET
30b0: 45 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 49  E FROM t1;.    I
30c0: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41  NSERT INTO t1 VA
30d0: 4c 55 45 53 28 31 2c 32 2c 33 2c 34 2c 35 29 3b  LUES(1,2,3,4,5);
30e0: 0a 20 20 20 20 55 50 44 41 54 45 20 74 31 20 53  .    UPDATE t1 S
30f0: 45 54 20 62 3d 6e 75 6c 6c 3b 0a 20 20 20 20 53  ET b=null;.    S
3100: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20  ELECT * FROM t1 
3110: 4f 52 44 45 52 20 42 59 20 61 3b 0a 20 20 7d 0a  ORDER BY a;.  }.
3120: 7d 20 7b 31 20 7b 4e 4f 54 20 4e 55 4c 4c 20 63  } {1 {NOT NULL c
3130: 6f 6e 73 74 72 61 69 6e 74 20 66 61 69 6c 65 64  onstraint failed
3140: 3a 20 74 31 2e 62 7d 7d 0a 76 65 72 69 66 79 5f  : t1.b}}.verify_
3150: 65 78 5f 65 72 72 63 6f 64 65 20 6e 6f 74 6e 75  ex_errcode notnu
3160: 6c 6c 2d 34 2e 35 62 20 53 51 4c 49 54 45 5f 43  ll-4.5b SQLITE_C
3170: 4f 4e 53 54 52 41 49 4e 54 5f 4e 4f 54 4e 55 4c  ONSTRAINT_NOTNUL
3180: 4c 0a 64 6f 5f 74 65 73 74 20 6e 6f 74 6e 75 6c  L.do_test notnul
3190: 6c 2d 34 2e 36 20 7b 0a 20 20 63 61 74 63 68 73  l-4.6 {.  catchs
31a0: 71 6c 20 7b 0a 20 20 20 20 44 45 4c 45 54 45 20  ql {.    DELETE 
31b0: 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 49 4e 53  FROM t1;.    INS
31c0: 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55  ERT INTO t1 VALU
31d0: 45 53 28 31 2c 32 2c 33 2c 34 2c 35 29 3b 0a 20  ES(1,2,3,4,5);. 
31e0: 20 20 20 55 50 44 41 54 45 20 4f 52 20 52 45 50     UPDATE OR REP
31f0: 4c 41 43 45 20 74 31 20 53 45 54 20 62 3d 6e 75  LACE t1 SET b=nu
3200: 6c 6c 2c 20 64 3d 65 2c 20 65 3d 64 3b 0a 20 20  ll, d=e, e=d;.  
3210: 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20    SELECT * FROM 
3220: 74 31 20 4f 52 44 45 52 20 42 59 20 61 3b 0a 20  t1 ORDER BY a;. 
3230: 20 7d 0a 7d 20 7b 30 20 7b 31 20 35 20 33 20 35   }.} {0 {1 5 3 5
3240: 20 34 7d 7d 0a 64 6f 5f 74 65 73 74 20 6e 6f 74   4}}.do_test not
3250: 6e 75 6c 6c 2d 34 2e 37 20 7b 0a 20 20 63 61 74  null-4.7 {.  cat
3260: 63 68 73 71 6c 20 7b 0a 20 20 20 20 44 45 4c 45  chsql {.    DELE
3270: 54 45 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20  TE FROM t1;.    
3280: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56  INSERT INTO t1 V
3290: 41 4c 55 45 53 28 31 2c 32 2c 33 2c 34 2c 35 29  ALUES(1,2,3,4,5)
32a0: 3b 0a 20 20 20 20 55 50 44 41 54 45 20 4f 52 20  ;.    UPDATE OR 
32b0: 49 47 4e 4f 52 45 20 74 31 20 53 45 54 20 62 3d  IGNORE t1 SET b=
32c0: 6e 75 6c 6c 2c 20 64 3d 65 2c 20 65 3d 64 3b 0a  null, d=e, e=d;.
32d0: 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f      SELECT * FRO
32e0: 4d 20 74 31 20 4f 52 44 45 52 20 42 59 20 61 3b  M t1 ORDER BY a;
32f0: 0a 20 20 7d 0a 7d 20 7b 30 20 7b 31 20 32 20 33  .  }.} {0 {1 2 3
3300: 20 34 20 35 7d 7d 0a 64 6f 5f 74 65 73 74 20 6e   4 5}}.do_test n
3310: 6f 74 6e 75 6c 6c 2d 34 2e 38 20 7b 0a 20 20 63  otnull-4.8 {.  c
3320: 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 44 45  atchsql {.    DE
3330: 4c 45 54 45 20 46 52 4f 4d 20 74 31 3b 0a 20 20  LETE FROM t1;.  
3340: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31    INSERT INTO t1
3350: 20 56 41 4c 55 45 53 28 31 2c 32 2c 33 2c 34 2c   VALUES(1,2,3,4,
3360: 35 29 3b 0a 20 20 20 20 55 50 44 41 54 45 20 74  5);.    UPDATE t
3370: 31 20 53 45 54 20 63 3d 6e 75 6c 6c 2c 20 64 3d  1 SET c=null, d=
3380: 65 2c 20 65 3d 64 3b 0a 20 20 20 20 53 45 4c 45  e, e=d;.    SELE
3390: 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 4f 52 44  CT * FROM t1 ORD
33a0: 45 52 20 42 59 20 61 3b 0a 20 20 7d 0a 7d 20 7b  ER BY a;.  }.} {
33b0: 30 20 7b 31 20 32 20 36 20 35 20 34 7d 7d 0a 64  0 {1 2 6 5 4}}.d
33c0: 6f 5f 74 65 73 74 20 6e 6f 74 6e 75 6c 6c 2d 34  o_test notnull-4
33d0: 2e 39 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20  .9 {.  catchsql 
33e0: 7b 0a 20 20 20 20 44 45 4c 45 54 45 20 46 52 4f  {.    DELETE FRO
33f0: 4d 20 74 31 3b 0a 20 20 20 20 49 4e 53 45 52 54  M t1;.    INSERT
3400: 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28   INTO t1 VALUES(
3410: 31 2c 32 2c 33 2c 34 2c 35 29 3b 0a 20 20 20 20  1,2,3,4,5);.    
3420: 55 50 44 41 54 45 20 74 31 20 53 45 54 20 64 3d  UPDATE t1 SET d=
3430: 6e 75 6c 6c 2c 20 61 3d 62 2c 20 62 3d 61 3b 0a  null, a=b, b=a;.
3440: 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f      SELECT * FRO
3450: 4d 20 74 31 20 4f 52 44 45 52 20 42 59 20 61 3b  M t1 ORDER BY a;
3460: 0a 20 20 7d 0a 7d 20 7b 30 20 7b 31 20 32 20 33  .  }.} {0 {1 2 3
3470: 20 34 20 35 7d 7d 0a 64 6f 5f 74 65 73 74 20 6e   4 5}}.do_test n
3480: 6f 74 6e 75 6c 6c 2d 34 2e 31 30 20 7b 0a 20 20  otnull-4.10 {.  
3490: 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 44  catchsql {.    D
34a0: 45 4c 45 54 45 20 46 52 4f 4d 20 74 31 3b 0a 20  ELETE FROM t1;. 
34b0: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
34c0: 31 20 56 41 4c 55 45 53 28 31 2c 32 2c 33 2c 34  1 VALUES(1,2,3,4
34d0: 2c 35 29 3b 0a 20 20 20 20 55 50 44 41 54 45 20  ,5);.    UPDATE 
34e0: 74 31 20 53 45 54 20 65 3d 6e 75 6c 6c 2c 20 61  t1 SET e=null, a
34f0: 3d 62 2c 20 62 3d 61 3b 0a 20 20 20 20 53 45 4c  =b, b=a;.    SEL
3500: 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 4f 52  ECT * FROM t1 OR
3510: 44 45 52 20 42 59 20 61 3b 0a 20 20 7d 0a 7d 20  DER BY a;.  }.} 
3520: 7b 31 20 7b 4e 4f 54 20 4e 55 4c 4c 20 63 6f 6e  {1 {NOT NULL con
3530: 73 74 72 61 69 6e 74 20 66 61 69 6c 65 64 3a 20  straint failed: 
3540: 74 31 2e 65 7d 7d 0a 76 65 72 69 66 79 5f 65 78  t1.e}}.verify_ex
3550: 5f 65 72 72 63 6f 64 65 20 6e 6f 74 6e 75 6c 6c  _errcode notnull
3560: 2d 34 2e 31 30 62 20 53 51 4c 49 54 45 5f 43 4f  -4.10b SQLITE_CO
3570: 4e 53 54 52 41 49 4e 54 5f 4e 4f 54 4e 55 4c 4c  NSTRAINT_NOTNULL
3580: 0a 0a 23 20 54 65 73 74 20 74 68 61 74 20 62 75  ..# Test that bu
3590: 67 20 32 39 61 62 37 62 65 39 39 66 20 69 73 20  g 29ab7be99f is 
35a0: 66 69 78 65 64 2e 0a 23 0a 64 6f 5f 74 65 73 74  fixed..#.do_test
35b0: 20 6e 6f 74 6e 75 6c 6c 2d 35 2e 31 20 7b 0a 20   notnull-5.1 {. 
35c0: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 44   execsql {.    D
35d0: 52 4f 50 20 54 41 42 4c 45 20 49 46 20 45 58 49  ROP TABLE IF EXI
35e0: 53 54 53 20 74 31 3b 0a 20 20 20 20 43 52 45 41  STS t1;.    CREA
35f0: 54 45 20 54 41 42 4c 45 20 74 31 28 61 2c 20 62  TE TABLE t1(a, b
3600: 20 4e 4f 54 20 4e 55 4c 4c 29 3b 0a 20 20 20 20   NOT NULL);.    
3610: 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 32 28  CREATE TABLE t2(
3620: 63 2c 20 64 29 3b 0a 20 20 20 20 49 4e 53 45 52  c, d);.    INSER
3630: 54 20 49 4e 54 4f 20 74 32 20 56 41 4c 55 45 53  T INTO t2 VALUES
3640: 28 33 2c 20 34 29 3b 0a 20 20 20 20 49 4e 53 45  (3, 4);.    INSE
3650: 52 54 20 49 4e 54 4f 20 74 32 20 56 41 4c 55 45  RT INTO t2 VALUE
3660: 53 28 35 2c 20 4e 55 4c 4c 29 3b 0a 20 20 7d 0a  S(5, NULL);.  }.
3670: 7d 20 20 7b 7d 0a 64 6f 5f 74 65 73 74 20 6e 6f  }  {}.do_test no
3680: 74 6e 75 6c 6c 2d 35 2e 32 20 7b 0a 20 20 63 61  tnull-5.2 {.  ca
3690: 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 49 4e 53  tchsql {.    INS
36a0: 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55  ERT INTO t1 VALU
36b0: 45 53 28 31 2c 20 32 29 3b 0a 20 20 20 20 49 4e  ES(1, 2);.    IN
36c0: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c  SERT INTO t1 SEL
36d0: 45 43 54 20 2a 20 46 52 4f 4d 20 74 32 3b 0a 20  ECT * FROM t2;. 
36e0: 20 7d 0a 7d 20 7b 31 20 7b 4e 4f 54 20 4e 55 4c   }.} {1 {NOT NUL
36f0: 4c 20 63 6f 6e 73 74 72 61 69 6e 74 20 66 61 69  L constraint fai
3700: 6c 65 64 3a 20 74 31 2e 62 7d 7d 0a 76 65 72 69  led: t1.b}}.veri
3710: 66 79 5f 65 78 5f 65 72 72 63 6f 64 65 20 6e 6f  fy_ex_errcode no
3720: 74 6e 75 6c 6c 2d 35 2e 32 62 20 53 51 4c 49 54  tnull-5.2b SQLIT
3730: 45 5f 43 4f 4e 53 54 52 41 49 4e 54 5f 4e 4f 54  E_CONSTRAINT_NOT
3740: 4e 55 4c 4c 0a 64 6f 5f 74 65 73 74 20 6e 6f 74  NULL.do_test not
3750: 6e 75 6c 6c 2d 35 2e 33 20 7b 0a 20 20 65 78 65  null-5.3 {.  exe
3760: 63 73 71 6c 20 7b 20 53 45 4c 45 43 54 20 2a 20  csql { SELECT * 
3770: 46 52 4f 4d 20 74 31 20 7d 0a 7d 20 7b 31 20 32  FROM t1 }.} {1 2
3780: 7d 0a 64 6f 5f 74 65 73 74 20 6e 6f 74 6e 75 6c  }.do_test notnul
3790: 6c 2d 35 2e 34 20 7b 0a 20 20 63 61 74 63 68 73  l-5.4 {.  catchs
37a0: 71 6c 20 7b 0a 20 20 20 20 44 45 4c 45 54 45 20  ql {.    DELETE 
37b0: 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 42 45 47  FROM t1;.    BEG
37c0: 49 4e 3b 0a 20 20 20 20 20 20 49 4e 53 45 52 54  IN;.      INSERT
37d0: 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28   INTO t1 VALUES(
37e0: 31 2c 20 32 29 3b 0a 20 20 20 20 20 20 49 4e 53  1, 2);.      INS
37f0: 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45  ERT INTO t1 SELE
3800: 43 54 20 2a 20 46 52 4f 4d 20 74 32 3b 0a 20 20  CT * FROM t2;.  
3810: 20 20 43 4f 4d 4d 49 54 3b 0a 20 20 7d 0a 7d 20    COMMIT;.  }.} 
3820: 7b 31 20 7b 4e 4f 54 20 4e 55 4c 4c 20 63 6f 6e  {1 {NOT NULL con
3830: 73 74 72 61 69 6e 74 20 66 61 69 6c 65 64 3a 20  straint failed: 
3840: 74 31 2e 62 7d 7d 0a 76 65 72 69 66 79 5f 65 78  t1.b}}.verify_ex
3850: 5f 65 72 72 63 6f 64 65 20 6e 6f 74 6e 75 6c 6c  _errcode notnull
3860: 2d 35 2e 34 62 20 53 51 4c 49 54 45 5f 43 4f 4e  -5.4b SQLITE_CON
3870: 53 54 52 41 49 4e 54 5f 4e 4f 54 4e 55 4c 4c 0a  STRAINT_NOTNULL.
3880: 64 6f 5f 74 65 73 74 20 6e 6f 74 6e 75 6c 6c 2d  do_test notnull-
3890: 35 2e 35 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  5.5 {.  execsql 
38a0: 7b 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20  { SELECT * FROM 
38b0: 74 31 20 7d 0a 7d 20 7b 31 20 32 7d 0a 0a 23 2d  t1 }.} {1 2}..#-
38c0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
38d0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
38e0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
38f0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
3900: 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 43 68 65 63 6b  --------.# Check
3910: 20 74 68 61 74 20 55 4e 49 51 55 45 20 4e 4f 54   that UNIQUE NOT
3920: 20 4e 55 4c 4c 20 69 6e 64 65 78 65 73 20 61 72   NULL indexes ar
3930: 65 20 61 6c 77 61 79 73 20 72 65 63 6f 67 6e 69  e always recogni
3940: 7a 65 64 20 61 73 20 73 75 63 68 2e 0a 23 0a 70  zed as such..#.p
3950: 72 6f 63 20 75 73 65 73 5f 6f 70 5f 6e 65 78 74  roc uses_op_next
3960: 20 7b 73 71 6c 7d 20 7b 0a 20 20 64 62 20 65 76   {sql} {.  db ev
3970: 61 6c 20 22 45 58 50 4c 41 49 4e 20 24 73 71 6c  al "EXPLAIN $sql
3980: 22 20 61 20 7b 0a 20 20 20 20 69 66 20 7b 24 61  " a {.    if {$a
3990: 28 6f 70 63 6f 64 65 29 3d 3d 22 4e 65 78 74 22  (opcode)=="Next"
39a0: 7d 20 7b 20 72 65 74 75 72 6e 20 31 20 7d 0a 20  } { return 1 }. 
39b0: 20 7d 0a 20 20 72 65 74 75 72 6e 20 30 0a 7d 0a   }.  return 0.}.
39c0: 0a 70 72 6f 63 20 64 6f 5f 75 73 65 73 5f 6f 70  .proc do_uses_op
39d0: 5f 6e 65 78 74 5f 74 65 73 74 20 7b 74 6e 20 73  _next_test {tn s
39e0: 71 6c 20 72 65 73 7d 20 7b 0a 20 20 75 70 6c 65  ql res} {.  uple
39f0: 76 65 6c 20 5b 6c 69 73 74 20 64 6f 5f 74 65 73  vel [list do_tes
3a00: 74 20 24 74 6e 20 5b 6c 69 73 74 20 75 73 65 73  t $tn [list uses
3a10: 5f 6f 70 5f 6e 65 78 74 20 24 73 71 6c 5d 20 24  _op_next $sql] $
3a20: 72 65 73 5d 0a 7d 0a 0a 72 65 73 65 74 5f 64 62  res].}..reset_db
3a30: 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74  .do_execsql_test
3a40: 20 6e 6f 74 6e 75 6c 6c 2d 36 2e 30 20 7b 0a 20   notnull-6.0 {. 
3a50: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 31   CREATE TABLE t1
3a60: 28 61 20 55 4e 49 51 55 45 29 3b 0a 20 20 43 52  (a UNIQUE);.  CR
3a70: 45 41 54 45 20 54 41 42 4c 45 20 74 32 28 61 20  EATE TABLE t2(a 
3a80: 4e 4f 54 20 4e 55 4c 4c 20 55 4e 49 51 55 45 29  NOT NULL UNIQUE)
3a90: 3b 0a 20 20 43 52 45 41 54 45 20 54 41 42 4c 45  ;.  CREATE TABLE
3aa0: 20 74 33 28 61 20 55 4e 49 51 55 45 20 4e 4f 54   t3(a UNIQUE NOT
3ab0: 20 4e 55 4c 4c 29 3b 0a 20 20 43 52 45 41 54 45   NULL);.  CREATE
3ac0: 20 54 41 42 4c 45 20 74 34 28 61 20 4e 4f 54 20   TABLE t4(a NOT 
3ad0: 4e 55 4c 4c 29 3b 0a 20 20 43 52 45 41 54 45 20  NULL);.  CREATE 
3ae0: 55 4e 49 51 55 45 20 49 4e 44 45 58 20 74 34 61  UNIQUE INDEX t4a
3af0: 20 4f 4e 20 74 34 28 61 29 3b 0a 0a 20 20 43 52   ON t4(a);..  CR
3b00: 45 41 54 45 20 54 41 42 4c 45 20 74 35 28 61 20  EATE TABLE t5(a 
3b10: 50 52 49 4d 41 52 59 20 4b 45 59 29 3b 0a 20 20  PRIMARY KEY);.  
3b20: 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 36 28  CREATE TABLE t6(
3b30: 61 20 50 52 49 4d 41 52 59 20 4b 45 59 20 4e 4f  a PRIMARY KEY NO
3b40: 54 20 4e 55 4c 4c 29 3b 0a 20 20 43 52 45 41 54  T NULL);.  CREAT
3b50: 45 20 54 41 42 4c 45 20 74 37 28 61 20 4e 4f 54  E TABLE t7(a NOT
3b60: 20 4e 55 4c 4c 20 50 52 49 4d 41 52 59 20 4b 45   NULL PRIMARY KE
3b70: 59 29 3b 0a 20 20 43 52 45 41 54 45 20 54 41 42  Y);.  CREATE TAB
3b80: 4c 45 20 74 38 28 61 20 50 52 49 4d 41 52 59 20  LE t8(a PRIMARY 
3b90: 4b 45 59 29 20 57 49 54 48 4f 55 54 20 52 4f 57  KEY) WITHOUT ROW
3ba0: 49 44 3b 0a 0a 20 20 43 52 45 41 54 45 20 54 41  ID;..  CREATE TA
3bb0: 42 4c 45 20 74 39 28 61 20 50 52 49 4d 41 52 59  BLE t9(a PRIMARY
3bc0: 20 4b 45 59 20 55 4e 49 51 55 45 20 4e 4f 54 20   KEY UNIQUE NOT 
3bd0: 4e 55 4c 4c 29 3b 0a 20 20 43 52 45 41 54 45 20  NULL);.  CREATE 
3be0: 54 41 42 4c 45 20 74 31 30 28 61 20 55 4e 49 51  TABLE t10(a UNIQ
3bf0: 55 45 20 50 52 49 4d 41 52 59 20 4b 45 59 20 4e  UE PRIMARY KEY N
3c00: 4f 54 20 4e 55 4c 4c 29 3b 0a 7d 0a 0a 64 6f 5f  OT NULL);.}..do_
3c10: 75 73 65 73 5f 6f 70 5f 6e 65 78 74 5f 74 65 73  uses_op_next_tes
3c20: 74 20 6e 6f 74 6e 75 6c 6c 2d 36 2e 31 20 22 53  t notnull-6.1 "S
3c30: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20  ELECT * FROM t1 
3c40: 57 48 45 52 45 20 61 20 49 53 20 3f 22 20 31 0a  WHERE a IS ?" 1.
3c50: 64 6f 5f 75 73 65 73 5f 6f 70 5f 6e 65 78 74 5f  do_uses_op_next_
3c60: 74 65 73 74 20 6e 6f 74 6e 75 6c 6c 2d 36 2e 32  test notnull-6.2
3c70: 20 22 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20   "SELECT * FROM 
3c80: 74 32 20 57 48 45 52 45 20 61 20 49 53 20 3f 22  t2 WHERE a IS ?"
3c90: 20 30 0a 64 6f 5f 75 73 65 73 5f 6f 70 5f 6e 65   0.do_uses_op_ne
3ca0: 78 74 5f 74 65 73 74 20 6e 6f 74 6e 75 6c 6c 2d  xt_test notnull-
3cb0: 36 2e 33 20 22 53 45 4c 45 43 54 20 2a 20 46 52  6.3 "SELECT * FR
3cc0: 4f 4d 20 74 33 20 57 48 45 52 45 20 61 20 49 53  OM t3 WHERE a IS
3cd0: 20 3f 22 20 30 0a 64 6f 5f 75 73 65 73 5f 6f 70   ?" 0.do_uses_op
3ce0: 5f 6e 65 78 74 5f 74 65 73 74 20 6e 6f 74 6e 75  _next_test notnu
3cf0: 6c 6c 2d 36 2e 34 20 22 53 45 4c 45 43 54 20 2a  ll-6.4 "SELECT *
3d00: 20 46 52 4f 4d 20 74 34 20 57 48 45 52 45 20 61   FROM t4 WHERE a
3d10: 20 49 53 20 3f 22 20 30 0a 0a 64 6f 5f 75 73 65   IS ?" 0..do_use
3d20: 73 5f 6f 70 5f 6e 65 78 74 5f 74 65 73 74 20 6e  s_op_next_test n
3d30: 6f 74 6e 75 6c 6c 2d 36 2e 35 20 22 53 45 4c 45  otnull-6.5 "SELE
3d40: 43 54 20 2a 20 46 52 4f 4d 20 74 35 20 57 48 45  CT * FROM t5 WHE
3d50: 52 45 20 61 20 49 53 20 3f 22 20 31 0a 64 6f 5f  RE a IS ?" 1.do_
3d60: 75 73 65 73 5f 6f 70 5f 6e 65 78 74 5f 74 65 73  uses_op_next_tes
3d70: 74 20 6e 6f 74 6e 75 6c 6c 2d 36 2e 36 20 22 53  t notnull-6.6 "S
3d80: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 36 20  ELECT * FROM t6 
3d90: 57 48 45 52 45 20 61 20 49 53 20 3f 22 20 30 0a  WHERE a IS ?" 0.
3da0: 64 6f 5f 75 73 65 73 5f 6f 70 5f 6e 65 78 74 5f  do_uses_op_next_
3db0: 74 65 73 74 20 6e 6f 74 6e 75 6c 6c 2d 36 2e 37  test notnull-6.7
3dc0: 20 22 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20   "SELECT * FROM 
3dd0: 74 37 20 57 48 45 52 45 20 61 20 49 53 20 3f 22  t7 WHERE a IS ?"
3de0: 20 30 0a 64 6f 5f 75 73 65 73 5f 6f 70 5f 6e 65   0.do_uses_op_ne
3df0: 78 74 5f 74 65 73 74 20 6e 6f 74 6e 75 6c 6c 2d  xt_test notnull-
3e00: 36 2e 38 20 22 53 45 4c 45 43 54 20 2a 20 46 52  6.8 "SELECT * FR
3e10: 4f 4d 20 74 38 20 57 48 45 52 45 20 61 20 49 53  OM t8 WHERE a IS
3e20: 20 3f 22 20 30 0a 0a 64 6f 5f 75 73 65 73 5f 6f   ?" 0..do_uses_o
3e30: 70 5f 6e 65 78 74 5f 74 65 73 74 20 6e 6f 74 6e  p_next_test notn
3e40: 75 6c 6c 2d 36 2e 39 20 22 53 45 4c 45 43 54 20  ull-6.9 "SELECT 
3e50: 2a 20 46 52 4f 4d 20 74 38 20 57 48 45 52 45 20  * FROM t8 WHERE 
3e60: 61 20 49 53 20 3f 22 20 30 0a 64 6f 5f 75 73 65  a IS ?" 0.do_use
3e70: 73 5f 6f 70 5f 6e 65 78 74 5f 74 65 73 74 20 6e  s_op_next_test n
3e80: 6f 74 6e 75 6c 6c 2d 36 2e 31 30 20 22 53 45 4c  otnull-6.10 "SEL
3e90: 45 43 54 20 2a 20 46 52 4f 4d 20 74 38 20 57 48  ECT * FROM t8 WH
3ea0: 45 52 45 20 61 20 49 53 20 3f 22 20 30 0a 0a 66  ERE a IS ?" 0..f
3eb0: 69 6e 69 73 68 5f 74 65 73 74 0a 0a              inish_test..