X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/28bf4b0bfd405a2057d865910f8589c54a40f17b..b87215ab641c38a5509a608751384ebb9f4f8bf9:/src/abstract.c

diff --git a/src/abstract.c b/src/abstract.c
index 8340c03..978ab86 100644
--- a/src/abstract.c
+++ b/src/abstract.c
@@ -1,6 +1,6 @@
 /*
-** 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
@@ -17,9 +17,9 @@
 ** 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
@@ -34,7 +34,7 @@
 **         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 */
@@ -237,7 +237,7 @@ void LCLBuiltins (void)
   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;" */
@@ -276,7 +276,7 @@ LCLBootstrap (void)
  
   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;
@@ -487,7 +487,7 @@ interfaceNode_makePrivFcn (/*@only@*/ fcnNode x)
   privateNode e = (privateNode) dmalloc (sizeof (*e));
 
   /*
-  ** bug detected by lclint enum checking
+  ** bug detected by enum checking
   ** e->kind = XPK_FCN;
   */
 
@@ -1078,7 +1078,7 @@ importNode_makeBracketed (/*@only@*/ ltoken t)
 
 static cstring extractQuote (/*@only@*/ cstring s)
 {
-  int len = cstring_length (s);
+  size_t len = cstring_length (s);
   char *sc = cstring_toCharsSafe (s);
   cstring t;
 
@@ -2895,10 +2895,10 @@ static /*@observer@*/ paramNodeList
   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,
@@ -3690,7 +3690,7 @@ makeQuantifiedTermNode (quantifierNodeList qn, ltoken open,
   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;
@@ -4190,7 +4190,7 @@ makeLiteralTermNode (ltoken tok, sort s)
   /* 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) 
@@ -4499,7 +4499,7 @@ printTermNode2 (/*@null@*/ opFormNode op, termNodeList args, sort sort)
 	      }
 
 	    s = message ("%q%s", s, sortText);
-	    break; /*** <<<--- bug detected by LCLint ***/
+	    break; 
 	  }
 	case OPF_MMIDDLE:
 	  {
@@ -5806,7 +5806,7 @@ nameNode nameNode_copySafe (nameNode n)
     }
   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)));
     }
 }
@@ -6198,6 +6198,8 @@ cstring interfaceNode_unparse (interfaceNode x)
     {
       return (cstring_makeLiteral ("<interface node undefined>"));
     }
+
+  BADBRANCHRET (cstring_undefined);
 }
 
 void interfaceNode_free (/*@null@*/ /*@only@*/ interfaceNode x)