]>
Commit | Line | Data |
---|---|---|
28bf4b0b | 1 | /* |
2 | ** transferChecks.h | |
3 | */ | |
4 | ||
2e127cb8 | 5 | extern bool transferChecks_globalDestroyed (sRef p_fref, fileloc p_loc) |
80489f0a | 6 | /*@modifies g_warningstream@*/ ; |
2e127cb8 | 7 | extern void transferChecks_localDestroyed (sRef p_fref, fileloc p_loc) |
80489f0a | 8 | /*@modifies g_warningstream@*/ ; |
2e127cb8 | 9 | extern void transferChecks_structDestroyed (sRef p_fref, fileloc p_loc) |
80489f0a | 10 | /*@modifies g_warningstream@*/ ; |
2e127cb8 | 11 | |
12 | extern void transferChecks_assign (exprNode p_lhs, exprNode p_rhs); | |
13 | extern void transferChecks_initialization (exprNode p_lhs, exprNode p_rhs); | |
28bf4b0b | 14 | |
2e127cb8 | 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); | |
28bf4b0b | 18 | |
2e127cb8 | 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); | |
28bf4b0b | 22 | |
2e127cb8 | 23 | extern void transferChecks_loseReference (uentry p_actual); |
24 | extern bool transferChecks_canLoseReference (/*@dependent@*/ sRef p_sr, fileloc p_loc); |