Changed checking of complete descruction so +strictdestroy is no

[splint.git] / src / stateClause.c

diff --git a/src/stateClause.c b/src/stateClause.c
index d5c264e1253c7aa762497445e6752f2ccc804cb4..a362a64daf195f641b9e1b71cbc2db1d2467bb2f 100644 (file)
--- a/src/stateClause.c
+++ b/src/stateClause.c
@@ -412,7 +412,7 @@ flagcode stateClause_preErrorCode (stateClause cl)
     case SP_ALLOCATES: /*@fallthrough@*/ 
     case SP_DEFINES:
     case SP_SETS:
-      return FLG_MUSTFREE;
+      return FLG_MUSTFREEONLY;
     case SP_RELEASES:
       return FLG_USEDEF;
     case SP_GLOBAL:
@@ -512,7 +512,7 @@ flagcode stateClause_postErrorCode (stateClause cl)
     case SP_SETS:     
       return FLG_COMPDEF;
     case SP_RELEASES:
-      return FLG_MUSTFREE;
+      return FLG_MUSTFREEONLY;
     case SP_GLOBAL:
       BADBRANCH;
     case SP_QUAL: