5 extern alkind alkind_resolve (alkind p_a1, alkind p_a2) /*@*/ ;
6 extern bool checkGlobalDestroyed (sRef p_fref, fileloc p_loc)
7 /*@modifies g_msgstream@*/ ;
8 extern void checkLocalDestroyed (sRef p_fref, fileloc p_loc)
9 /*@modifies g_msgstream@*/ ;
11 extern void checkAssignTransfer (exprNode p_lhs, exprNode p_rhs);
12 extern void checkPassTransfer (exprNode p_fexp, uentry p_arg, bool p_isSpec,
13 /*@dependent@*/ exprNode p_fcn, int p_argno, int p_totargs);
14 extern void checkReturnTransfer (exprNode p_fexp, uentry p_rval);
15 extern void checkGlobReturn (uentry p_glob);
16 extern void checkParamReturn (uentry p_actual);
17 extern void checkLoseRef (uentry p_actual);
18 extern bool canLoseReference (/*@dependent@*/ sRef p_sr, fileloc p_loc);
19 extern void checkInitTransfer (exprNode p_lhs, exprNode p_rhs);
20 extern void checkStructDestroyed (sRef p_fref, fileloc p_loc);