*** empty log message ***

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

diff --git a/src/Headers/exprNode.h b/src/Headers/exprNode.h
index 4f3643cb751286a77da833803c1c3d766e3546bb..226cabb5bb024fe66a1edc1156c5161178eb1b1b 100644 (file)
--- a/src/Headers/exprNode.h
+++ b/src/Headers/exprNode.h
@@ -217,7 +217,11 @@ extern /*@exposed@*/ sRef exprNode_getSref (exprNode p_e) /*@*/ ;
 extern /*@observer@*/ uentry exprNode_getUentry (exprNode p_e) 
    /*@globals internalState@*/ ;
 extern void exprNode_produceGuards (exprNode p_pred) /*@modifies p_pred@*/ ;
+
 extern /*@observer@*/ fileloc exprNode_loc (exprNode p_e) /*@*/ ;
+extern /*@observer@*/ fileloc exprNode_getLoc (exprNode p_e) /*@*/ ;
+# define exprNode_getLoc exprNode_loc
+
 extern exprNode
   exprNode_charLiteral (char p_c, cstring p_text, /*@only@*/ fileloc p_loc) /*@*/ ;
 extern /*@observer@*/ exprNode exprNode_makeMustExit (void) /*@*/ ;
@@ -376,6 +380,11 @@ extern /*@only@*/ fileloc exprNode_getNextSequencePoint (exprNode p_e) ;
 /*drl 01-20-2001*/
 exprNode exprNode_createNew(ctype p_c);
 
+
+/* drl 07-25-01 */
+
+bool exprNode_isInitBlock (exprNode p_e);
+
 # else
 # error "Multiple include"
 # endif