# 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];
/*@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)
/*@*/ ;
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
{