5 extern bool transferChecks_globalDestroyed (sRef p_fref, fileloc p_loc)
6 /*@modifies g_warningstream@*/ ;
7 extern void transferChecks_localDestroyed (sRef p_fref, fileloc p_loc)
8 /*@modifies g_warningstream@*/ ;
9 extern void transferChecks_structDestroyed (sRef p_fref, fileloc p_loc)
10 /*@modifies g_warningstream@*/ ;
12 extern void transferChecks_assign (exprNode p_lhs, exprNode p_rhs);
13 extern void transferChecks_initialization (exprNode p_lhs, exprNode p_rhs);
15 extern void transferChecks_passParam
16 (exprNode p_fexp, uentry p_arg, bool p_isSpec,
17 /*@dependent@*/ exprNode p_fcn, int p_argno, int p_totargs);
19 extern void transferChecks_return (exprNode p_fexp, uentry p_rval);
20 extern void transferChecks_globalReturn (uentry p_glob);
21 extern void transferChecks_paramReturn (uentry p_actual);
23 extern void transferChecks_loseReference (uentry p_actual);
24 extern bool transferChecks_canLoseReference (/*@dependent@*/ sRef p_sr, fileloc p_loc);