Fixed problem with shadow parameters.

[splint.git] / src / aliasTable.c

diff --git a/src/aliasTable.c b/src/aliasTable.c
index 3246c697593e1d4ee7da49f0a9eaa8fea97a6034..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;
        }
     }