Changed checking of complete descruction so +strictdestroy is no

[splint.git] / src / flags.def

diff --git a/src/flags.def b/src/flags.def
index 51bc4266b9f55aeb63d0097ab1ff2793cbb78164..3f453e6e1d0ffb784b7d4c67f986a883ac18ab16 100644 (file)
--- a/src/flags.def
+++ b/src/flags.def
@@ -1939,14 +1939,30 @@ static flaglist flags =
   },   
   {
     FK_MEMORY, FK_LEAK, modeFlag,
-    "mustfree",
-    FLG_MUSTFREE,
+    "mustfreefresh",
+    FLG_MUSTFREEFRESH,
+    "freshly allocated storage not released before return or scope exit",
+    "A memory leak has been detected. Storage allocated locally "
+    "is not released before the last reference to it is lost.",
+    0, 0
+  },
+  {
+    FK_MEMORY, FK_LEAK, modeFlag,
+    "mustfreeonly",
+    FLG_MUSTFREEONLY,
     "only storage not released before return or scope exit",
-    "A memory leak has been detected. Newly-allocated or "
-    "only-qualified storage is not released before the last "
+    "A memory leak has been detected. Only-qualified storage is not released before the last "
     "reference to it is lost.",
     0, 0
   },
+  {
+    FK_MEMORY, FK_LEAK, specialFlag,
+    "mustfree",
+    FLG_MUSTFREE,
+    "fresh or only storage not released before return or scope exit (sets mustfreefresh and mustfreeonly)",
+    "A memory leak has been detected.",
+    0, 0
+  },
   {
     FK_MEMORY, FK_NONE, modeFlag,
     "branchstate",