Fixed problem with shadow parameters.

[splint.git] / src / aliasTable.c

diff --git a/src/aliasTable.c b/src/aliasTable.c
index 58c3126d60c3e0a0e246d3e292b7973c7a4f2ee9..4773e39aaef8eaeb17f89cc79e4c12e1b738ee02 100644 (file)
--- a/src/aliasTable.c
+++ b/src/aliasTable.c
@@ -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;
        }
     }