Added fileTable tracking of open files, so they may be closed on fatal exits.

[splint.git] / src / abstract.c

diff --git a/src/abstract.c b/src/abstract.c
index 8340c0304f17c95edb64dc7796ca3af49b930d2c..d45ed8651bc037e6a28f4b110b32eea1a29e9119 100644 (file)
--- a/src/abstract.c
+++ b/src/abstract.c
@@ -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;
@@ -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,
@@ -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)