src/Headers/transferChecks.h

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