Chiebot-Mirror
/
yasm
mirror of https://github.com/yasm/yasm.git
9
0
Fork 0
Code Issues Projects Releases Wiki Activity

Splint cleanups.

Browse Source 
svn path=/trunk/yasm/; revision=594
0.3
Peter Johnson 23 years ago
parent 1b6ca83117
commit fa5199cf4d
2 changed files with 10 additions and 12 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Split View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 11
      libyasm/hamt.c
  2. 11
      src/hamt.c

11
libyasm/hamt.c
Unescape View File

@ -76,23 +76,22 @@ ReHashKey(const char *key, int Level)
return vHash;
}
/*@-compdef -nullret@*/
HAMT *
HAMT_new(void)
{
HAMT *hamt;
/*@out@*/ HAMT *hamt = xmalloc(sizeof(HAMT));
int i;
hamt = xmalloc(sizeof(HAMT));
SLIST_INIT(&hamt->entries);
hamt->root = xmalloc(32*sizeof(HAMTNode));
for (i=0; i<32; i++)
for (i=0; i<32; i++) {
hamt->root[i].BitMapKey = 0;
hamt->root[i].BaseValue = NULL;
}
return hamt;
}
/*@=compdef =nullret@*/
static void
HAMT_delete_trie(HAMTNode *node)
@ -111,7 +110,7 @@ HAMT_delete_trie(HAMTNode *node)
}
void
HAMT_delete(HAMT *hamt, void (*deletefunc) (/*@keep@*/ void *data))
HAMT_delete(HAMT *hamt, void (*deletefunc) (/*@only@*/ void *data))
{
int i;

11
src/hamt.c
Unescape View File

@ -76,23 +76,22 @@ ReHashKey(const char *key, int Level)
return vHash;
}
/*@-compdef -nullret@*/
HAMT *
HAMT_new(void)
{
HAMT *hamt;
/*@out@*/ HAMT *hamt = xmalloc(sizeof(HAMT));
int i;
hamt = xmalloc(sizeof(HAMT));
SLIST_INIT(&hamt->entries);
hamt->root = xmalloc(32*sizeof(HAMTNode));
for (i=0; i<32; i++)
for (i=0; i<32; i++) {
hamt->root[i].BitMapKey = 0;
hamt->root[i].BaseValue = NULL;
}
return hamt;
}
/*@=compdef =nullret@*/
static void
HAMT_delete_trie(HAMTNode *node)
@ -111,7 +110,7 @@ HAMT_delete_trie(HAMTNode *node)
}
void
HAMT_delete(HAMT *hamt, void (*deletefunc) (/*@keep@*/ void *data))
HAMT_delete(HAMT *hamt, void (*deletefunc) (/*@only@*/ void *data))
{
int i;

Write Preview
Loading…
Cancel
Save