/ Hex Artifact Content
Login

Artifact 4f65e1a6748e42f24c0ea629dddc934d821c729a:


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 61 6e 67 65   z;.}../* Change
0610: 20 74 68 65 20 43 20 63 6f 64 65 20 69 6e 20 74   the C code in t
0620: 68 65 20 61 72 67 75 6d 65 6e 74 20 74 6f 20 73  he argument to s
0630: 65 65 20 69 66 20 69 74 20 6d 69 67 68 74 20 68  ee if it might h
0640: 61 76 65 0a 2a 2a 20 73 69 64 65 20 65 66 66 65  ave.** side effe
0650: 63 74 73 2e 20 20 54 68 65 20 6f 6e 6c 79 20 61  cts.  The only a
0660: 63 63 75 72 61 74 65 20 77 61 79 20 74 6f 20 6b  ccurate way to k
0670: 6e 6f 77 20 74 68 69 73 20 69 73 20 74 6f 20 64  now this is to d
0680: 6f 20 61 20 66 75 6c 6c 0a 2a 2a 20 70 61 72 73  o a full.** pars
0690: 65 20 6f 66 20 74 68 65 20 43 20 63 6f 64 65 2c  e of the C code,
06a0: 20 77 68 69 63 68 20 74 68 69 73 20 72 6f 75 74   which this rout
06b0: 69 6e 65 20 64 6f 65 73 20 6e 6f 74 20 64 6f 2e  ine does not do.
06c0: 20 20 54 68 69 73 20 72 6f 75 74 69 6e 65 0a 2a    This routine.*
06d0: 2a 20 75 73 65 73 20 61 20 73 69 6d 70 6c 65 20  * uses a simple 
06e0: 68 65 75 72 69 73 74 69 63 20 6f 66 20 6c 6f 6f  heuristic of loo
06f0: 6b 69 6e 67 20 66 6f 72 3a 0a 2a 2a 0a 2a 2a 20  king for:.**.** 
0700: 20 20 20 2a 20 20 27 3d 27 20 6e 6f 74 20 69 6d     *  '=' not im
0710: 6d 65 64 69 61 74 65 6c 79 20 61 66 74 65 72 20  mediately after 
0720: 27 3e 27 2c 20 27 3c 27 2c 20 27 21 27 2c 20 6f  '>', '<', '!', o
0730: 72 20 27 3d 27 2e 0a 2a 2a 20 20 20 20 2a 20 20  r '='..**    *  
0740: 27 2b 2b 27 0a 2a 2a 20 20 20 20 2a 20 20 27 2d  '++'.**    *  '-
0750: 2d 27 0a 2a 2a 0a 2a 2a 20 49 66 20 74 68 65 20  -'.**.** If the 
0760: 63 6f 64 65 20 63 6f 6e 74 61 69 6e 73 20 74 68  code contains th
0770: 65 20 70 68 72 61 73 65 20 22 73 69 64 65 2d 65  e phrase "side-e
0780: 66 66 65 63 74 73 2d 6f 6b 22 20 69 73 20 69 6e  ffects-ok" is in
0790: 73 69 64 65 20 61 20 0a 2a 2a 20 63 6f 6d 6d 65  side a .** comme
07a0: 6e 74 2c 20 74 68 65 6e 20 61 6c 77 61 79 73 20  nt, then always 
07b0: 72 65 74 75 72 6e 20 66 61 6c 73 65 2e 20 20 54  return false.  T
07c0: 68 69 73 20 69 73 20 75 73 65 64 20 74 6f 20 64  his is used to d
07d0: 69 73 61 62 6c 65 20 63 68 65 63 6b 69 6e 67 0a  isable checking.
07e0: 2a 2a 20 66 6f 72 20 61 73 73 65 72 74 28 29 73  ** for assert()s
07f0: 20 77 69 74 68 20 64 65 6c 69 62 65 72 61 74 65   with deliberate
0800: 20 73 69 64 65 2d 65 66 66 65 63 74 73 2c 20 73   side-effects, s
0810: 75 63 68 20 61 73 20 75 73 65 64 20 62 79 0a 2a  uch as used by.*
0820: 2a 20 53 51 4c 49 54 45 5f 54 45 53 54 43 54 52  * SQLITE_TESTCTR
0830: 4c 5f 41 53 53 45 52 54 20 2d 20 61 20 66 61 63  L_ASSERT - a fac
0840: 69 6c 69 74 79 20 74 68 61 74 20 61 6c 6c 6f 77  ility that allow
0850: 73 20 61 70 70 6c 69 63 61 74 69 6f 6e 73 20 74  s applications t
0860: 6f 0a 2a 2a 20 64 65 74 65 72 6d 69 6e 65 20 61  o.** determine a
0870: 74 20 72 75 6e 74 69 6d 65 20 77 68 65 74 68 65  t runtime whethe
0880: 72 20 6f 72 20 6e 6f 74 20 61 73 73 65 72 74 28  r or not assert(
0890: 29 73 20 61 72 65 20 65 6e 61 62 6c 65 64 2e 20  )s are enabled. 
08a0: 20 0a 2a 2a 20 4f 62 76 69 6f 75 73 6c 79 2c 20   .** Obviously, 
08b0: 74 68 61 74 20 64 65 74 65 72 6d 69 6e 61 74 69  that determinati
08c0: 6f 6e 20 63 61 6e 6e 6f 74 20 62 65 20 6d 61 64  on cannot be mad
08d0: 65 20 75 6e 6c 65 73 73 20 74 68 65 20 61 73 73  e unless the ass
08e0: 65 72 74 28 29 0a 2a 2a 20 68 61 73 20 73 6f 6d  ert().** has som
08f0: 65 20 73 69 64 65 2d 65 66 66 65 63 74 2e 0a 2a  e side-effect..*
0900: 2a 0a 2a 2a 20 52 65 74 75 72 6e 20 74 72 75 65  *.** Return true
0910: 20 69 66 20 61 20 73 69 64 65 20 65 66 66 65 63   if a side effec
0920: 74 20 69 73 20 73 65 65 6e 2e 20 20 52 65 74 75  t is seen.  Retu
0930: 72 6e 20 66 61 6c 73 65 20 69 66 20 6e 6f 74 2e  rn false if not.
0940: 0a 2a 2f 0a 73 74 61 74 69 63 20 69 6e 74 20 68  .*/.static int h
0950: 61 73 53 69 64 65 45 66 66 65 63 74 28 63 6f 6e  asSideEffect(con
0960: 73 74 20 63 68 61 72 20 2a 7a 2c 20 75 6e 73 69  st char *z, unsi
0970: 67 6e 65 64 20 69 6e 74 20 6e 29 7b 0a 20 20 75  gned int n){.  u
0980: 6e 73 69 67 6e 65 64 20 69 6e 74 20 69 3b 0a 20  nsigned int i;. 
0990: 20 66 6f 72 28 69 3d 30 3b 20 69 3c 6e 3b 20 69   for(i=0; i<n; i
09a0: 2b 2b 29 7b 0a 20 20 20 20 69 66 28 20 7a 5b 69  ++){.    if( z[i
09b0: 5d 3d 3d 27 2f 27 20 26 26 20 73 74 72 6e 63 6d  ]=='/' && strncm
09c0: 70 28 26 7a 5b 69 5d 2c 20 22 2f 2a 73 69 64 65  p(&z[i], "/*side
09d0: 2d 65 66 66 65 63 74 73 2d 6f 6b 2a 2f 22 2c 20  -effects-ok*/", 
09e0: 31 39 29 3d 3d 30 20 29 20 72 65 74 75 72 6e 20  19)==0 ) return 
09f0: 30 3b 0a 20 20 20 20 69 66 28 20 7a 5b 69 5d 3d  0;.    if( z[i]=
0a00: 3d 27 3d 27 20 26 26 20 69 3e 30 20 26 26 20 7a  ='=' && i>0 && z
0a10: 5b 69 2d 31 5d 21 3d 27 3d 27 20 26 26 20 7a 5b  [i-1]!='=' && z[
0a20: 69 2d 31 5d 21 3d 27 3e 27 0a 20 20 20 20 20 20  i-1]!='>'.      
0a30: 20 20 20 20 20 26 26 20 7a 5b 69 2d 31 5d 21 3d       && z[i-1]!=
0a40: 27 3c 27 20 26 26 20 7a 5b 69 2d 31 5d 21 3d 27  '<' && z[i-1]!='
0a50: 21 27 20 26 26 20 7a 5b 69 2b 31 5d 21 3d 27 3d  !' && z[i+1]!='=
0a60: 27 20 29 20 72 65 74 75 72 6e 20 31 3b 0a 20 20  ' ) return 1;.  
0a70: 20 20 69 66 28 20 7a 5b 69 5d 3d 3d 27 2b 27 20    if( z[i]=='+' 
0a80: 26 26 20 7a 5b 69 2b 31 5d 3d 3d 27 2b 27 20 29  && z[i+1]=='+' )
0a90: 20 72 65 74 75 72 6e 20 31 3b 0a 20 20 20 20 69   return 1;.    i
0aa0: 66 28 20 7a 5b 69 5d 3d 3d 27 2d 27 20 26 26 20  f( z[i]=='-' && 
0ab0: 7a 5b 69 2b 31 5d 3d 3d 27 2d 27 20 29 20 72 65  z[i+1]=='-' ) re
0ac0: 74 75 72 6e 20 31 3b 0a 20 20 7d 0a 20 20 72 65  turn 1;.  }.  re
0ad0: 74 75 72 6e 20 30 3b 0a 7d 0a 0a 2f 2a 20 52 65  turn 0;.}../* Re
0ae0: 74 75 72 6e 20 74 68 65 20 6e 75 6d 62 65 72 20  turn the number 
0af0: 6f 66 20 62 79 74 65 73 20 69 6e 20 73 74 72 69  of bytes in stri
0b00: 6e 67 20 7a 5b 5d 20 70 72 69 6f 72 20 74 6f 20  ng z[] prior to 
0b10: 74 68 65 20 66 69 72 73 74 20 75 6e 6d 61 74 63  the first unmatc
0b20: 68 65 64 20 27 29 27 0a 2a 2a 20 63 68 61 72 61  hed ')'.** chara
0b30: 63 74 65 72 2e 0a 2a 2f 0a 73 74 61 74 69 63 20  cter..*/.static 
0b40: 75 6e 73 69 67 6e 65 64 20 69 6e 74 20 66 69 6e  unsigned int fin
0b50: 64 43 6c 6f 73 65 50 61 72 65 6e 28 63 6f 6e 73  dCloseParen(cons
0b60: 74 20 63 68 61 72 20 2a 7a 29 7b 0a 20 20 75 6e  t char *z){.  un
0b70: 73 69 67 6e 65 64 20 69 6e 74 20 6e 4f 70 65 6e  signed int nOpen
0b80: 20 3d 20 30 3b 0a 20 20 75 6e 73 69 67 6e 65 64   = 0;.  unsigned
0b90: 20 69 3b 0a 20 20 66 6f 72 28 69 3d 30 3b 20 7a   i;.  for(i=0; z
0ba0: 5b 69 5d 3b 20 69 2b 2b 29 7b 0a 20 20 20 20 69  [i]; i++){.    i
0bb0: 66 28 20 7a 5b 69 5d 3d 3d 27 28 27 20 29 20 6e  f( z[i]=='(' ) n
0bc0: 4f 70 65 6e 2b 2b 3b 0a 20 20 20 20 69 66 28 20  Open++;.    if( 
0bd0: 7a 5b 69 5d 3d 3d 27 29 27 20 29 7b 0a 20 20 20  z[i]==')' ){.   
0be0: 20 20 20 69 66 28 20 6e 4f 70 65 6e 3d 3d 30 20     if( nOpen==0 
0bf0: 29 20 62 72 65 61 6b 3b 0a 20 20 20 20 20 20 6e  ) break;.      n
0c00: 4f 70 65 6e 2d 2d 3b 0a 20 20 20 20 7d 0a 20 20  Open--;.    }.  
0c10: 7d 0a 20 20 72 65 74 75 72 6e 20 69 3b 0a 7d 0a  }.  return i;.}.
0c20: 0a 2f 2a 20 53 65 61 72 63 68 20 66 6f 72 20 69  ./* Search for i
0c30: 6e 73 74 61 6e 63 65 73 20 6f 66 20 61 73 73 65  nstances of asse
0c40: 72 74 28 2e 2e 2e 29 2c 20 41 4c 57 41 59 53 28  rt(...), ALWAYS(
0c50: 2e 2e 2e 29 2c 20 4e 45 56 45 52 28 2e 2e 2e 29  ...), NEVER(...)
0c60: 2c 20 61 6e 64 2f 6f 72 0a 2a 2a 20 74 65 73 74  , and/or.** test
0c70: 63 61 73 65 28 2e 2e 2e 29 20 77 68 65 72 65 20  case(...) where 
0c80: 74 68 65 20 61 72 67 75 6d 65 6e 74 20 63 6f 6e  the argument con
0c90: 74 61 69 6e 73 20 73 69 64 65 20 65 66 66 65 63  tains side effec
0ca0: 74 73 2e 0a 2a 2a 0a 2a 2a 20 50 72 69 6e 74 20  ts..**.** Print 
0cb0: 65 72 72 6f 72 20 6d 65 73 73 61 67 65 73 20 77  error messages w
0cc0: 68 65 6e 65 76 65 72 20 61 20 73 69 64 65 20 65  henever a side e
0cd0: 66 66 65 63 74 20 69 73 20 66 6f 75 6e 64 2e 20  ffect is found. 
0ce0: 20 52 65 74 75 72 6e 20 74 68 65 20 6e 75 6d 62   Return the numb
0cf0: 65 72 0a 2a 2a 20 6f 66 20 70 72 6f 62 6c 65 6d  er.** of problem
0d00: 73 20 73 65 65 6e 2e 0a 2a 2f 0a 73 74 61 74 69  s seen..*/.stati
0d10: 63 20 75 6e 73 69 67 6e 65 64 20 69 6e 74 20 66  c unsigned int f
0d20: 69 6e 64 41 6c 6c 53 69 64 65 45 66 66 65 63 74  indAllSideEffect
0d30: 73 28 63 6f 6e 73 74 20 75 6e 73 69 67 6e 65 64  s(const unsigned
0d40: 20 63 68 61 72 20 2a 7a 29 7b 0a 20 20 75 6e 73   char *z){.  uns
0d50: 69 67 6e 65 64 20 69 6e 74 20 6c 69 6e 65 6e 6f  igned int lineno
0d60: 20 3d 20 31 3b 20 20 20 2f 2a 20 4c 69 6e 65 20   = 1;   /* Line 
0d70: 6e 75 6d 62 65 72 20 2a 2f 0a 20 20 75 6e 73 69  number */.  unsi
0d80: 67 6e 65 64 20 69 6e 74 20 69 3b 0a 20 20 75 6e  gned int i;.  un
0d90: 73 69 67 6e 65 64 20 69 6e 74 20 6e 45 72 72 20  signed int nErr 
0da0: 3d 20 30 3b 0a 20 20 75 6e 73 69 67 6e 65 64 20  = 0;.  unsigned 
0db0: 63 68 61 72 20 63 2c 20 70 72 65 76 43 20 3d 20  char c, prevC = 
0dc0: 30 3b 0a 20 20 66 6f 72 28 69 3d 30 3b 20 28 63  0;.  for(i=0; (c
0dd0: 20 3d 20 7a 5b 69 5d 29 21 3d 30 3b 20 70 72 65   = z[i])!=0; pre
0de0: 76 43 3d 63 2c 20 69 2b 2b 29 7b 0a 20 20 20 20  vC=c, i++){.    
0df0: 69 66 28 20 63 3d 3d 27 5c 6e 27 20 29 7b 20 6c  if( c=='\n' ){ l
0e00: 69 6e 65 6e 6f 2b 2b 3b 20 63 6f 6e 74 69 6e 75  ineno++; continu
0e10: 65 3b 20 7d 0a 20 20 20 20 69 66 28 20 69 73 61  e; }.    if( isa
0e20: 6c 70 68 61 28 63 29 20 26 26 20 21 69 73 61 6c  lpha(c) && !isal
0e30: 70 68 61 28 70 72 65 76 43 29 20 29 7b 0a 20 20  pha(prevC) ){.  
0e40: 20 20 20 20 69 66 28 20 73 74 72 6e 63 6d 70 28      if( strncmp(
0e50: 26 7a 5b 69 5d 2c 22 61 73 73 65 72 74 28 22 2c  &z[i],"assert(",
0e60: 37 29 3d 3d 30 0a 20 20 20 20 20 20 20 7c 7c 20  7)==0.       || 
0e70: 73 74 72 6e 63 6d 70 28 26 7a 5b 69 5d 2c 22 41  strncmp(&z[i],"A
0e80: 4c 57 41 59 53 28 22 2c 37 29 3d 3d 30 0a 20 20  LWAYS(",7)==0.  
0e90: 20 20 20 20 20 7c 7c 20 73 74 72 6e 63 6d 70 28       || strncmp(
0ea0: 26 7a 5b 69 5d 2c 22 4e 45 56 45 52 28 22 2c 36  &z[i],"NEVER(",6
0eb0: 29 3d 3d 30 0a 20 20 20 20 20 20 20 7c 7c 20 73  )==0.       || s
0ec0: 74 72 6e 63 6d 70 28 26 7a 5b 69 5d 2c 22 74 65  trncmp(&z[i],"te
0ed0: 73 74 63 61 73 65 28 22 2c 39 29 3d 3d 30 0a 20  stcase(",9)==0. 
0ee0: 20 20 20 20 20 29 7b 0a 20 20 20 20 20 20 20 20       ){.        
0ef0: 75 6e 73 69 67 6e 65 64 20 69 6e 74 20 6e 3b 0a  unsigned int n;.
0f00: 20 20 20 20 20 20 20 20 75 6e 73 69 67 6e 65 64          unsigned
0f10: 20 63 6f 6e 73 74 20 63 68 61 72 20 2a 7a 32 20   const char *z2 
0f20: 3d 20 26 7a 5b 69 2b 35 5d 3b 0a 20 20 20 20 20  = &z[i+5];.     
0f30: 20 20 20 77 68 69 6c 65 28 20 7a 32 5b 30 5d 21     while( z2[0]!
0f40: 3d 27 28 27 20 29 7b 20 7a 32 2b 2b 3b 20 7d 0a  ='(' ){ z2++; }.
0f50: 20 20 20 20 20 20 20 20 7a 32 2b 2b 3b 0a 20 20          z2++;.  
0f60: 20 20 20 20 20 20 6e 20 3d 20 66 69 6e 64 43 6c        n = findCl
0f70: 6f 73 65 50 61 72 65 6e 28 7a 32 29 3b 0a 20 20  oseParen(z2);.  
0f80: 20 20 20 20 20 20 69 66 28 20 68 61 73 53 69 64        if( hasSid
0f90: 65 45 66 66 65 63 74 28 7a 32 2c 20 6e 29 20 29  eEffect(z2, n) )
0fa0: 7b 0a 20 20 20 20 20 20 20 20 20 20 6e 45 72 72  {.          nErr
0fb0: 2b 2b 3b 0a 20 20 20 20 20 20 20 20 20 20 66 70  ++;.          fp
0fc0: 72 69 6e 74 66 28 73 74 64 65 72 72 2c 20 22 73  rintf(stderr, "s
0fd0: 69 64 65 2d 65 66 66 65 63 74 20 6c 69 6e 65 20  ide-effect line 
0fe0: 25 75 3a 20 25 2e 2a 73 5c 6e 22 2c 20 6c 69 6e  %u: %.*s\n", lin
0ff0: 65 6e 6f 2c 0a 20 20 20 20 20 20 20 20 20 20 20  eno,.           
1000: 20 20 20 20 20 20 20 28 69 6e 74 29 28 26 7a 32         (int)(&z2
1010: 5b 6e 2b 31 5d 20 2d 20 26 7a 5b 69 5d 29 2c 20  [n+1] - &z[i]), 
1020: 26 7a 5b 69 5d 29 3b 0a 20 20 20 20 20 20 20 20  &z[i]);.        
1030: 7d 0a 20 20 20 20 20 20 7d 0a 20 20 20 20 7d 0a  }.      }.    }.
1040: 20 20 7d 0a 20 20 72 65 74 75 72 6e 20 6e 45 72    }.  return nEr
1050: 72 3b 0a 7d 0a 0a 69 6e 74 20 6d 61 69 6e 28 69  r;.}..int main(i
1060: 6e 74 20 61 72 67 63 2c 20 63 68 61 72 20 2a 2a  nt argc, char **
1070: 61 72 67 76 29 7b 0a 20 20 75 6e 73 69 67 6e 65  argv){.  unsigne
1080: 64 20 63 68 61 72 20 2a 7a 3b 0a 20 20 75 6e 73  d char *z;.  uns
1090: 69 67 6e 65 64 20 69 6e 74 20 6e 45 72 72 20 3d  igned int nErr =
10a0: 20 30 3b 0a 20 20 69 66 28 20 61 72 67 63 21 3d   0;.  if( argc!=
10b0: 32 20 29 7b 0a 20 20 20 20 66 70 72 69 6e 74 66  2 ){.    fprintf
10c0: 28 73 74 64 65 72 72 2c 20 22 55 73 61 67 65 3a  (stderr, "Usage:
10d0: 20 25 73 20 46 49 4c 45 4e 41 4d 45 5c 6e 22 2c   %s FILENAME\n",
10e0: 20 61 72 67 76 5b 30 5d 29 3b 0a 20 20 20 20 72   argv[0]);.    r
10f0: 65 74 75 72 6e 20 31 3b 0a 20 20 7d 0a 20 20 7a  eturn 1;.  }.  z
1100: 20 3d 20 72 65 61 64 46 69 6c 65 28 61 72 67 76   = readFile(argv
1110: 5b 31 5d 29 3b 0a 20 20 6e 45 72 72 20 3d 20 66  [1]);.  nErr = f
1120: 69 6e 64 41 6c 6c 53 69 64 65 45 66 66 65 63 74  indAllSideEffect
1130: 73 28 7a 29 3b 0a 20 20 66 72 65 65 28 7a 29 3b  s(z);.  free(z);
1140: 0a 20 20 69 66 28 20 6e 45 72 72 20 29 7b 0a 20  .  if( nErr ){. 
1150: 20 20 20 66 70 72 69 6e 74 66 28 73 74 64 65 72     fprintf(stder
1160: 72 2c 20 22 46 6f 75 6e 64 20 25 75 20 75 6e 64  r, "Found %u und
1170: 65 73 69 72 61 62 6c 65 20 73 69 64 65 2d 65 66  esirable side-ef
1180: 66 65 63 74 73 5c 6e 22 2c 20 6e 45 72 72 29 3b  fects\n", nErr);
1190: 0a 20 20 20 20 72 65 74 75 72 6e 20 31 3b 0a 20  .    return 1;. 
11a0: 20 7d 0a 20 20 72 65 74 75 72 6e 20 30 3b 20 0a   }.  return 0; .
11b0: 7d 0a                                            }.