/*
** 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
# include <sys/stat.h>
# include <fcntl.h>
# include "splintMacros.nf"
-# include "llbasic.h"
+# include "basic.h"
# include "osd.h"
# include "llmain.h"
# include "portab.h"
return (ft);
}
+/*@-bounds@*/
static void
fileTable_grow (fileTable ft)
{
sfree (ft->elements);
ft->elements = newent;
}
-
+/*@=bounds@*/
static void
fileTable_growOpen (fileTable ft)
{
cstring absname = osd_absolutePath (NULL, name);
int tindex = fileTable_getIndex (ft, absname);
- /*@i534 fprintf (stderr, "Got abs path: %s", absname); */
llassert (ft != fileTable_undefined);
if (tindex != NOT_FOUND)
}
else if (fileId_isValid (fe->fder))
{
- /*@i423 this should use close (fd) also... */
+ /* this should use close (fd) also... */
(void) osd_unlink (fe->fname);
}
else if (fe->ftype == FILE_MACROS)
static int pid = 0;
static /*@owned@*/ char *msg = NULL;
static /*@only@*/ cstring pidname = NULL;
- int maxlen;
+ size_t maxlen;
cstring smsg;
llassert (cstring_length (pre) <= 3);