X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/02b84d4bc77bd351754ac9a8ac7771a9a3e2336f..5b99bfd6792ab9229bb5b1d9048833d21b22ecef:/src/aliasTable.c

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