]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | /* |
28bf4b0b | 2 | ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001. |
885824d3 | 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); | |
28bf4b0b | 18 | extern void exprNode_checkFunction (uentry p_ue, /*@only@*/ exprNode p_fcnBody); |
885824d3 | 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); | |
28bf4b0b | 30 |