Made allocations involving sizeof work correctly (test/malloc.c).

[splint.git] / src / Headers / clabstract.h

diff --git a/src/Headers/clabstract.h b/src/Headers/clabstract.h
index 972babb9c5ac9dd0361eab3b79e9fa5d82cf2dc6..afa1455c065b451eb81d8405e7d9d6b9dc0d929c 100644 (file)
--- a/src/Headers/clabstract.h
+++ b/src/Headers/clabstract.h
@@ -1,5 +1,5 @@
 /*
-** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
 ** See ../LICENSE for license information.
 **
 */
@@ -37,10 +37,14 @@ extern uentryList fixUnnamedDecl (qtype p_q) /*@*/ ;
 extern /*@exposed@*/ uentry getCurrentIter(void);
 
 extern void processNamedDecl (idDecl p_t);
+
+extern void clabstract_declareType (/*@only@*/ exprNodeList, /*@only@*/ warnClause)
+   /*@modifies internalState@*/ ;
+ 
 extern void clabstract_declareFunction (/*@only@*/ idDecl p_tid) 
    /*@globals internalState@*/ ;
 extern void doVaDcl (void);
-extern void doneParams (void);
+extern void oldStyleDoneParams (void);
 
 extern void setCurrentParams (/*@dependent@*/ uentryList p_ue);
 extern void clearCurrentParams (void);
@@ -97,9 +101,9 @@ extern void declareStaticFunction (/*@only@*/ idDecl p_tid)
    */
    
 extern sRef checkbufferConstraintClausesId (uentry p_ue);
-extern void setImplictfcnConstraints (void);
+extern void setImplicitfcnConstraints (void);
 
-/*@observer@*/ constraintList  getImplicitFcnConstraints (void);
+/*@observer@*/ constraintList getImplicitFcnConstraints (void);
 
 /* end drl*/