Added va_copy to standard.h.

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

diff --git a/src/Headers/transferChecks.h b/src/Headers/transferChecks.h
index 7e4113391fc21cfd84dbdc4148996a8915736f91..3eab5cedfcce2faa3bb5996864a86396402f3f7b 100644 (file)
--- a/src/Headers/transferChecks.h
+++ b/src/Headers/transferChecks.h
@@ -2,34 +2,23 @@
 ** transferChecks.h
 */
 
-extern alkind alkind_resolve (alkind p_a1, alkind p_a2) /*@*/ ;
-extern bool checkGlobalDestroyed (sRef p_fref, fileloc p_loc) 
-   /*@modifies g_msgstream@*/ ;
-extern void checkLocalDestroyed (sRef p_fref, fileloc p_loc) 
-   /*@modifies g_msgstream@*/ ;
+extern bool transferChecks_globalDestroyed (sRef p_fref, fileloc p_loc) 
+   /*@modifies g_warningstream@*/ ;
+extern void transferChecks_localDestroyed (sRef p_fref, fileloc p_loc) 
+   /*@modifies g_warningstream@*/ ;
+extern void transferChecks_structDestroyed (sRef p_fref, fileloc p_loc)
+   /*@modifies g_warningstream@*/ ;
 
-extern void checkAssignTransfer (exprNode p_lhs, exprNode p_rhs);
-extern void checkPassTransfer (exprNode p_fexp, uentry p_arg, bool p_isSpec,
-                              /*@dependent@*/ exprNode p_fcn, int p_argno, int p_totargs);
-extern void checkReturnTransfer (exprNode p_fexp, uentry p_rval);
-extern void checkGlobReturn (uentry p_glob);
-extern void checkParamReturn (uentry p_actual);
-extern void checkLoseRef (uentry p_actual);
-extern bool canLoseReference (/*@dependent@*/ sRef p_sr, fileloc p_loc);
-extern void checkInitTransfer (exprNode p_lhs, exprNode p_rhs);
-extern void checkStructDestroyed (sRef p_fref, fileloc p_loc);
+extern void transferChecks_assign (exprNode p_lhs, exprNode p_rhs);
+extern void transferChecks_initialization (exprNode p_lhs, exprNode p_rhs);
 
-/* transfer types: */
+extern void transferChecks_passParam 
+              (exprNode p_fexp, uentry p_arg, bool p_isSpec,
+              /*@dependent@*/ exprNode p_fcn, int p_argno, int p_totargs);
 
-typedef enum
-{
-  TT_FCNRETURN,
-  TT_DOASSIGN,
-  TT_FIELDASSIGN,
-  TT_FCNPASS,
-  TT_GLOBPASS,
-  TT_GLOBRETURN,
-  TT_PARAMRETURN,
-  TT_LEAVETRANS,
-  TT_GLOBINIT
-} transferKind;
+extern void transferChecks_return (exprNode p_fexp, uentry p_rval);
+extern void transferChecks_globalReturn (uentry p_glob);
+extern void transferChecks_paramReturn (uentry p_actual);
+
+extern void transferChecks_loseReference (uentry p_actual);
+extern bool transferChecks_canLoseReference (/*@dependent@*/ sRef p_sr, fileloc p_loc);