** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
** MA 02111-1307, USA.
**
-** For information on lclint: lclint-request@cs.virginia.edu
-** To report a bug: lclint-bug@cs.virginia.edu
+** For information on splint: info@splint.org
+** To report a bug: splint-bug@splint.org
** For more information: http://www.splint.org
*/
/*
You are forbidden to forbid anyone else to use, share and improve
what you give them. Help stamp out software-hoarding! */
-# include "lclintMacros.nf"
+# include "splintMacros.nf"
# include "llbasic.h"
# include "cpplib.h"
# include "cpphash.h"
# include "cpperror.h"
# include "llmain.h"
+# include "osd.h"
# include <stdio.h>
if (ofile == NULL)
{
fileTable_noDelete (context_fileTable (), outfile);
+ osd_setTempError ();
llfatalerror (message ("Cannot create temporary file for "
"pre-processor output. Trying to "
"open: %s. Use -tmpdir to change "
void cppDoUndefine (cstring str)
{
- int sym_length;
+ size_t sym_length;
hashNode hp;
char *buf = cstring_toCharsSafe (str);
sym_length = cppReader_checkMacroName (&g_cppState, buf,
- cstring_makeLiteralTemp ("macro"));
+ cstring_makeLiteralTemp ("macro"));
- while ((hp = cpphash_lookup (buf, sym_length, -1)) != NULL)
+ while ((hp = cpphash_lookup (buf, size_toInt (sym_length), -1)) != NULL)
{
/*@-exposetrans@*/ /*@-dependenttrans@*/
cppReader_deleteMacro (hp);