/*
** 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 "cpplib.h"
# include "cpphash.h"
# include "cpperror.h"
/*@-compdef@*/ /* g_cppState is not yet innitialized */
} /*@=compdef@*/
+void cppReader_destroyMod ()
+ /*@globals killed g_cppState@*/
+{
+ cppCleanup (&g_cppState);
+}
+
void cppReader_initialize ()
{
cpplib_initializeReader (&g_cppState);
}
else
{
- /* -I option (Add directory to include path) */
struct file_name_list *dirtmp = (struct file_name_list *) dmalloc (sizeof (*dirtmp));
- llassert (cstring_firstChar (dir) == 'I');
- dir = cstring_suffix (dir, 1);
-
DPRINTF (("Add include: %s", dir));
dirtmp->next = 0; /* New one goes on the end */