/*
** 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
** 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
*/
/*
** mtDeclarationNode.c
*/
-# include "lclintMacros.nf"
+# include "splintMacros.nf"
# include "basic.h"
extern mtDeclarationNode mtDeclarationNode_create (mttok name, mtDeclarationPieces pieces) /*@*/
mvals = mtValuesNode_getValues (mtv);
}
- /*@-usedef@*/ /*@i34 lclint should figure this out... */
+ /*@-usedef@*/ /* splint should figure this out... */
nvalues = cstringList_size (mvals);
/*@=usedef@*/
} end_mtLoseReferenceList_elements ;
}
- /*@-usedef@*/
- DPRINTF (("metastate: %s", metaStateInfo_unparse (msinfo)));
- /*@=usedef@*/
-
tmerge = stateCombinationTable_create (nvalues);
/* Default merge is to make all incompatible mergers errors. */
{
for (j = low2index; j <= high2index; j++)
{
- /*@i32 check for multiple definitions! */
+ /* Need to add checks for multiple definitions! */
if (mtTransferAction_isError (taction))
{