Artifact f05153c954f25e71a852e687d8f7eaa6a17df910:
File
src/verify.c
part of check-in
[61ddd63b72]
- Work toward making fossil work better on large repositories.
This version implements a cache in the content manager. It is not
clear yet if this is necessarily a good idea - this check-in might
end up on an abandoned branch at some point.
by
drh on
2008-03-06 22:58:48.
0000: 2f 2a 0a 2a 2a 20 43 6f 70 79 72 69 67 68 74 20 /*.** Copyright
0010: 28 63 29 20 32 30 30 37 20 44 2e 20 52 69 63 68 (c) 2007 D. Rich
0020: 61 72 64 20 48 69 70 70 0a 2a 2a 0a 2a 2a 20 54 ard Hipp.**.** T
0030: 68 69 73 20 70 72 6f 67 72 61 6d 20 69 73 20 66 his program is f
0040: 72 65 65 20 73 6f 66 74 77 61 72 65 3b 20 79 6f ree software; yo
0050: 75 20 63 61 6e 20 72 65 64 69 73 74 72 69 62 75 u can redistribu
0060: 74 65 20 69 74 20 61 6e 64 2f 6f 72 0a 2a 2a 20 te it and/or.**
0070: 6d 6f 64 69 66 79 20 69 74 20 75 6e 64 65 72 20 modify it under
0080: 74 68 65 20 74 65 72 6d 73 20 6f 66 20 74 68 65 the terms of the
0090: 20 47 4e 55 20 47 65 6e 65 72 61 6c 20 50 75 62 GNU General Pub
00a0: 6c 69 63 0a 2a 2a 20 4c 69 63 65 6e 73 65 20 76 lic.** License v
00b0: 65 72 73 69 6f 6e 20 32 20 61 73 20 70 75 62 6c ersion 2 as publ
00c0: 69 73 68 65 64 20 62 79 20 74 68 65 20 46 72 65 ished by the Fre
00d0: 65 20 53 6f 66 74 77 61 72 65 20 46 6f 75 6e 64 e Software Found
00e0: 61 74 69 6f 6e 2e 0a 2a 2a 0a 2a 2a 20 54 68 69 ation..**.** Thi
00f0: 73 20 70 72 6f 67 72 61 6d 20 69 73 20 64 69 73 s program is dis
0100: 74 72 69 62 75 74 65 64 20 69 6e 20 74 68 65 20 tributed in the
0110: 68 6f 70 65 20 74 68 61 74 20 69 74 20 77 69 6c hope that it wil
0120: 6c 20 62 65 20 75 73 65 66 75 6c 2c 0a 2a 2a 20 l be useful,.**
0130: 62 75 74 20 57 49 54 48 4f 55 54 20 41 4e 59 20 but WITHOUT ANY
0140: 57 41 52 52 41 4e 54 59 3b 20 77 69 74 68 6f 75 WARRANTY; withou
0150: 74 20 65 76 65 6e 20 74 68 65 20 69 6d 70 6c 69 t even the impli
0160: 65 64 20 77 61 72 72 61 6e 74 79 20 6f 66 0a 2a ed warranty of.*
0170: 2a 20 4d 45 52 43 48 41 4e 54 41 42 49 4c 49 54 * MERCHANTABILIT
0180: 59 20 6f 72 20 46 49 54 4e 45 53 53 20 46 4f 52 Y or FITNESS FOR
0190: 20 41 20 50 41 52 54 49 43 55 4c 41 52 20 50 55 A PARTICULAR PU
01a0: 52 50 4f 53 45 2e 20 20 53 65 65 20 74 68 65 20 RPOSE. See the
01b0: 47 4e 55 0a 2a 2a 20 47 65 6e 65 72 61 6c 20 50 GNU.** General P
01c0: 75 62 6c 69 63 20 4c 69 63 65 6e 73 65 20 66 6f ublic License fo
01d0: 72 20 6d 6f 72 65 20 64 65 74 61 69 6c 73 2e 0a r more details..
01e0: 2a 2a 20 0a 2a 2a 20 59 6f 75 20 73 68 6f 75 6c ** .** You shoul
01f0: 64 20 68 61 76 65 20 72 65 63 65 69 76 65 64 20 d have received
0200: 61 20 63 6f 70 79 20 6f 66 20 74 68 65 20 47 4e a copy of the GN
0210: 55 20 47 65 6e 65 72 61 6c 20 50 75 62 6c 69 63 U General Public
0220: 0a 2a 2a 20 4c 69 63 65 6e 73 65 20 61 6c 6f 6e .** License alon
0230: 67 20 77 69 74 68 20 74 68 69 73 20 6c 69 62 72 g with this libr
0240: 61 72 79 3b 20 69 66 20 6e 6f 74 2c 20 77 72 69 ary; if not, wri
0250: 74 65 20 74 6f 20 74 68 65 0a 2a 2a 20 46 72 65 te to the.** Fre
0260: 65 20 53 6f 66 74 77 61 72 65 20 46 6f 75 6e 64 e Software Found
0270: 61 74 69 6f 6e 2c 20 49 6e 63 2e 2c 20 35 39 20 ation, Inc., 59
0280: 54 65 6d 70 6c 65 20 50 6c 61 63 65 20 2d 20 53 Temple Place - S
0290: 75 69 74 65 20 33 33 30 2c 0a 2a 2a 20 42 6f 73 uite 330,.** Bos
02a0: 74 6f 6e 2c 20 4d 41 20 20 30 32 31 31 31 2d 31 ton, MA 02111-1
02b0: 33 30 37 2c 20 55 53 41 2e 0a 2a 2a 0a 2a 2a 20 307, USA..**.**
02c0: 41 75 74 68 6f 72 20 63 6f 6e 74 61 63 74 20 69 Author contact i
02d0: 6e 66 6f 72 6d 61 74 69 6f 6e 3a 0a 2a 2a 20 20 nformation:.**
02e0: 20 64 72 68 40 68 77 61 63 69 2e 63 6f 6d 0a 2a drh@hwaci.com.*
02f0: 2a 20 20 20 68 74 74 70 3a 2f 2f 77 77 77 2e 68 * http://www.h
0300: 77 61 63 69 2e 63 6f 6d 2f 64 72 68 2f 0a 2a 2a waci.com/drh/.**
0310: 0a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a .***************
0320: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a ****************
0330: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a ****************
0340: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a ****************
0350: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a ****************
0360: 0a 2a 2a 0a 2a 2a 20 54 68 69 73 20 66 69 6c 65 .**.** This file
0370: 20 63 6f 6e 74 61 69 6e 73 20 63 6f 64 65 20 75 contains code u
0380: 73 65 64 20 74 6f 20 68 65 6c 70 20 76 65 72 69 sed to help veri
0390: 66 79 20 74 68 65 20 69 6e 74 65 67 72 69 74 79 fy the integrity
03a0: 20 6f 66 20 74 68 65 0a 2a 2a 20 74 68 65 20 72 of the.** the r
03b0: 65 70 6f 73 69 74 6f 72 79 2e 0a 2a 2a 0a 2a 2a epository..**.**
03c0: 20 54 68 69 73 20 66 69 6c 65 20 70 72 69 6d 61 This file prima
03d0: 72 69 6c 79 20 69 6d 70 6c 65 6d 65 6e 74 73 20 rily implements
03e0: 74 68 65 20 76 65 72 69 66 79 5f 62 65 66 6f 72 the verify_befor
03f0: 65 5f 63 6f 6d 6d 69 74 28 29 20 69 6e 74 65 72 e_commit() inter
0400: 66 61 63 65 2e 0a 2a 2a 20 41 6e 79 20 66 75 6e face..** Any fun
0410: 63 74 69 6f 6e 20 63 61 6e 20 63 61 6c 6c 20 76 ction can call v
0420: 65 72 69 66 79 5f 62 65 66 6f 72 65 5f 63 6f 6d erify_before_com
0430: 6d 69 74 28 29 20 77 69 74 68 20 61 20 72 65 63 mit() with a rec
0440: 6f 72 64 20 69 64 20 28 52 49 44 29 0a 2a 2a 20 ord id (RID).**
0450: 61 73 20 61 6e 20 61 72 67 75 6d 65 6e 74 2e 20 as an argument.
0460: 20 54 68 65 6e 20 62 65 66 6f 72 65 20 74 68 65 Then before the
0470: 20 6e 65 78 74 20 63 68 61 6e 67 65 20 74 6f 20 next change to
0480: 74 68 65 20 64 61 74 61 62 61 73 65 20 63 6f 6d the database com
0490: 6d 69 74 73 2c 0a 2a 2a 20 74 68 69 73 20 72 6f mits,.** this ro
04a0: 75 74 69 6e 65 20 77 69 6c 6c 20 72 65 61 63 68 utine will reach
04b0: 20 69 6e 20 61 6e 64 20 63 68 65 63 6b 20 74 68 in and check th
04c0: 61 74 20 74 68 65 20 72 65 63 6f 72 64 20 63 61 at the record ca
04d0: 6e 20 62 65 20 65 78 74 72 61 63 74 65 64 0a 2a n be extracted.*
04e0: 2a 20 63 6f 72 72 65 63 74 6c 79 20 66 72 6f 6d * correctly from
04f0: 20 74 68 65 20 42 4c 4f 42 20 74 61 62 6c 65 2e the BLOB table.
0500: 0a 2a 2f 0a 23 69 6e 63 6c 75 64 65 20 22 63 6f .*/.#include "co
0510: 6e 66 69 67 2e 68 22 0a 23 69 6e 63 6c 75 64 65 nfig.h".#include
0520: 20 22 76 65 72 69 66 79 2e 68 22 0a 23 69 6e 63 "verify.h".#inc
0530: 6c 75 64 65 20 3c 61 73 73 65 72 74 2e 68 3e 0a lude <assert.h>.
0540: 0a 2f 2a 0a 2a 2a 20 4c 6f 61 64 20 74 68 65 20 ./*.** Load the
0550: 72 65 63 6f 72 64 20 69 64 65 6e 74 69 66 79 20 record identify
0560: 62 79 20 72 69 64 2e 20 20 4d 61 6b 65 20 73 75 by rid. Make su
0570: 72 65 20 77 65 20 63 61 6e 20 72 65 70 72 6f 64 re we can reprod
0580: 75 63 65 20 69 74 0a 2a 2a 20 77 69 74 68 6f 75 uce it.** withou
0590: 74 20 65 72 72 6f 72 2e 0a 2a 2a 0a 2a 2a 20 50 t error..**.** P
05a0: 61 6e 69 63 20 69 66 20 61 6e 79 74 68 69 6e 67 anic if anything
05b0: 20 67 6f 65 73 20 77 72 6f 6e 67 2e 20 20 49 66 goes wrong. If
05c0: 20 74 68 69 73 20 70 72 6f 63 65 64 75 72 65 20 this procedure
05d0: 72 65 74 75 72 6e 73 20 69 74 20 6d 65 61 6e 73 returns it means
05e0: 0a 2a 2a 20 74 68 61 74 20 65 76 65 72 79 74 68 .** that everyth
05f0: 69 6e 67 20 69 73 20 4f 4b 2e 0a 2a 2f 0a 73 74 ing is OK..*/.st
0600: 61 74 69 63 20 76 6f 69 64 20 76 65 72 69 66 79 atic void verify
0610: 5f 72 69 64 28 69 6e 74 20 72 69 64 29 7b 0a 20 _rid(int rid){.
0620: 20 42 6c 6f 62 20 75 75 69 64 2c 20 68 61 73 68 Blob uuid, hash
0630: 2c 20 63 6f 6e 74 65 6e 74 3b 0a 20 20 69 66 28 , content;. if(
0640: 20 64 62 5f 69 6e 74 28 30 2c 20 22 53 45 4c 45 db_int(0, "SELE
0650: 43 54 20 73 69 7a 65 20 46 52 4f 4d 20 62 6c 6f CT size FROM blo
0660: 62 20 57 48 45 52 45 20 72 69 64 3d 25 64 22 2c b WHERE rid=%d",
0670: 20 72 69 64 29 3c 30 20 29 7b 0a 20 20 20 20 72 rid)<0 ){. r
0680: 65 74 75 72 6e 3b 20 20 2f 2a 20 4e 6f 20 77 61 eturn; /* No wa
0690: 79 20 74 6f 20 76 65 72 69 66 79 20 70 68 61 6e y to verify phan
06a0: 74 6f 6d 73 20 2a 2f 0a 20 20 7d 0a 20 20 62 6c toms */. }. bl
06b0: 6f 62 5f 7a 65 72 6f 28 26 75 75 69 64 29 3b 0a ob_zero(&uuid);.
06c0: 20 20 64 62 5f 62 6c 6f 62 28 26 75 75 69 64 2c db_blob(&uuid,
06d0: 20 22 53 45 4c 45 43 54 20 75 75 69 64 20 46 52 "SELECT uuid FR
06e0: 4f 4d 20 62 6c 6f 62 20 57 48 45 52 45 20 72 69 OM blob WHERE ri
06f0: 64 3d 25 64 22 2c 20 72 69 64 29 3b 0a 20 20 69 d=%d", rid);. i
0700: 66 28 20 62 6c 6f 62 5f 73 69 7a 65 28 26 75 75 f( blob_size(&uu
0710: 69 64 29 21 3d 55 55 49 44 5f 53 49 5a 45 20 29 id)!=UUID_SIZE )
0720: 7b 0a 20 20 20 20 66 6f 73 73 69 6c 5f 70 61 6e {. fossil_pan
0730: 69 63 28 22 6e 6f 74 20 61 20 76 61 6c 69 64 20 ic("not a valid
0740: 72 69 64 3a 20 25 64 22 2c 20 72 69 64 29 3b 0a rid: %d", rid);.
0750: 20 20 7d 0a 20 20 69 66 28 20 63 6f 6e 74 65 6e }. if( conten
0760: 74 5f 67 65 74 28 72 69 64 2c 20 26 63 6f 6e 74 t_get(rid, &cont
0770: 65 6e 74 29 20 29 7b 0a 20 20 20 20 73 68 61 31 ent) ){. sha1
0780: 73 75 6d 5f 62 6c 6f 62 28 26 63 6f 6e 74 65 6e sum_blob(&conten
0790: 74 2c 20 26 68 61 73 68 29 3b 0a 20 20 20 20 62 t, &hash);. b
07a0: 6c 6f 62 5f 72 65 73 65 74 28 26 63 6f 6e 74 65 lob_reset(&conte
07b0: 6e 74 29 3b 0a 20 20 20 20 69 66 28 20 62 6c 6f nt);. if( blo
07c0: 62 5f 63 6f 6d 70 61 72 65 28 26 75 75 69 64 2c b_compare(&uuid,
07d0: 20 26 68 61 73 68 29 20 29 7b 0a 20 20 20 20 20 &hash) ){.
07e0: 20 66 6f 73 73 69 6c 5f 66 61 74 61 6c 28 22 68 fossil_fatal("h
07f0: 61 73 68 20 6f 66 20 72 69 64 20 25 64 20 28 25 ash of rid %d (%
0800: 62 29 20 64 6f 65 73 20 6e 6f 74 20 6d 61 74 63 b) does not matc
0810: 68 20 69 74 73 20 75 75 69 64 20 28 25 62 29 22 h its uuid (%b)"
0820: 2c 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 ,.
0830: 20 20 20 20 20 20 72 69 64 2c 20 26 68 61 73 68 rid, &hash
0840: 2c 20 26 75 75 69 64 29 3b 0a 20 20 20 20 7d 0a , &uuid);. }.
0850: 20 20 20 20 62 6c 6f 62 5f 72 65 73 65 74 28 26 blob_reset(&
0860: 68 61 73 68 29 3b 0a 20 20 7d 0a 20 20 62 6c 6f hash);. }. blo
0870: 62 5f 72 65 73 65 74 28 26 75 75 69 64 29 3b 0a b_reset(&uuid);.
0880: 7d 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20 66 6f 6c }../*.** The fol
0890: 6c 6f 77 69 6e 67 20 62 61 67 20 68 6f 6c 64 73 lowing bag holds
08a0: 20 74 68 65 20 72 69 64 20 66 6f 72 20 65 76 65 the rid for eve
08b0: 72 79 20 72 65 63 6f 72 64 20 74 68 61 74 20 6e ry record that n
08c0: 65 65 64 73 0a 2a 2a 20 74 6f 20 62 65 20 76 65 eeds.** to be ve
08d0: 72 69 66 69 65 64 2e 0a 2a 2f 0a 73 74 61 74 69 rified..*/.stati
08e0: 63 20 42 61 67 20 74 6f 56 65 72 69 66 79 3b 0a c Bag toVerify;.
08f0: 73 74 61 74 69 63 20 69 6e 74 20 69 6e 46 69 6e static int inFin
0900: 61 6c 56 65 72 69 66 79 20 3d 20 30 3b 0a 0a 2f alVerify = 0;../
0910: 2a 0a 2a 2a 20 54 68 69 73 20 72 6f 75 74 69 6e *.** This routin
0920: 65 20 69 73 20 63 61 6c 6c 65 64 20 6a 75 73 74 e is called just
0930: 20 70 72 69 6f 72 20 74 6f 20 65 61 63 68 20 63 prior to each c
0940: 6f 6d 6d 69 74 20 6f 70 65 72 61 74 69 6f 6e 2e ommit operation.
0950: 20 20 0a 2a 2f 0a 73 74 61 74 69 63 20 69 6e 74 .*/.static int
0960: 20 76 65 72 69 66 79 5f 61 74 5f 63 6f 6d 6d 69 verify_at_commi
0970: 74 28 76 6f 69 64 29 7b 0a 20 20 69 6e 74 20 72 t(void){. int r
0980: 69 64 3b 0a 20 20 63 6f 6e 74 65 6e 74 5f 63 6c id;. content_cl
0990: 65 61 72 5f 63 61 63 68 65 28 29 3b 0a 20 20 69 ear_cache();. i
09a0: 6e 46 69 6e 61 6c 56 65 72 69 66 79 20 3d 20 31 nFinalVerify = 1
09b0: 3b 0a 20 20 72 69 64 20 3d 20 62 61 67 5f 66 69 ;. rid = bag_fi
09c0: 72 73 74 28 26 74 6f 56 65 72 69 66 79 29 3b 0a rst(&toVerify);.
09d0: 20 20 77 68 69 6c 65 28 20 72 69 64 3e 30 20 29 while( rid>0 )
09e0: 7b 0a 20 20 20 20 76 65 72 69 66 79 5f 72 69 64 {. verify_rid
09f0: 28 72 69 64 29 3b 0a 20 20 20 20 72 69 64 20 3d (rid);. rid =
0a00: 20 62 61 67 5f 6e 65 78 74 28 26 74 6f 56 65 72 bag_next(&toVer
0a10: 69 66 79 2c 20 72 69 64 29 3b 0a 20 20 7d 0a 20 ify, rid);. }.
0a20: 20 62 61 67 5f 63 6c 65 61 72 28 26 74 6f 56 65 bag_clear(&toVe
0a30: 72 69 66 79 29 3b 0a 20 20 69 6e 46 69 6e 61 6c rify);. inFinal
0a40: 56 65 72 69 66 79 20 3d 20 30 3b 0a 20 20 72 65 Verify = 0;. re
0a50: 74 75 72 6e 20 30 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a turn 0;.}../*.**
0a60: 20 41 72 72 61 6e 67 65 20 74 6f 20 76 65 72 69 Arrange to veri
0a70: 66 79 20 61 20 70 61 72 74 69 63 75 6c 61 72 20 fy a particular
0a80: 72 65 63 6f 72 64 20 70 72 69 6f 72 20 74 6f 20 record prior to
0a90: 63 6f 6d 6d 69 74 74 69 6e 67 2e 0a 2a 2a 20 0a committing..** .
0aa0: 2a 2a 20 49 66 20 74 68 65 20 72 65 63 6f 72 64 ** If the record
0ab0: 20 72 69 64 20 69 73 20 6c 65 73 73 20 74 68 61 rid is less tha
0ac0: 6e 20 31 2c 20 74 68 65 6e 20 6a 75 73 74 20 69 n 1, then just i
0ad0: 6e 69 74 69 61 6c 69 7a 65 20 74 68 65 0a 2a 2a nitialize the.**
0ae0: 20 76 65 72 69 66 69 63 61 74 69 6f 6e 20 73 79 verification sy
0af0: 73 74 65 6d 20 62 75 74 20 64 6f 20 6e 6f 74 20 stem but do not
0b00: 72 65 63 6f 72 64 20 61 6e 79 74 68 69 6e 67 20 record anything
0b10: 61 73 20 6e 65 65 64 69 6e 67 0a 2a 2a 20 76 65 as needing.** ve
0b20: 72 69 66 69 63 61 74 69 6f 6e 2e 0a 2a 2f 0a 76 rification..*/.v
0b30: 6f 69 64 20 76 65 72 69 66 79 5f 62 65 66 6f 72 oid verify_befor
0b40: 65 5f 63 6f 6d 6d 69 74 28 69 6e 74 20 72 69 64 e_commit(int rid
0b50: 29 7b 0a 20 20 73 74 61 74 69 63 20 69 6e 74 20 ){. static int
0b60: 69 73 49 6e 69 74 20 3d 20 30 3b 0a 20 20 69 66 isInit = 0;. if
0b70: 28 20 21 69 73 49 6e 69 74 20 29 7b 0a 20 20 20 ( !isInit ){.
0b80: 20 64 62 5f 63 6f 6d 6d 69 74 5f 68 6f 6f 6b 28 db_commit_hook(
0b90: 76 65 72 69 66 79 5f 61 74 5f 63 6f 6d 6d 69 74 verify_at_commit
0ba0: 2c 20 31 30 30 30 29 3b 0a 20 20 20 20 69 73 49 , 1000);. isI
0bb0: 6e 69 74 20 3d 20 31 3b 0a 20 20 7d 0a 20 20 61 nit = 1;. }. a
0bc0: 73 73 65 72 74 28 20 21 69 6e 46 69 6e 61 6c 56 ssert( !inFinalV
0bd0: 65 72 69 66 79 20 29 3b 0a 20 20 69 66 28 20 72 erify );. if( r
0be0: 69 64 3e 30 20 29 7b 0a 20 20 20 20 62 61 67 5f id>0 ){. bag_
0bf0: 69 6e 73 65 72 74 28 26 74 6f 56 65 72 69 66 79 insert(&toVerify
0c00: 2c 20 72 69 64 29 3b 0a 20 20 7d 0a 7d 0a 0a 2f , rid);. }.}../
0c10: 2a 0a 2a 2a 20 43 4f 4d 4d 41 4e 44 3a 20 74 65 *.** COMMAND: te
0c20: 73 74 2d 76 65 72 69 66 79 2d 61 6c 6c 0a 2a 2a st-verify-all.**
0c30: 0a 2a 2a 20 56 65 72 69 66 79 20 61 6c 6c 20 72 .** Verify all r
0c40: 65 63 6f 72 64 73 20 69 6e 20 74 68 65 20 72 65 ecords in the re
0c50: 70 6f 73 69 74 6f 72 79 2e 0a 2a 2f 0a 76 6f 69 pository..*/.voi
0c60: 64 20 76 65 72 69 66 79 5f 61 6c 6c 5f 63 6d 64 d verify_all_cmd
0c70: 28 76 6f 69 64 29 7b 0a 20 20 53 74 6d 74 20 71 (void){. Stmt q
0c80: 3b 0a 20 20 69 6e 74 20 63 6e 74 20 3d 20 30 3b ;. int cnt = 0;
0c90: 0a 20 20 64 62 5f 6d 75 73 74 5f 62 65 5f 77 69 . db_must_be_wi
0ca0: 74 68 69 6e 5f 74 72 65 65 28 29 3b 0a 20 20 64 thin_tree();. d
0cb0: 62 5f 70 72 65 70 61 72 65 28 26 71 2c 20 22 53 b_prepare(&q, "S
0cc0: 45 4c 45 43 54 20 72 69 64 20 46 52 4f 4d 20 62 ELECT rid FROM b
0cd0: 6c 6f 62 22 29 3b 0a 20 20 77 68 69 6c 65 28 20 lob");. while(
0ce0: 64 62 5f 73 74 65 70 28 26 71 29 3d 3d 53 51 4c db_step(&q)==SQL
0cf0: 49 54 45 5f 52 4f 57 20 29 7b 0a 20 20 20 20 69 ITE_ROW ){. i
0d00: 6e 74 20 72 69 64 20 3d 20 64 62 5f 63 6f 6c 75 nt rid = db_colu
0d10: 6d 6e 5f 69 6e 74 28 26 71 2c 20 30 29 3b 0a 20 mn_int(&q, 0);.
0d20: 20 20 20 76 65 72 69 66 79 5f 62 65 66 6f 72 65 verify_before
0d30: 5f 63 6f 6d 6d 69 74 28 72 69 64 29 3b 0a 20 20 _commit(rid);.
0d40: 20 20 63 6e 74 2b 2b 3b 0a 20 20 20 20 61 73 73 cnt++;. ass
0d50: 65 72 74 28 20 62 61 67 5f 63 6f 75 6e 74 28 26 ert( bag_count(&
0d60: 74 6f 56 65 72 69 66 79 29 3d 3d 63 6e 74 20 29 toVerify)==cnt )
0d70: 3b 0a 20 20 7d 0a 20 20 64 62 5f 66 69 6e 61 6c ;. }. db_final
0d80: 69 7a 65 28 26 71 29 3b 0a 20 20 76 65 72 69 66 ize(&q);. verif
0d90: 79 5f 61 74 5f 63 6f 6d 6d 69 74 28 29 3b 0a 20 y_at_commit();.
0da0: 20 61 73 73 65 72 74 28 20 62 61 67 5f 63 6f 75 assert( bag_cou
0db0: 6e 74 28 26 74 6f 56 65 72 69 66 79 29 3d 3d 30 nt(&toVerify)==0
0dc0: 20 29 3b 0a 7d 0a );.}.