*** empty log message ***

[splint.git] / src / cpphash.c

diff --git a/src/cpphash.c b/src/cpphash.c
index 9f316a441c9e74dfeaec934e81eafff6e5ca5d4f..520f063028dfaddf815ee96f0b861cacc4c0b929 100644 (file)
--- a/src/cpphash.c
+++ b/src/cpphash.c
@@ -1,6 +1,6 @@
 /*
 ** LCLint - annotation-assisted static program checker
-** Copyright (C) 1994-2000 University of Virginia,
+** Copyright (C) 1994-2001 University of Virginia,
 **         Massachusetts Institute of Technology
 **
 ** This program is free software; you can redistribute it and/or modify it
@@ -58,7 +58,7 @@ Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
 # include "cpplib.h"
 # include "cpphash.h"
 
-typedef /*@only@*/ HASHNODE *o_HASHNODE;
+typedef /*@null@*/ /*@only@*/ HASHNODE *o_HASHNODE;
 
 static o_HASHNODE hashtab[CPP_HASHSIZE]; 
 static o_HASHNODE ohashtab[CPP_HASHSIZE];
@@ -73,9 +73,11 @@ static void HashNode_delete (/*@null@*/ /*@only@*/ HASHNODE *);
 /*@function static unsigned int makePositive (unsigned int) modifies nothing ; @*/
 # define makePositive(v) ((v) & 0x7fffffff) /* make number positive */
 
+typedef /*@null@*/ HASHNODE n_HASHNODE;
+
 static /*@null@*/ HASHNODE *
    HashNode_copy (/*@null@*/ HASHNODE *, 
-                 /*@dependent@*/ HASHNODE **p_hdr, 
+                 /*@null@*/ /*@dependent@*/ n_HASHNODE **p_hdr, 
                  /*@dependent@*/ /*@null@*/ /*@special@*/ HASHNODE *p_prev) 
      /*@*/ ;
 
@@ -227,7 +229,7 @@ static void HashNode_delete (/*@only@*/ /*@null@*/ HASHNODE *node)
          else if (node->type == T_PCSTRING) 
            {
              res->value.cpval = mstring_copy (node->value.cpval);
-                 llassert (res->value.cpval != NULL);
+             llassert (res->value.cpval != NULL);
            } 
          else 
            {