/*
-** LCLint - annotation-assisted static program checker
-** Copyright (C) 1994-2001 University of Virginia,
+** Splint - annotation-assisted static program checker
+** Copyright (C) 1994-2002 University of Virginia,
** Massachusetts Institute of Technology
**
** This program is free software; you can redistribute it and/or modify it
** 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 more information: http://lclint.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
*/
/*
** abstract.c
** Massachusetts Institute of Technology
*/
-# include "lclintMacros.nf"
+# include "splintMacros.nf"
# include "llbasic.h"
# include "lslparse.h"
# include "llgrammar.h" /* need simpleOp, MULOP and logicalOp in makeInfixTermNode */
ti->modifiable = FALSE;
ti->abstract = TRUE;
ti->basedOn = sort_bool;
- ti->export = FALSE; /* this wasn't set (detected by lclint) */
+ ti->export = FALSE; /* this wasn't set (detected by Splint) */
symtable_enterType (g_symtab, ti);
/* do "constant bool FALSE = false;" */
s = sort_makeImmutable (ltoken_undefined, lsymbol_bool);
range = ltoken_create (simpleId, lsymbol_bool);
- sign = makesigNode (ltoken_undefined, ltokenList_new (), range);
+ sign = makesigNode (ltoken_undefined, ltokenList_new (), range);
nn1 = (nameNode) dmalloc (sizeof (*nn1));
nn1->isOpId = TRUE;
privateNode e = (privateNode) dmalloc (sizeof (*e));
/*
- ** bug detected by lclint enum checking
+ ** bug detected by enum checking
** e->kind = XPK_FCN;
*/
static cstring extractQuote (/*@only@*/ cstring s)
{
- int len = cstring_length (s);
+ size_t len = cstring_length (s);
char *sc = cstring_toCharsSafe (s);
cstring t;
fcnNode_fromDeclarator (/*@only@*/ /*@null@*/ lclTypeSpecNode t,
/*@only@*/ declaratorNode d)
{
- return (makeFcnNode (qual_createUnknown (), t, d,
- varDeclarationNodeList_new (),
- varDeclarationNodeList_new (),
- letDeclNodeList_new (),
+ return (makeFcnNode (qual_createUnknown (), t, d,
+ varDeclarationNodeList_new (),
+ varDeclarationNodeList_new (),
+ letDeclNodeList_new (),
(lclPredicateNode) 0,
(lclPredicateNode) 0,
(modifyNode) 0,
termNode n = (termNode) dmalloc (sizeof (*n));
quantifiedTermNode q = (quantifiedTermNode) dmalloc (sizeof (*q));
- n->name = NULL; /*> missing this --- detected by lclint <*/
+ n->name = NULL; /*> missing this --- detected by splint <*/
n->error_reported = FALSE;
n->wrapped = 0;
n->error_reported = FALSE;
/* look up signatures for this operator too */
range = ltoken_create (simpleId, sort_getLsymbol (s));
- sign = makesigNode (ltoken_undefined, ltokenList_new (),
+ sign = makesigNode (ltoken_undefined, ltokenList_new (),
ltoken_copy (range));
if (opInfo_exists (oi) && (oi->name->isOpId)
}
s = message ("%q%s", s, sortText);
- break; /*** <<<--- bug detected by LCLint ***/
+ break;
}
case OPF_MMIDDLE:
{
}
else
{
- /* error should be detected by lclint: forgot to copy opform! */
+ /* error should be detected by splint: forgot to copy opform! */
return (makeNameNodeForm (opFormNode_copy (n->content.opform)));
}
}
{
return (cstring_makeLiteral ("<interface node undefined>"));
}
+
+ BADBRANCHRET (cstring_undefined);
}
void interfaceNode_free (/*@null@*/ /*@only@*/ interfaceNode x)