/ Hex Artifact Content
Login

Artifact 371de5363b70154012955544f86fdee8f6e5326f:


0000: 2f 2a 0a 2a 2a 20 54 68 65 20 70 72 6f 67 72 61  /*.** The progra
0010: 6d 20 64 6f 65 73 20 73 6f 6d 65 20 73 69 6d 70  m does some simp
0020: 6c 65 20 73 74 61 74 69 63 20 61 6e 61 6c 79 73  le static analys
0030: 69 73 20 6f 66 20 74 68 65 20 73 71 6c 69 74 65  is of the sqlite
0040: 33 2e 63 20 73 6f 75 72 63 65 0a 2a 2a 20 66 69  3.c source.** fi
0050: 6c 65 20 6c 6f 6f 6b 69 6e 67 20 66 6f 72 20 6d  le looking for m
0060: 69 73 74 61 6b 65 73 2e 0a 2a 2a 0a 2a 2a 20 55  istakes..**.** U
0070: 73 61 67 65 3a 0a 2a 2a 0a 2a 2a 20 20 20 20 20  sage:.**.**     
0080: 20 2e 2f 73 72 63 63 6b 31 20 73 71 6c 69 74 65   ./srcck1 sqlite
0090: 33 2e 63 0a 2a 2a 0a 2a 2a 20 54 68 69 73 20 70  3.c.**.** This p
00a0: 72 6f 67 72 61 6d 20 6c 6f 6f 6b 73 20 66 6f 72  rogram looks for
00b0: 20 69 6e 73 74 61 6e 63 65 73 20 6f 66 20 61 73   instances of as
00c0: 73 65 72 74 28 29 2c 20 41 4c 57 41 59 53 28 29  sert(), ALWAYS()
00d0: 2c 20 4e 45 56 45 52 28 29 20 6f 72 0a 2a 2a 20  , NEVER() or.** 
00e0: 74 65 73 74 63 61 73 65 28 29 20 74 68 61 74 20  testcase() that 
00f0: 63 6f 6e 74 61 69 6e 20 73 69 64 65 2d 65 66 66  contain side-eff
0100: 65 63 74 73 20 61 6e 64 20 72 65 70 6f 72 74 73  ects and reports
0110: 20 65 72 72 6f 72 73 20 69 66 20 61 6e 79 20 73   errors if any s
0120: 75 63 68 0a 2a 2a 20 69 6e 73 74 61 6e 63 65 73  uch.** instances
0130: 20 61 72 65 20 66 6f 75 6e 64 2e 0a 2a 2a 0a 2a   are found..**.*
0140: 2a 20 54 68 65 20 61 69 6d 20 6f 66 20 74 68 69  * The aim of thi
0150: 73 20 75 74 69 6c 69 74 79 20 69 73 20 74 6f 20  s utility is to 
0160: 70 72 65 76 65 6e 74 20 72 65 63 75 72 72 65 6e  prevent recurren
0170: 63 65 73 20 6f 66 20 65 72 72 6f 72 73 20 73 75  ces of errors su
0180: 63 68 0a 2a 2a 20 61 73 20 74 68 65 20 6f 6e 65  ch.** as the one
0190: 20 66 69 78 65 64 20 61 74 3a 0a 2a 2a 0a 2a 2a   fixed at:.**.**
01a0: 20 20 20 68 74 74 70 73 3a 2f 2f 77 77 77 2e 73     https://www.s
01b0: 71 6c 69 74 65 2e 6f 72 67 2f 73 72 63 2f 69 6e  qlite.org/src/in
01c0: 66 6f 2f 61 32 39 35 32 32 33 31 61 63 37 61 62  fo/a2952231ac7ab
01d0: 65 31 36 0a 2a 2a 0a 2a 2a 20 4e 6f 74 65 20 74  e16.**.** Note t
01e0: 68 61 74 20 61 6e 6f 74 68 65 72 20 73 69 6d 69  hat another simi
01f0: 6c 61 72 20 65 72 72 6f 72 20 77 61 73 20 66 6f  lar error was fo
0200: 75 6e 64 20 62 79 20 74 68 69 73 20 75 74 69 6c  und by this util
0210: 69 74 79 20 77 68 65 6e 20 69 74 20 77 61 73 0a  ity when it was.
0220: 2a 2a 20 66 69 72 73 74 20 77 72 69 74 74 65 6e  ** first written
0230: 2e 20 20 54 68 61 74 20 6f 74 68 65 72 20 65 72  .  That other er
0240: 72 6f 72 20 77 61 73 20 66 69 78 65 64 20 62 79  ror was fixed by
0250: 20 74 68 65 20 73 61 6d 65 20 63 68 65 63 6b 2d   the same check-
0260: 69 6e 20 74 68 61 74 0a 2a 2a 20 63 6f 6d 6d 69  in that.** commi
0270: 74 74 65 64 20 74 68 65 20 66 69 72 73 74 20 76  tted the first v
0280: 65 72 73 69 6f 6e 20 6f 66 20 74 68 69 73 20 75  ersion of this u
0290: 74 69 6c 69 74 79 20 70 72 6f 67 72 61 6d 2e 0a  tility program..
02a0: 2a 2f 0a 23 69 6e 63 6c 75 64 65 20 3c 73 74 64  */.#include <std
02b0: 6c 69 62 2e 68 3e 0a 23 69 6e 63 6c 75 64 65 20  lib.h>.#include 
02c0: 3c 63 74 79 70 65 2e 68 3e 0a 23 69 6e 63 6c 75  <ctype.h>.#inclu
02d0: 64 65 20 3c 73 74 64 69 6f 2e 68 3e 0a 23 69 6e  de <stdio.h>.#in
02e0: 63 6c 75 64 65 20 3c 73 74 72 69 6e 67 2e 68 3e  clude <string.h>
02f0: 0a 0a 2f 2a 20 52 65 61 64 20 74 68 65 20 63 6f  ../* Read the co
0300: 6d 70 6c 65 74 65 20 74 65 78 74 20 6f 66 20 61  mplete text of a
0310: 20 66 69 6c 65 20 69 6e 74 6f 20 6d 65 6d 6f 72   file into memor
0320: 79 2e 20 20 52 65 74 75 72 6e 20 61 20 70 6f 69  y.  Return a poi
0330: 6e 74 65 72 20 74 6f 0a 2a 2a 20 74 68 65 20 72  nter to.** the r
0340: 65 73 75 6c 74 2e 20 20 50 61 6e 69 63 20 69 66  esult.  Panic if
0350: 20 75 6e 61 62 6c 65 20 74 6f 20 72 65 61 64 20   unable to read 
0360: 74 68 65 20 66 69 6c 65 20 6f 72 20 61 6c 6c 6f  the file or allo
0370: 63 61 74 65 20 6d 65 6d 6f 72 79 2e 0a 2a 2f 0a  cate memory..*/.
0380: 73 74 61 74 69 63 20 63 68 61 72 20 2a 72 65 61  static char *rea
0390: 64 46 69 6c 65 28 63 6f 6e 73 74 20 63 68 61 72  dFile(const char
03a0: 20 2a 7a 46 69 6c 65 6e 61 6d 65 29 7b 0a 20 20   *zFilename){.  
03b0: 46 49 4c 45 20 2a 69 6e 3b 0a 20 20 63 68 61 72  FILE *in;.  char
03c0: 20 2a 7a 3b 0a 20 20 6c 6f 6e 67 20 6e 3b 0a 20   *z;.  long n;. 
03d0: 20 73 69 7a 65 5f 74 20 67 6f 74 3b 0a 0a 20 20   size_t got;..  
03e0: 69 6e 20 3d 20 66 6f 70 65 6e 28 7a 46 69 6c 65  in = fopen(zFile
03f0: 6e 61 6d 65 2c 20 22 72 62 22 29 3b 0a 20 20 69  name, "rb");.  i
0400: 66 28 20 69 6e 3d 3d 30 20 29 7b 0a 20 20 20 20  f( in==0 ){.    
0410: 66 70 72 69 6e 74 66 28 73 74 64 65 72 72 2c 20  fprintf(stderr, 
0420: 22 75 6e 61 62 6c 65 20 74 6f 20 6f 70 65 6e 20  "unable to open 
0430: 27 25 73 27 20 66 6f 72 20 72 65 61 64 69 6e 67  '%s' for reading
0440: 5c 6e 22 2c 20 7a 46 69 6c 65 6e 61 6d 65 29 3b  \n", zFilename);
0450: 0a 20 20 20 20 65 78 69 74 28 31 29 3b 0a 20 20  .    exit(1);.  
0460: 7d 0a 20 20 66 73 65 65 6b 28 69 6e 2c 20 30 2c  }.  fseek(in, 0,
0470: 20 53 45 45 4b 5f 45 4e 44 29 3b 0a 20 20 6e 20   SEEK_END);.  n 
0480: 3d 20 66 74 65 6c 6c 28 69 6e 29 3b 0a 20 20 72  = ftell(in);.  r
0490: 65 77 69 6e 64 28 69 6e 29 3b 0a 20 20 7a 20 3d  ewind(in);.  z =
04a0: 20 6d 61 6c 6c 6f 63 28 20 6e 2b 31 20 29 3b 0a   malloc( n+1 );.
04b0: 20 20 69 66 28 20 7a 3d 3d 30 20 29 7b 0a 20 20    if( z==0 ){.  
04c0: 20 20 66 70 72 69 6e 74 66 28 73 74 64 65 72 72    fprintf(stderr
04d0: 2c 20 22 63 61 6e 6e 6f 74 20 61 6c 6c 6f 63 61  , "cannot alloca
04e0: 74 65 20 25 64 20 62 79 74 65 73 20 74 6f 20 73  te %d bytes to s
04f0: 74 6f 72 65 20 27 25 73 27 5c 6e 22 2c 20 0a 20  tore '%s'\n", . 
0500: 20 20 20 20 20 20 20 20 20 20 20 28 69 6e 74 29             (int)
0510: 28 6e 2b 31 29 2c 20 7a 46 69 6c 65 6e 61 6d 65  (n+1), zFilename
0520: 29 3b 0a 20 20 20 20 65 78 69 74 28 31 29 3b 0a  );.    exit(1);.
0530: 20 20 7d 0a 20 20 67 6f 74 20 3d 20 66 72 65 61    }.  got = frea
0540: 64 28 7a 2c 20 31 2c 20 6e 2c 20 69 6e 29 3b 0a  d(z, 1, n, in);.
0550: 20 20 66 63 6c 6f 73 65 28 69 6e 29 3b 0a 20 20    fclose(in);.  
0560: 69 66 28 20 67 6f 74 21 3d 28 73 69 7a 65 5f 74  if( got!=(size_t
0570: 29 6e 20 29 7b 0a 20 20 20 20 66 70 72 69 6e 74  )n ){.    fprint
0580: 66 28 73 74 64 65 72 72 2c 20 22 6f 6e 6c 79 20  f(stderr, "only 
0590: 72 65 61 64 20 25 64 20 6f 66 20 25 64 20 62 79  read %d of %d by
05a0: 74 65 73 20 66 72 6f 6d 20 27 25 73 27 5c 6e 22  tes from '%s'\n"
05b0: 2c 0a 20 20 20 20 20 20 20 20 20 20 20 28 69 6e  ,.           (in
05c0: 74 29 67 6f 74 2c 20 28 69 6e 74 29 6e 2c 20 7a  t)got, (int)n, z
05d0: 46 69 6c 65 6e 61 6d 65 29 3b 0a 20 20 20 20 65  Filename);.    e
05e0: 78 69 74 28 31 29 3b 0a 20 20 7d 0a 20 20 7a 5b  xit(1);.  }.  z[
05f0: 6e 5d 20 3d 20 30 3b 0a 20 20 72 65 74 75 72 6e  n] = 0;.  return
0600: 20 7a 3b 0a 7d 0a 0a 2f 2a 20 43 68 65 63 6b 20   z;.}../* Check 
0610: 74 68 65 20 43 20 63 6f 64 65 20 69 6e 20 74 68  the C code in th
0620: 65 20 61 72 67 75 6d 65 6e 74 20 74 6f 20 73 65  e argument to se
0630: 65 20 69 66 20 69 74 20 6d 69 67 68 74 20 68 61  e if it might ha
0640: 76 65 0a 2a 2a 20 73 69 64 65 20 65 66 66 65 63  ve.** side effec
0650: 74 73 2e 20 20 54 68 65 20 6f 6e 6c 79 20 61 63  ts.  The only ac
0660: 63 75 72 61 74 65 20 77 61 79 20 74 6f 20 6b 6e  curate way to kn
0670: 6f 77 20 74 68 69 73 20 69 73 20 74 6f 20 64 6f  ow this is to do
0680: 20 61 20 66 75 6c 6c 0a 2a 2a 20 70 61 72 73 65   a full.** parse
0690: 20 6f 66 20 74 68 65 20 43 20 63 6f 64 65 2c 20   of the C code, 
06a0: 77 68 69 63 68 20 74 68 69 73 20 72 6f 75 74 69  which this routi
06b0: 6e 65 20 64 6f 65 73 20 6e 6f 74 20 64 6f 2e 20  ne does not do. 
06c0: 20 54 68 69 73 20 72 6f 75 74 69 6e 65 0a 2a 2a   This routine.**
06d0: 20 75 73 65 73 20 61 20 73 69 6d 70 6c 65 20 68   uses a simple h
06e0: 65 75 72 69 73 74 69 63 20 6f 66 20 6c 6f 6f 6b  euristic of look
06f0: 69 6e 67 20 66 6f 72 3a 0a 2a 2a 0a 2a 2a 20 20  ing for:.**.**  
0700: 20 20 2a 20 20 27 3d 27 20 6e 6f 74 20 69 6d 6d    *  '=' not imm
0710: 65 64 69 61 74 65 6c 79 20 61 66 74 65 72 20 27  ediately after '
0720: 3e 27 2c 20 27 3c 27 2c 20 27 21 27 2c 20 6f 72  >', '<', '!', or
0730: 20 27 3d 27 2e 0a 2a 2a 20 20 20 20 2a 20 20 27   '='..**    *  '
0740: 2b 2b 27 0a 2a 2a 20 20 20 20 2a 20 20 27 2d 2d  ++'.**    *  '--
0750: 27 0a 2a 2a 0a 2a 2a 20 49 66 20 74 68 65 20 63  '.**.** If the c
0760: 6f 64 65 20 63 6f 6e 74 61 69 6e 73 20 74 68 65  ode contains the
0770: 20 70 68 72 61 73 65 20 22 73 69 64 65 2d 65 66   phrase "side-ef
0780: 66 65 63 74 73 2d 6f 6b 22 20 69 73 20 69 6e 73  fects-ok" is ins
0790: 69 64 65 20 61 20 0a 2a 2a 20 63 6f 6d 6d 65 6e  ide a .** commen
07a0: 74 2c 20 74 68 65 6e 20 61 6c 77 61 79 73 20 72  t, then always r
07b0: 65 74 75 72 6e 20 66 61 6c 73 65 2e 20 20 54 68  eturn false.  Th
07c0: 69 73 20 69 73 20 75 73 65 64 20 74 6f 20 64 69  is is used to di
07d0: 73 61 62 6c 65 20 63 68 65 63 6b 69 6e 67 0a 2a  sable checking.*
07e0: 2a 20 66 6f 72 20 61 73 73 65 72 74 28 29 73 20  * for assert()s 
07f0: 77 69 74 68 20 64 65 6c 69 62 65 72 61 74 65 20  with deliberate 
0800: 73 69 64 65 2d 65 66 66 65 63 74 73 2c 20 73 75  side-effects, su
0810: 63 68 20 61 73 20 75 73 65 64 20 62 79 0a 2a 2a  ch as used by.**
0820: 20 53 51 4c 49 54 45 5f 54 45 53 54 43 54 52 4c   SQLITE_TESTCTRL
0830: 5f 41 53 53 45 52 54 20 2d 20 61 20 66 61 63 69  _ASSERT - a faci
0840: 6c 69 74 79 20 74 68 61 74 20 61 6c 6c 6f 77 73  lity that allows
0850: 20 61 70 70 6c 69 63 61 74 69 6f 6e 73 20 74 6f   applications to
0860: 0a 2a 2a 20 64 65 74 65 72 6d 69 6e 65 20 61 74  .** determine at
0870: 20 72 75 6e 74 69 6d 65 20 77 68 65 74 68 65 72   runtime whether
0880: 20 6f 72 20 6e 6f 74 20 61 73 73 65 72 74 28 29   or not assert()
0890: 73 20 61 72 65 20 65 6e 61 62 6c 65 64 2e 20 20  s are enabled.  
08a0: 0a 2a 2a 20 4f 62 76 69 6f 75 73 6c 79 2c 20 74  .** Obviously, t
08b0: 68 61 74 20 64 65 74 65 72 6d 69 6e 61 74 69 6f  hat determinatio
08c0: 6e 20 63 61 6e 6e 6f 74 20 62 65 20 6d 61 64 65  n cannot be made
08d0: 20 75 6e 6c 65 73 73 20 74 68 65 20 61 73 73 65   unless the asse
08e0: 72 74 28 29 0a 2a 2a 20 68 61 73 20 73 6f 6d 65  rt().** has some
08f0: 20 73 69 64 65 2d 65 66 66 65 63 74 2e 0a 2a 2a   side-effect..**
0900: 0a 2a 2a 20 52 65 74 75 72 6e 20 74 72 75 65 20  .** Return true 
0910: 69 66 20 61 20 73 69 64 65 20 65 66 66 65 63 74  if a side effect
0920: 20 69 73 20 73 65 65 6e 2e 20 20 52 65 74 75 72   is seen.  Retur
0930: 6e 20 66 61 6c 73 65 20 69 66 20 6e 6f 74 2e 0a  n false if not..
0940: 2a 2f 0a 73 74 61 74 69 63 20 69 6e 74 20 68 61  */.static int ha
0950: 73 53 69 64 65 45 66 66 65 63 74 28 63 6f 6e 73  sSideEffect(cons
0960: 74 20 63 68 61 72 20 2a 7a 2c 20 75 6e 73 69 67  t char *z, unsig
0970: 6e 65 64 20 69 6e 74 20 6e 29 7b 0a 20 20 75 6e  ned int n){.  un
0980: 73 69 67 6e 65 64 20 69 6e 74 20 69 3b 0a 20 20  signed int i;.  
0990: 66 6f 72 28 69 3d 30 3b 20 69 3c 6e 3b 20 69 2b  for(i=0; i<n; i+
09a0: 2b 29 7b 0a 20 20 20 20 69 66 28 20 7a 5b 69 5d  +){.    if( z[i]
09b0: 3d 3d 27 2f 27 20 26 26 20 73 74 72 6e 63 6d 70  =='/' && strncmp
09c0: 28 26 7a 5b 69 5d 2c 20 22 2f 2a 73 69 64 65 2d  (&z[i], "/*side-
09d0: 65 66 66 65 63 74 73 2d 6f 6b 2a 2f 22 2c 20 31  effects-ok*/", 1
09e0: 39 29 3d 3d 30 20 29 20 72 65 74 75 72 6e 20 30  9)==0 ) return 0
09f0: 3b 0a 20 20 20 20 69 66 28 20 7a 5b 69 5d 3d 3d  ;.    if( z[i]==
0a00: 27 3d 27 20 26 26 20 69 3e 30 20 26 26 20 7a 5b  '=' && i>0 && z[
0a10: 69 2d 31 5d 21 3d 27 3d 27 20 26 26 20 7a 5b 69  i-1]!='=' && z[i
0a20: 2d 31 5d 21 3d 27 3e 27 0a 20 20 20 20 20 20 20  -1]!='>'.       
0a30: 20 20 20 20 26 26 20 7a 5b 69 2d 31 5d 21 3d 27      && z[i-1]!='
0a40: 3c 27 20 26 26 20 7a 5b 69 2d 31 5d 21 3d 27 21  <' && z[i-1]!='!
0a50: 27 20 26 26 20 7a 5b 69 2b 31 5d 21 3d 27 3d 27  ' && z[i+1]!='='
0a60: 20 29 20 72 65 74 75 72 6e 20 31 3b 0a 20 20 20   ) return 1;.   
0a70: 20 69 66 28 20 7a 5b 69 5d 3d 3d 27 2b 27 20 26   if( z[i]=='+' &
0a80: 26 20 7a 5b 69 2b 31 5d 3d 3d 27 2b 27 20 29 20  & z[i+1]=='+' ) 
0a90: 72 65 74 75 72 6e 20 31 3b 0a 20 20 20 20 69 66  return 1;.    if
0aa0: 28 20 7a 5b 69 5d 3d 3d 27 2d 27 20 26 26 20 7a  ( z[i]=='-' && z
0ab0: 5b 69 2b 31 5d 3d 3d 27 2d 27 20 29 20 72 65 74  [i+1]=='-' ) ret
0ac0: 75 72 6e 20 31 3b 0a 20 20 7d 0a 20 20 72 65 74  urn 1;.  }.  ret
0ad0: 75 72 6e 20 30 3b 0a 7d 0a 0a 2f 2a 20 52 65 74  urn 0;.}../* Ret
0ae0: 75 72 6e 20 74 68 65 20 6e 75 6d 62 65 72 20 6f  urn the number o
0af0: 66 20 62 79 74 65 73 20 69 6e 20 73 74 72 69 6e  f bytes in strin
0b00: 67 20 7a 5b 5d 20 70 72 69 6f 72 20 74 6f 20 74  g z[] prior to t
0b10: 68 65 20 66 69 72 73 74 20 75 6e 6d 61 74 63 68  he first unmatch
0b20: 65 64 20 27 29 27 0a 2a 2a 20 63 68 61 72 61 63  ed ')'.** charac
0b30: 74 65 72 2e 0a 2a 2f 0a 73 74 61 74 69 63 20 75  ter..*/.static u
0b40: 6e 73 69 67 6e 65 64 20 69 6e 74 20 66 69 6e 64  nsigned int find
0b50: 43 6c 6f 73 65 50 61 72 65 6e 28 63 6f 6e 73 74  CloseParen(const
0b60: 20 63 68 61 72 20 2a 7a 29 7b 0a 20 20 75 6e 73   char *z){.  uns
0b70: 69 67 6e 65 64 20 69 6e 74 20 6e 4f 70 65 6e 20  igned int nOpen 
0b80: 3d 20 30 3b 0a 20 20 75 6e 73 69 67 6e 65 64 20  = 0;.  unsigned 
0b90: 69 3b 0a 20 20 66 6f 72 28 69 3d 30 3b 20 7a 5b  i;.  for(i=0; z[
0ba0: 69 5d 3b 20 69 2b 2b 29 7b 0a 20 20 20 20 69 66  i]; i++){.    if
0bb0: 28 20 7a 5b 69 5d 3d 3d 27 28 27 20 29 20 6e 4f  ( z[i]=='(' ) nO
0bc0: 70 65 6e 2b 2b 3b 0a 20 20 20 20 69 66 28 20 7a  pen++;.    if( z
0bd0: 5b 69 5d 3d 3d 27 29 27 20 29 7b 0a 20 20 20 20  [i]==')' ){.    
0be0: 20 20 69 66 28 20 6e 4f 70 65 6e 3d 3d 30 20 29    if( nOpen==0 )
0bf0: 20 62 72 65 61 6b 3b 0a 20 20 20 20 20 20 6e 4f   break;.      nO
0c00: 70 65 6e 2d 2d 3b 0a 20 20 20 20 7d 0a 20 20 7d  pen--;.    }.  }
0c10: 0a 20 20 72 65 74 75 72 6e 20 69 3b 0a 7d 0a 0a  .  return i;.}..
0c20: 2f 2a 20 53 65 61 72 63 68 20 66 6f 72 20 69 6e  /* Search for in
0c30: 73 74 61 6e 63 65 73 20 6f 66 20 61 73 73 65 72  stances of asser
0c40: 74 28 2e 2e 2e 29 2c 20 41 4c 57 41 59 53 28 2e  t(...), ALWAYS(.
0c50: 2e 2e 29 2c 20 4e 45 56 45 52 28 2e 2e 2e 29 2c  ..), NEVER(...),
0c60: 20 61 6e 64 2f 6f 72 0a 2a 2a 20 74 65 73 74 63   and/or.** testc
0c70: 61 73 65 28 2e 2e 2e 29 20 77 68 65 72 65 20 74  ase(...) where t
0c80: 68 65 20 61 72 67 75 6d 65 6e 74 20 63 6f 6e 74  he argument cont
0c90: 61 69 6e 73 20 73 69 64 65 20 65 66 66 65 63 74  ains side effect
0ca0: 73 2e 0a 2a 2a 0a 2a 2a 20 50 72 69 6e 74 20 65  s..**.** Print e
0cb0: 72 72 6f 72 20 6d 65 73 73 61 67 65 73 20 77 68  rror messages wh
0cc0: 65 6e 65 76 65 72 20 61 20 73 69 64 65 20 65 66  enever a side ef
0cd0: 66 65 63 74 20 69 73 20 66 6f 75 6e 64 2e 20 20  fect is found.  
0ce0: 52 65 74 75 72 6e 20 74 68 65 20 6e 75 6d 62 65  Return the numbe
0cf0: 72 0a 2a 2a 20 6f 66 20 70 72 6f 62 6c 65 6d 73  r.** of problems
0d00: 20 73 65 65 6e 2e 0a 2a 2f 0a 73 74 61 74 69 63   seen..*/.static
0d10: 20 75 6e 73 69 67 6e 65 64 20 69 6e 74 20 66 69   unsigned int fi
0d20: 6e 64 41 6c 6c 53 69 64 65 45 66 66 65 63 74 73  ndAllSideEffects
0d30: 28 63 6f 6e 73 74 20 63 68 61 72 20 2a 7a 29 7b  (const char *z){
0d40: 0a 20 20 75 6e 73 69 67 6e 65 64 20 69 6e 74 20  .  unsigned int 
0d50: 6c 69 6e 65 6e 6f 20 3d 20 31 3b 20 20 20 2f 2a  lineno = 1;   /*
0d60: 20 4c 69 6e 65 20 6e 75 6d 62 65 72 20 2a 2f 0a   Line number */.
0d70: 20 20 75 6e 73 69 67 6e 65 64 20 69 6e 74 20 69    unsigned int i
0d80: 3b 0a 20 20 75 6e 73 69 67 6e 65 64 20 69 6e 74  ;.  unsigned int
0d90: 20 6e 45 72 72 20 3d 20 30 3b 0a 20 20 63 68 61   nErr = 0;.  cha
0da0: 72 20 63 2c 20 70 72 65 76 43 20 3d 20 30 3b 0a  r c, prevC = 0;.
0db0: 20 20 66 6f 72 28 69 3d 30 3b 20 28 63 20 3d 20    for(i=0; (c = 
0dc0: 7a 5b 69 5d 29 21 3d 30 3b 20 70 72 65 76 43 3d  z[i])!=0; prevC=
0dd0: 63 2c 20 69 2b 2b 29 7b 0a 20 20 20 20 69 66 28  c, i++){.    if(
0de0: 20 63 3d 3d 27 5c 6e 27 20 29 7b 20 6c 69 6e 65   c=='\n' ){ line
0df0: 6e 6f 2b 2b 3b 20 63 6f 6e 74 69 6e 75 65 3b 20  no++; continue; 
0e00: 7d 0a 20 20 20 20 69 66 28 20 69 73 61 6c 70 68  }.    if( isalph
0e10: 61 28 63 29 20 26 26 20 21 69 73 61 6c 70 68 61  a(c) && !isalpha
0e20: 28 70 72 65 76 43 29 20 29 7b 0a 20 20 20 20 20  (prevC) ){.     
0e30: 20 69 66 28 20 73 74 72 6e 63 6d 70 28 26 7a 5b   if( strncmp(&z[
0e40: 69 5d 2c 22 61 73 73 65 72 74 28 22 2c 37 29 3d  i],"assert(",7)=
0e50: 3d 30 0a 20 20 20 20 20 20 20 7c 7c 20 73 74 72  =0.       || str
0e60: 6e 63 6d 70 28 26 7a 5b 69 5d 2c 22 41 4c 57 41  ncmp(&z[i],"ALWA
0e70: 59 53 28 22 2c 37 29 3d 3d 30 0a 20 20 20 20 20  YS(",7)==0.     
0e80: 20 20 7c 7c 20 73 74 72 6e 63 6d 70 28 26 7a 5b    || strncmp(&z[
0e90: 69 5d 2c 22 4e 45 56 45 52 28 22 2c 36 29 3d 3d  i],"NEVER(",6)==
0ea0: 30 0a 20 20 20 20 20 20 20 7c 7c 20 73 74 72 6e  0.       || strn
0eb0: 63 6d 70 28 26 7a 5b 69 5d 2c 22 74 65 73 74 63  cmp(&z[i],"testc
0ec0: 61 73 65 28 22 2c 39 29 3d 3d 30 0a 20 20 20 20  ase(",9)==0.    
0ed0: 20 20 29 7b 0a 20 20 20 20 20 20 20 20 75 6e 73    ){.        uns
0ee0: 69 67 6e 65 64 20 69 6e 74 20 6e 3b 0a 20 20 20  igned int n;.   
0ef0: 20 20 20 20 20 63 6f 6e 73 74 20 63 68 61 72 20       const char 
0f00: 2a 7a 32 20 3d 20 26 7a 5b 69 2b 35 5d 3b 0a 20  *z2 = &z[i+5];. 
0f10: 20 20 20 20 20 20 20 77 68 69 6c 65 28 20 7a 32         while( z2
0f20: 5b 30 5d 21 3d 27 28 27 20 29 7b 20 7a 32 2b 2b  [0]!='(' ){ z2++
0f30: 3b 20 7d 0a 20 20 20 20 20 20 20 20 7a 32 2b 2b  ; }.        z2++
0f40: 3b 0a 20 20 20 20 20 20 20 20 6e 20 3d 20 66 69  ;.        n = fi
0f50: 6e 64 43 6c 6f 73 65 50 61 72 65 6e 28 7a 32 29  ndCloseParen(z2)
0f60: 3b 0a 20 20 20 20 20 20 20 20 69 66 28 20 68 61  ;.        if( ha
0f70: 73 53 69 64 65 45 66 66 65 63 74 28 7a 32 2c 20  sSideEffect(z2, 
0f80: 6e 29 20 29 7b 0a 20 20 20 20 20 20 20 20 20 20  n) ){.          
0f90: 6e 45 72 72 2b 2b 3b 0a 20 20 20 20 20 20 20 20  nErr++;.        
0fa0: 20 20 66 70 72 69 6e 74 66 28 73 74 64 65 72 72    fprintf(stderr
0fb0: 2c 20 22 73 69 64 65 2d 65 66 66 65 63 74 20 6c  , "side-effect l
0fc0: 69 6e 65 20 25 75 3a 20 25 2e 2a 73 5c 6e 22 2c  ine %u: %.*s\n",
0fd0: 20 6c 69 6e 65 6e 6f 2c 0a 20 20 20 20 20 20 20   lineno,.       
0fe0: 20 20 20 20 20 20 20 20 20 20 20 28 69 6e 74 29             (int)
0ff0: 28 26 7a 32 5b 6e 2b 31 5d 20 2d 20 26 7a 5b 69  (&z2[n+1] - &z[i
1000: 5d 29 2c 20 26 7a 5b 69 5d 29 3b 0a 20 20 20 20  ]), &z[i]);.    
1010: 20 20 20 20 7d 0a 20 20 20 20 20 20 7d 0a 20 20      }.      }.  
1020: 20 20 7d 0a 20 20 7d 0a 20 20 72 65 74 75 72 6e    }.  }.  return
1030: 20 6e 45 72 72 3b 0a 7d 0a 0a 69 6e 74 20 6d 61   nErr;.}..int ma
1040: 69 6e 28 69 6e 74 20 61 72 67 63 2c 20 63 68 61  in(int argc, cha
1050: 72 20 2a 2a 61 72 67 76 29 7b 0a 20 20 63 68 61  r **argv){.  cha
1060: 72 20 2a 7a 3b 0a 20 20 75 6e 73 69 67 6e 65 64  r *z;.  unsigned
1070: 20 69 6e 74 20 6e 45 72 72 20 3d 20 30 3b 0a 20   int nErr = 0;. 
1080: 20 69 66 28 20 61 72 67 63 21 3d 32 20 29 7b 0a   if( argc!=2 ){.
1090: 20 20 20 20 66 70 72 69 6e 74 66 28 73 74 64 65      fprintf(stde
10a0: 72 72 2c 20 22 55 73 61 67 65 3a 20 25 73 20 46  rr, "Usage: %s F
10b0: 49 4c 45 4e 41 4d 45 5c 6e 22 2c 20 61 72 67 76  ILENAME\n", argv
10c0: 5b 30 5d 29 3b 0a 20 20 20 20 72 65 74 75 72 6e  [0]);.    return
10d0: 20 31 3b 0a 20 20 7d 0a 20 20 7a 20 3d 20 72 65   1;.  }.  z = re
10e0: 61 64 46 69 6c 65 28 61 72 67 76 5b 31 5d 29 3b  adFile(argv[1]);
10f0: 0a 20 20 6e 45 72 72 20 3d 20 66 69 6e 64 41 6c  .  nErr = findAl
1100: 6c 53 69 64 65 45 66 66 65 63 74 73 28 7a 29 3b  lSideEffects(z);
1110: 0a 20 20 66 72 65 65 28 7a 29 3b 0a 20 20 69 66  .  free(z);.  if
1120: 28 20 6e 45 72 72 20 29 7b 0a 20 20 20 20 66 70  ( nErr ){.    fp
1130: 72 69 6e 74 66 28 73 74 64 65 72 72 2c 20 22 46  rintf(stderr, "F
1140: 6f 75 6e 64 20 25 75 20 75 6e 64 65 73 69 72 61  ound %u undesira
1150: 62 6c 65 20 73 69 64 65 2d 65 66 66 65 63 74 73  ble side-effects
1160: 5c 6e 22 2c 20 6e 45 72 72 29 3b 0a 20 20 20 20  \n", nErr);.    
1170: 72 65 74 75 72 6e 20 31 3b 0a 20 20 7d 0a 20 20  return 1;.  }.  
1180: 72 65 74 75 72 6e 20 30 3b 20 0a 7d 0a           return 0; .}.