Fixed state clauses. Added obvious loop exec checking.

[splint.git] / src / stateClause.c

diff --git a/src/stateClause.c b/src/stateClause.c
index 7f4b8392c4e061ccbc52b2e5fa2b0198037d99d7..d5c264e1253c7aa762497445e6752f2ccc804cb4 100644 (file)
--- a/src/stateClause.c
+++ b/src/stateClause.c
@@ -98,6 +98,11 @@ bool stateClause_isEnsures (stateClause cl)
   return (cl->state == TK_AFTER);
 }
 
+bool stateClause_isQual (stateClause cl)
+{
+  return (cl->kind == SP_QUAL);
+}
+
 bool stateClause_isMemoryAllocation (stateClause cl)
 {
   switch (cl->kind)
@@ -247,9 +252,9 @@ sRefMod stateClause_getEntryFunction (stateClause cl)
        case SP_USES:
          return sRef_setDefinedComplete;
        case SP_ALLOCATES:
-         return NULL;
+         return sRef_setUndefined; /* evans 2002-01-01 */
        case SP_DEFINES:
-         return NULL;
+         return sRef_setUndefined; /* evans 2002-01-01 */
        case SP_SETS:
          return sRef_setAllocatedComplete;
        case SP_RELEASES: