Added (limited) support for implicit annotations.

[splint.git] / src / flags.def

diff --git a/src/flags.def b/src/flags.def
index 9fcd65d9a28a5ed1325b5ede0d8a8538529429f7..dc211c4d0eaa61272010209cf394eeff9375a84e 100644 (file)
--- a/src/flags.def
+++ b/src/flags.def
@@ -2813,8 +2813,17 @@ NULL, NULL,
   FLG_CONSTRAINTLOCATION,
   "display full c expression for every constraint generated",
   ",  ",
+  0, 0
+    },/*drl added flag 4/26/01*/
+{
+  FK_NT, FK_MEMORY, modeFlag,
+  "implictconstraint",
+  FLG_IMPLICTCONSTRAINT,
+  "Try to generate implicit constraints for functions",
+  ",  ",
   0, 0
 },
+    
 {
   FK_NT, FK_MEMORY, modeFlag,
   "nullterminated",