src/typeIdSet.c

   1 /*
   2 ** LCLint - annotation-assisted static program checker
   3 ** Copyright (C) 1994-2001 University of Virginia,
   4 **         Massachusetts Institute of Technology
   5 **
   6 ** This program is free software; you can redistribute it and/or modify it
   7 ** under the terms of the GNU General Public License as published by the
   8 ** Free Software Foundation; either version 2 of the License, or (at your
   9 ** option) any later version.
  10 **
  11 ** This program is distributed in the hope that it will be useful, but
  12 ** WITHOUT ANY WARRANTY; without even the implied warranty of
  13 ** MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  14 ** General Public License for more details.
  15 **
  16 ** The GNU General Public License is available from http://www.gnu.org/ or
  17 ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
  18 ** MA 02111-1307, USA.
  19 **
  20 ** For information on lclint: lclint-request@cs.virginia.edu
  21 ** To report a bug: lclint-bug@cs.virginia.edu
  22 ** For more information: http://lclint.cs.virginia.edu
  23 */
  24 /*
  25 ** typeIdSet.c
  26 */
  27
  28 # include "lclintMacros.nf"
  29 # include "basic.h"
  30
  31 /*@constant int TISTABLEBASESIZE;@*/
  32 # define TISTABLEBASESIZE LARGEBASESIZE
  33
  34 static int tistableentries = 0;
  35 static int tistablefree = 0;
  36 typedef /*@only@*/ usymIdSet o_usymIdSet;
  37 static /*@only@*/ o_usymIdSet *tistable;
  38 static void tistable_addDirectEntry (/*@only@*/ usymIdSet p_s)
  39    /*@modifies tistable, tistableentries, tistablefree@*/;
  40
  41 void typeIdSet_initMod (void)
  42    /*@globals undef tistable;@*/
  43    /*@modifies tistable, tistablefree;@*/
  44 {
  45   llassert (tistableentries == 0 && tistablefree == 0);
  46
  47   tistablefree = TISTABLEBASESIZE;
  48   tistable = (usymIdSet *) dmalloc (sizeof (tistable) * tistablefree);
  49   tistable[0] = usymIdSet_undefined;
  50   tistableentries = 1;
  51   tistablefree--;
  52 }
  53
  54 void typeIdSet_destroyMod (void)
  55    /*@globals killed tistable, tistableentries@*/
  56 {
  57   int i;
  58
  59   for (i = 0; i < tistableentries; i++)
  60     {
  61       usymIdSet_free (tistable[i]);
  62     }
  63
  64   sfree (tistable);
  65   tistableentries = 0;
  66 }
  67
  68 void typeIdSet_dumpTable (FILE *fout)
  69 {
  70   int i;
  71
  72   /*
  73   ** Don't dump 0th entry
  74   */
  75
  76   for (i = 1; i < tistableentries; i++)
  77     {
  78       cstring s = usymIdSet_dump (tistable[i]);
  79
  80       fprintf (fout, "%s\n", cstring_toCharsSafe (s));
  81       cstring_free (s);
  82     }
  83 }
  84
  85 static /*@unused@*/ void tistable_printOut (void)
  86 {
  87   int i;
  88
  89   /*
  90   ** Don't dump 0th entry
  91   */
  92
  93   for (i = 1; i < tistableentries; i++)
  94     {
  95       cstring s = usymIdSet_unparse (tistable[i]);
  96
  97       fprintf (g_msgstream, "%d: %s\n", i, cstring_toCharsSafe (s));
  98       cstring_free (s);
  99     }
 100 }
 101
 102 void typeIdSet_loadTable (FILE *fin)
 103 {
 104   char *s = mstring_create (MAX_DUMP_LINE_LENGTH);
 105   char *os = s;
 106
 107   llassert (tistableentries == 1);
 108
 109   s = reader_readLine (fin, s, MAX_DUMP_LINE_LENGTH);
 110
 111   while (s != NULL && *s != ';')
 112     {
 113       usymIdSet u = usymIdSet_undump (&s);
 114
 115       llassert (*s == '\0' || *s == '\n');
 116
 117       tistable_addDirectEntry (u);
 118       s = reader_readLine (fin, os, MAX_DUMP_LINE_LENGTH);
 119     }
 120
 121   /*@i32 free os? @*/
 122 }
 123
 124 static void tistable_grow (void)
 125 {
 126   o_usymIdSet *oldtable = tistable;
 127   int newsize = tistableentries + TISTABLEBASESIZE;
 128   int i;
 129
 130   llassert (tistablefree == 0);
 131
 132   tistable = (usymIdSet *) dmalloc (sizeof (tistable) * newsize);
 133
 134   for (i = 0; i < tistableentries; i++)
 135     {
 136       tistable[i] = oldtable[i];
 137     }
 138
 139   tistablefree = TISTABLEBASESIZE;
 140   sfree (oldtable);
 141 }
 142
 143 static void tistable_addDirectEntry (/*@only@*/ usymIdSet s)
 144 {
 145   if (tistablefree == 0)
 146     {
 147       tistable_grow ();
 148     }
 149
 150   tistable[tistableentries] = s;
 151   tistableentries++;
 152   tistablefree--;
 153 }
 154
 155 static int tistable_addEntry (/*@only@*/ usymIdSet s)
 156 {
 157   int i;
 158
 159
 160   for (i = 0; i < tistableentries; i++)
 161     {
 162       if (usymIdSet_compare (tistable[i], s) == 0)
 163         {
 164           /*@access usymIdSet@*/
 165           llassert (i == 0 || s != tistable[i]);
 166           /*@noaccess usymIdSet@*/
 167
 168           usymIdSet_free (s);
 169                   return i;
 170         }
 171     }
 172
 173   tistable_addDirectEntry (s);
 174   return (tistableentries - 1);
 175 }
 176
 177 static /*@observer@*/ usymIdSet tistable_fetch (typeIdSet t)
 178    /*@globals tistableentries, tistable@*/
 179    /*@modifies nothing;@*/
 180 {
 181   llassert (t >= 0 && t < tistableentries);
 182
 183   return tistable[t];
 184 }
 185
 186 typeIdSet typeIdSet_emptySet (void)
 187 {
 188   if (tistableentries == 0)
 189     {
 190       int val = tistable_addEntry (usymIdSet_new ());
 191
 192       llassert (val == 0);
 193     }
 194
 195   llassert (usymIdSet_isUndefined (tistable[0]));
 196   return 0;
 197 }
 198
 199 bool typeIdSet_member (typeIdSet t, typeId el)
 200 {
 201   usymIdSet u = tistable_fetch (t);
 202
 203   return usymIdSet_member (u, el);
 204 }
 205
 206 bool typeIdSet_isEmpty (typeIdSet t)
 207 {
 208   return (t == 0);
 209 }
 210
 211 typeIdSet typeIdSet_single (typeId t)
 212 {
 213   return (tistable_addEntry (usymIdSet_single (t)));
 214 }
 215
 216 typeIdSet typeIdSet_singleOpt (typeId t)
 217 {
 218   if (typeId_isValid (t))
 219     {
 220       return (tistable_addEntry (usymIdSet_single (t)));
 221     }
 222   else
 223     {
 224       return typeIdSet_empty;
 225     }
 226 }
 227
 228 typeIdSet typeIdSet_insert (typeIdSet t, typeId el)
 229 {
 230   usymIdSet u = tistable_fetch (t);
 231
 232   if (usymIdSet_member (u, el))
 233     {
 234       return t;
 235     }
 236   else
 237     {
 238       return (tistable_addEntry (usymIdSet_add (u, el)));
 239     }
 240 }
 241
 242 typeIdSet typeIdSet_removeFresh (typeIdSet t, typeId el)
 243 {
 244   return (tistable_addEntry (usymIdSet_removeFresh (tistable_fetch (t), el)));
 245 }
 246
 247 cstring typeIdSet_unparse (typeIdSet t)
 248 {
 249   return (usymIdSet_unparse (tistable_fetch (t)));
 250 }
 251
 252 int typeIdSet_compare (typeIdSet t1, typeIdSet t2)
 253 {
 254   return (int_compare (t1, t2));
 255 }
 256
 257 typeIdSet typeIdSet_subtract (typeIdSet s, typeIdSet t)
 258 {
 259   if (typeIdSet_isEmpty (t))
 260     {
 261       return s;
 262     }
 263   else
 264     {
 265       return (tistable_addEntry (usymIdSet_subtract (tistable_fetch (s),
 266                                                      tistable_fetch (t))));
 267     }
 268 }
 269
 270 cstring typeIdSet_dump (typeIdSet t)
 271 {
 272   return (message ("%d", t));
 273 }
 274
 275 typeIdSet typeIdSet_undump (char **s)
 276 {
 277   int i;
 278
 279
 280   i = reader_getInt (s);
 281
 282   llassert (i >= 0 && i < tistableentries);
 283   return (typeIdSet) i;
 284 }
 285
 286 typeIdSet typeIdSet_union (typeIdSet t1, typeIdSet t2)
 287 {
 288   if (t1 == typeIdSet_undefined)
 289     {
 290       return t2;
 291     }
 292   else if (t2 == typeIdSet_undefined)
 293     {
 294       return t1;
 295     }
 296   else
 297     {
 298       return (tistable_addEntry (usymIdSet_newUnion (tistable_fetch (t1),
 299                                                      tistable_fetch (t2))));
 300     }
 301 }