Added support for omitted if clauses in conditionals, patch provided by peteran.

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

diff --git a/src/Headers/exprNode.h b/src/Headers/exprNode.h
index 94807a77bd1fd833fae0afba743e55fe1e91793f..40975bffad8f56f1e6fdb0ddf629dfd4b8614a80 100644 (file)
--- a/src/Headers/exprNode.h
+++ b/src/Headers/exprNode.h
@@ -237,6 +237,11 @@ extern /*@observer@*/ exprNode exprNode_makeMustExit (void) /*@*/ ;
 extern exprNode 
   exprNode_cond (/*@keep@*/ exprNode p_pred, /*@keep@*/ exprNode p_ifclause, 
                 /*@keep@*/ exprNode p_elseclause) /*@*/ ;
+
+extern exprNode 
+exprNode_condIfOmit (/*@keep@*/ exprNode p_pred, 
+                    /*@keep@*/ exprNode p_elseclause) /*@*/ ;
+
 extern exprNode exprNode_makeError(void) /*@*/ ;
 
 extern exprNode exprNode_makeInitBlock (lltok p_brace, /*@only@*/ exprNodeList p_inits) /*@*/ ;