/*
** 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
what you give them. Help stamp out software-hoarding! */
# include "splintMacros.nf"
-# include "llbasic.h"
+# include "basic.h"
# include <string.h>
# include "cpplib.h"
# include "cpphash.h"
int ivalue, char *value, int hash)
{
hashNode hp;
- int i, bucket;
+ int bucket;
char *p;
DPRINTF (("Install: %s / %d", name, len));
hash = cpphash_hashCode (name, size_fromInt (len), CPP_HASHSIZE);
}
- i = sizeof (*hp) + len + 1;
-
hp = (hashNode) dmalloc (sizeof (*hp));
bucket = hash;
hp->bucket_hdr = &hashtab[bucket];