SQLite: Hex Artifact Content

Artifact 24076d43d3449f12f25503909ca4bfb5fc5fefd5af1f930723a496343eb28454:

File test/fkey7.test — part of check-in [465350e5] at 2017-11-27 17:56:14 on branch trunk — Fix a faulty NEVER assert() that could fail for SQLITE_ENABLE_STAT4 builds that use foreign keys. (user: dan size: 2273) [more...]
0000: 23 20 32 30 30 31 20 53 65 70 74 65 6d 62 65 72  # 2001 September
0010: 20 31 35 0a 23 0a 23 20 54 68 65 20 61 75 74 68   15.#.# The auth
0020: 6f 72 20 64 69 73 63 6c 61 69 6d 73 20 63 6f 70  or disclaims cop
0030: 79 72 69 67 68 74 20 74 6f 20 74 68 69 73 20 73  yright to this s
0040: 6f 75 72 63 65 20 63 6f 64 65 2e 20 20 49 6e 20  ource code.  In 
0050: 70 6c 61 63 65 20 6f 66 0a 23 20 61 20 6c 65 67  place of.# a leg
0060: 61 6c 20 6e 6f 74 69 63 65 2c 20 68 65 72 65 20  al notice, here 
0070: 69 73 20 61 20 62 6c 65 73 73 69 6e 67 3a 0a 23  is a blessing:.#
0080: 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 64 6f  .#    May you do
0090: 20 67 6f 6f 64 20 61 6e 64 20 6e 6f 74 20 65 76   good and not ev
00a0: 69 6c 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75  il..#    May you
00b0: 20 66 69 6e 64 20 66 6f 72 67 69 76 65 6e 65 73   find forgivenes
00c0: 73 20 66 6f 72 20 79 6f 75 72 73 65 6c 66 20 61  s for yourself a
00d0: 6e 64 20 66 6f 72 67 69 76 65 20 6f 74 68 65 72  nd forgive other
00e0: 73 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20  s..#    May you 
00f0: 73 68 61 72 65 20 66 72 65 65 6c 79 2c 20 6e 65  share freely, ne
0100: 76 65 72 20 74 61 6b 69 6e 67 20 6d 6f 72 65 20  ver taking more 
0110: 74 68 61 6e 20 79 6f 75 20 67 69 76 65 2e 0a 23  than you give..#
0120: 0a 23 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 2a 2a 0a 23 20 54 68 69 73  *********.# This
0170: 20 66 69 6c 65 20 69 6d 70 6c 65 6d 65 6e 74 73   file implements
0180: 20 72 65 67 72 65 73 73 69 6f 6e 20 74 65 73 74   regression test
0190: 73 20 66 6f 72 20 53 51 4c 69 74 65 20 6c 69 62  s for SQLite lib
01a0: 72 61 72 79 2e 0a 23 0a 23 20 54 68 69 73 20 66  rary..#.# This f
01b0: 69 6c 65 20 69 6d 70 6c 65 6d 65 6e 74 73 20 74  ile implements t
01c0: 65 73 74 73 20 66 6f 72 20 66 6f 72 65 69 67 6e  ests for foreign
01d0: 20 6b 65 79 73 2e 0a 23 0a 0a 73 65 74 20 74 65   keys..#..set te
01e0: 73 74 64 69 72 20 5b 66 69 6c 65 20 64 69 72 6e  stdir [file dirn
01f0: 61 6d 65 20 24 61 72 67 76 30 5d 0a 73 6f 75 72  ame $argv0].sour
0200: 63 65 20 24 74 65 73 74 64 69 72 2f 74 65 73 74  ce $testdir/test
0210: 65 72 2e 74 63 6c 0a 73 65 74 20 74 65 73 74 70  er.tcl.set testp
0220: 72 65 66 69 78 20 66 6b 65 79 37 0a 0a 69 66 63  refix fkey7..ifc
0230: 61 70 61 62 6c 65 20 7b 21 66 6f 72 65 69 67 6e  apable {!foreign
0240: 6b 65 79 7d 20 7b 0a 20 20 66 69 6e 69 73 68 5f  key} {.  finish_
0250: 74 65 73 74 0a 20 20 72 65 74 75 72 6e 0a 7d 0a  test.  return.}.
0260: 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74  .do_execsql_test
0270: 20 31 2e 31 20 7b 0a 20 20 50 52 41 47 4d 41 20   1.1 {.  PRAGMA 
0280: 66 6f 72 65 69 67 6e 5f 6b 65 79 73 20 3d 20 31  foreign_keys = 1
0290: 3b 0a 0a 20 20 43 52 45 41 54 45 20 54 41 42 4c  ;..  CREATE TABL
02a0: 45 20 73 31 28 61 20 50 52 49 4d 41 52 59 20 4b  E s1(a PRIMARY K
02b0: 45 59 2c 20 62 29 3b 0a 20 20 43 52 45 41 54 45  EY, b);.  CREATE
02c0: 20 54 41 42 4c 45 20 70 61 72 28 61 2c 20 62 20   TABLE par(a, b 
02d0: 52 45 46 45 52 45 4e 43 45 53 20 73 31 2c 20 63  REFERENCES s1, c
02e0: 20 55 4e 49 51 55 45 2c 20 50 52 49 4d 41 52 59   UNIQUE, PRIMARY
02f0: 20 4b 45 59 28 61 29 29 3b 0a 0a 20 20 43 52 45   KEY(a));..  CRE
0300: 41 54 45 20 54 41 42 4c 45 20 63 31 28 61 2c 20  ATE TABLE c1(a, 
0310: 62 20 52 45 46 45 52 45 4e 43 45 53 20 70 61 72  b REFERENCES par
0320: 29 3b 0a 20 20 43 52 45 41 54 45 20 54 41 42 4c  );.  CREATE TABL
0330: 45 20 63 32 28 61 2c 20 62 20 52 45 46 45 52 45  E c2(a, b REFERE
0340: 4e 43 45 53 20 70 61 72 29 3b 0a 20 20 43 52 45  NCES par);.  CRE
0350: 41 54 45 20 54 41 42 4c 45 20 63 33 28 61 2c 20  ATE TABLE c3(a, 
0360: 62 20 52 45 46 45 52 45 4e 43 45 53 20 70 61 72  b REFERENCES par
0370: 28 63 29 29 3b 0a 7d 0a 0a 70 72 6f 63 20 61 75  (c));.}..proc au
0380: 74 68 20 7b 6f 70 20 74 62 6c 20 61 72 67 73 7d  th {op tbl args}
0390: 20 7b 0a 20 20 69 66 20 7b 24 6f 70 20 3d 3d 20   {.  if {$op == 
03a0: 22 53 51 4c 49 54 45 5f 52 45 41 44 22 7d 20 7b  "SQLITE_READ"} {
03b0: 20 73 65 74 20 3a 3a 74 62 6c 73 28 24 74 62 6c   set ::tbls($tbl
03c0: 29 20 31 20 7d 0a 20 20 72 65 74 75 72 6e 20 22  ) 1 }.  return "
03d0: 53 51 4c 49 54 45 5f 4f 4b 22 0a 7d 0a 64 62 20  SQLITE_OK".}.db 
03e0: 61 75 74 68 20 61 75 74 68 0a 64 62 20 63 61 63  auth auth.db cac
03f0: 68 65 20 73 69 7a 65 20 30 0a 70 72 6f 63 20 64  he size 0.proc d
0400: 6f 5f 74 62 6c 73 72 65 61 64 5f 74 65 73 74 20  o_tblsread_test 
0410: 7b 74 6e 20 73 71 6c 20 74 62 6c 6c 69 73 74 7d  {tn sql tbllist}
0420: 20 7b 0a 20 20 61 72 72 61 79 20 75 6e 73 65 74   {.  array unset
0430: 20 3a 3a 74 62 6c 73 0a 20 20 75 70 6c 65 76 65   ::tbls.  upleve
0440: 6c 20 5b 6c 69 73 74 20 65 78 65 63 73 71 6c 20  l [list execsql 
0450: 24 73 71 6c 5d 0a 20 20 75 70 6c 65 76 65 6c 20  $sql].  uplevel 
0460: 5b 6c 69 73 74 20 64 6f 5f 74 65 73 74 20 24 74  [list do_test $t
0470: 6e 20 7b 6c 73 6f 72 74 20 5b 61 72 72 61 79 20  n {lsort [array 
0480: 6e 61 6d 65 73 20 3a 3a 74 62 6c 73 5d 7d 20 24  names ::tbls]} $
0490: 74 62 6c 6c 69 73 74 5d 0a 7d 0a 0a 64 6f 5f 74  tbllist].}..do_t
04a0: 62 6c 73 72 65 61 64 5f 74 65 73 74 20 31 2e 32  blsread_test 1.2
04b0: 20 7b 20 55 50 44 41 54 45 20 70 61 72 20 53 45   { UPDATE par SE
04c0: 54 20 62 3d 3f 20 57 48 45 52 45 20 61 3d 3f 20  T b=? WHERE a=? 
04d0: 7d 20 7b 70 61 72 20 73 31 7d 0a 64 6f 5f 74 62  } {par s1}.do_tb
04e0: 6c 73 72 65 61 64 5f 74 65 73 74 20 31 2e 33 20  lsread_test 1.3 
04f0: 7b 20 55 50 44 41 54 45 20 70 61 72 20 53 45 54  { UPDATE par SET
0500: 20 61 3d 3f 20 57 48 45 52 45 20 62 3d 3f 20 7d   a=? WHERE b=? }
0510: 20 7b 63 31 20 63 32 20 70 61 72 7d 0a 64 6f 5f   {c1 c2 par}.do_
0520: 74 62 6c 73 72 65 61 64 5f 74 65 73 74 20 31 2e  tblsread_test 1.
0530: 34 20 7b 20 55 50 44 41 54 45 20 70 61 72 20 53  4 { UPDATE par S
0540: 45 54 20 63 3d 3f 20 57 48 45 52 45 20 62 3d 3f  ET c=? WHERE b=?
0550: 20 7d 20 7b 63 33 20 70 61 72 7d 0a 64 6f 5f 74   } {c3 par}.do_t
0560: 62 6c 73 72 65 61 64 5f 74 65 73 74 20 31 2e 35  blsread_test 1.5
0570: 20 7b 20 55 50 44 41 54 45 20 70 61 72 20 53 45   { UPDATE par SE
0580: 54 20 61 3d 3f 2c 62 3d 3f 2c 63 3d 3f 20 57 48  T a=?,b=?,c=? WH
0590: 45 52 45 20 62 3d 3f 20 7d 20 7b 63 31 20 63 32  ERE b=? } {c1 c2
05a0: 20 63 33 20 70 61 72 20 73 31 7d 0a 0a 69 66 63   c3 par s1}..ifc
05b0: 61 70 61 62 6c 65 20 69 6e 63 72 62 6c 6f 62 20  apable incrblob 
05c0: 7b 0a 20 20 64 6f 5f 65 78 65 63 73 71 6c 5f 74  {.  do_execsql_t
05d0: 65 73 74 20 32 2e 30 20 7b 0a 20 20 20 20 43 52  est 2.0 {.    CR
05e0: 45 41 54 45 20 54 41 42 4c 45 20 70 58 28 78 20  EATE TABLE pX(x 
05f0: 50 52 49 4d 41 52 59 20 4b 45 59 29 3b 0a 20 20  PRIMARY KEY);.  
0600: 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 63    CREATE TABLE c
0610: 58 28 61 20 49 4e 54 45 47 45 52 20 50 52 49 4d  X(a INTEGER PRIM
0620: 41 52 59 20 4b 45 59 2c 20 62 20 52 45 46 45 52  ARY KEY, b REFER
0630: 45 4e 43 45 53 20 70 58 29 3b 0a 20 20 7d 0a 20  ENCES pX);.  }. 
0640: 20 0a 20 20 64 6f 5f 63 61 74 63 68 73 71 6c 5f   .  do_catchsql_
0650: 74 65 73 74 20 32 2e 31 20 7b 0a 20 20 20 20 49  test 2.1 {.    I
0660: 4e 53 45 52 54 20 49 4e 54 4f 20 63 58 20 56 41  NSERT INTO cX VA
0670: 4c 55 45 53 28 31 31 2c 20 7a 65 72 6f 62 6c 6f  LUES(11, zeroblo
0680: 62 28 34 30 29 29 3b 0a 20 20 7d 20 7b 31 20 7b  b(40));.  } {1 {
0690: 46 4f 52 45 49 47 4e 20 4b 45 59 20 63 6f 6e 73  FOREIGN KEY cons
06a0: 74 72 61 69 6e 74 20 66 61 69 6c 65 64 7d 7d 0a  traint failed}}.
06b0: 20 20 0a 20 20 64 6f 5f 74 65 73 74 20 32 2e 32    .  do_test 2.2
06c0: 20 7b 0a 20 20 20 20 73 65 74 20 73 74 6d 74 20   {.    set stmt 
06d0: 5b 73 71 6c 69 74 65 33 5f 70 72 65 70 61 72 65  [sqlite3_prepare
06e0: 5f 76 32 20 64 62 20 22 49 4e 53 45 52 54 20 49  _v2 db "INSERT I
06f0: 4e 54 4f 20 63 58 20 56 41 4c 55 45 53 28 31 31  NTO cX VALUES(11
0700: 2c 20 3f 29 22 20 2d 31 5d 0a 20 20 20 20 73 71  , ?)" -1].    sq
0710: 6c 69 74 65 33 5f 62 69 6e 64 5f 7a 65 72 6f 62  lite3_bind_zerob
0720: 6c 6f 62 20 24 73 74 6d 74 20 31 20 34 35 0a 20  lob $stmt 1 45. 
0730: 20 20 20 73 71 6c 69 74 65 33 5f 73 74 65 70 20     sqlite3_step 
0740: 24 73 74 6d 74 0a 20 20 20 20 73 71 6c 69 74 65  $stmt.    sqlite
0750: 33 5f 66 69 6e 61 6c 69 7a 65 20 24 73 74 6d 74  3_finalize $stmt
0760: 0a 20 20 7d 20 7b 53 51 4c 49 54 45 5f 43 4f 4e  .  } {SQLITE_CON
0770: 53 54 52 41 49 4e 54 7d 0a 7d 0a 0a 69 66 63 61  STRAINT}.}..ifca
0780: 70 61 62 6c 65 20 73 74 61 74 34 20 7b 0a 20 20  pable stat4 {.  
0790: 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20  do_execsql_test 
07a0: 33 2e 30 20 7b 0a 20 20 20 20 43 52 45 41 54 45  3.0 {.    CREATE
07b0: 20 54 41 42 4c 45 20 70 34 20 28 69 64 20 49 4e   TABLE p4 (id IN
07c0: 54 45 47 45 52 20 4e 4f 54 20 4e 55 4c 4c 20 50  TEGER NOT NULL P
07d0: 52 49 4d 41 52 59 20 4b 45 59 29 3b 0a 20 20 20  RIMARY KEY);.   
07e0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 70 34 20   INSERT INTO p4 
07f0: 56 41 4c 55 45 53 28 31 29 2c 20 28 32 29 2c 20  VALUES(1), (2), 
0800: 28 33 29 3b 0a 0a 20 20 20 20 43 52 45 41 54 45  (3);..    CREATE
0810: 20 54 41 42 4c 45 20 63 34 28 78 20 49 4e 54 45   TABLE c4(x INTE
0820: 47 45 52 20 52 45 46 45 52 45 4e 43 45 53 20 70  GER REFERENCES p
0830: 34 28 69 64 29 20 44 45 46 45 52 52 41 42 4c 45  4(id) DEFERRABLE
0840: 20 49 4e 49 54 49 41 4c 4c 59 20 44 45 46 45 52   INITIALLY DEFER
0850: 52 45 44 29 3b 0a 20 20 20 20 43 52 45 41 54 45  RED);.    CREATE
0860: 20 49 4e 44 45 58 20 63 34 5f 78 20 4f 4e 20 63   INDEX c4_x ON c
0870: 34 28 78 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  4(x);.    INSERT
0880: 20 49 4e 54 4f 20 63 34 20 56 41 4c 55 45 53 28   INTO c4 VALUES(
0890: 31 29 2c 20 28 32 29 2c 20 28 33 29 3b 0a 0a 20  1), (2), (3);.. 
08a0: 20 20 20 41 4e 41 4c 59 5a 45 3b 0a 20 20 20 20     ANALYZE;.    
08b0: 49 4e 53 45 52 54 20 49 4e 54 4f 20 70 34 28 69  INSERT INTO p4(i
08c0: 64 29 20 56 41 4c 55 45 53 28 34 29 3b 0a 20 20  d) VALUES(4);.  
08d0: 7d 0a 7d 0a 0a 66 69 6e 69 73 68 5f 74 65 73 74  }.}..finish_test
08e0: 0a                                               .