src/Headers/exprChecks.h

   1 /*
   2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2000.
   3 ** See ../LICENSE for license information.
   4 **
   5 */
   6 /*
   7 ** exprChecks.h
   8 */
   9
  10 extern bool anyAbstract (ctype p_c1, /*@sef@*/ ctype p_c2);
  11 # define anyAbstract(c1, c2) \
  12   (ctype_isRealAbstract(c1) || ctype_isRealAbstract(c2))
  13
  14 extern void exprNode_checkAllMods (sRefSet p_mods, uentry p_ue);
  15 extern void exprNode_checkCallModifyVal (sRef p_s, exprNodeList p_args, exprNode p_f, exprNode p_err);
  16 extern void exprChecks_checkEmptyMacroBody (void);
  17 extern void exprChecks_checkExport (uentry p_e);
  18 extern void exprNode_checkFunction (uentry p_ue, /*@only@*/ exprNode p_body);
  19 extern void exprNode_checkFunctionBody (exprNode p_body);
  20 extern void exprNode_checkIterBody (/*@only@*/ exprNode p_body);
  21 extern void exprNode_checkIterEnd (/*@only@*/ exprNode p_body);
  22 extern void exprNode_checkMacroBody (/*@only@*/ exprNode p_e);
  23 extern void exprNode_checkModify (exprNode p_e, exprNode p_err);
  24 extern void exprNode_checkModifyVal (exprNode p_e, exprNode p_err);
  25 extern void exprChecks_checkNullReturn (fileloc p_loc);
  26 extern void exprNode_checkPred (cstring p_c, exprNode p_e);
  27 extern void exprNode_checkReturn (exprNode p_e);
  28 extern void exprNode_checkStatement (exprNode p_e);
  29 extern void exprChecks_checkUsedGlobs (globSet p_decl, globSet p_used);
  30 /* start modifications */
  31 extern void uentry_setBufferSize (uentry p_e, uentry cconstant);