Fixed bug with things like char * c [] = {"dfd", "dfdf", "DFSDFS" }

[splint.git] / src / exprNode.c

diff --git a/src/exprNode.c b/src/exprNode.c
index 406f0d0cb5fb69cf4284ccd53efacb9684c8ecf6..4b48356ee7ca48b35df75439296a95ab7e988b8c 100644 (file)
--- a/src/exprNode.c
+++ b/src/exprNode.c
@@ -10658,3 +10658,8 @@ exprNode exprNode_createNew(ctype c)
 
   return ret;
 }
+
+bool exprNode_isInitBlock (exprNode e)
+{
+  return (exprNode_isDefined(e) && e->kind == XPR_INITBLOCK);
+}