Fixed problem with shadow parameters.

[splint.git] / src / aliasTable.c

diff --git a/src/aliasTable.c b/src/aliasTable.c
index 8a94f2dccfb34c8cfea7acc2656c4d9cc5312939..4773e39aaef8eaeb17f89cc79e4c12e1b738ee02 100644 (file)
--- a/src/aliasTable.c
+++ b/src/aliasTable.c
@@ -1,6 +1,6 @@
 /*
 ** Splint - annotation-assisted static program checker
-** Copyright (C) 1994-2002 University of Virginia,
+** Copyright (C) 1994-2003 University of Virginia,
 **         Massachusetts Institute of Technology
 **
 ** This program is free software; you can redistribute it and/or modify it
@@ -51,8 +51,8 @@ aliasTable_newEmpty (void)
   
   s->nelements = 0;
   s->nspace = aliasTableBASESIZE;
-  s->keys     = (sRef *) dmalloc (sizeof (*s->keys) * aliasTableBASESIZE);
-  s->values   = (sRefSet *) dmalloc (sizeof (*s->values) * aliasTableBASESIZE);
+  s->keys = (sRef *) dmalloc (sizeof (*s->keys) * aliasTableBASESIZE);
+  s->values = (sRefSet *) dmalloc (sizeof (*s->values) * aliasTableBASESIZE);
   
   return (s);
 }
@@ -94,6 +94,9 @@ static int aliasTable_lookupRefs (/*@notnull@*/ aliasTable s, sRef sr)
     {
       if (sRef_same (sr, s->keys[i])) 
        {
+         DPRINTF (("sRef match: %s / %s",
+                   sRef_unparseFull (sr),
+                   sRef_unparseFull (s->keys[i])));
          return i;
        }
     }
@@ -834,11 +837,11 @@ void aliasTable_checkValid (aliasTable t)
 {
   aliasTable_elements (t, key, value)
     {
-      (void) sRef_isCompletelyReasonable (key);
+      sRef_checkCompletelyReasonable (key);
 
       sRefSet_elements (value, sr) 
        {
-         (void) sRef_isCompletelyReasonable (sr);
+         sRef_checkCompletelyReasonable (sr);
        } end_sRefSet_elements ;
     } end_aliasTable_elements ;
 }