Merged this branch with the one in the splint.sf.net repository.

[splint.git] / src / Headers / exprChecks.h

diff --git a/src/Headers/exprChecks.h b/src/Headers/exprChecks.h
index cfb9dae8b877fe303955ac379823f2d24a383e80..5e391bb935d59b5b70c7fd1019680535500dad51 100644 (file)
--- a/src/Headers/exprChecks.h
+++ b/src/Headers/exprChecks.h
@@ -32,3 +32,5 @@ extern void exprNode_checkReturn (exprNode p_e);
 extern void exprChecks_checkStatementEffect (exprNode p_e);
 extern void exprChecks_checkUsedGlobs (globSet p_decl, globSet p_used);
 
+/*drl added for code generation*/
+void exprNode_spitFunction (/*@unused@*/ uentry p_ue, exprNode p_fcnBody);