X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/01a8227eea2b25e522d4a19290db07c097c8b6dd..495af944dbec7ce9480ebe3d955aed7aff85a754:/src/flags.def

diff --git a/src/flags.def b/src/flags.def
index f3167fc..f7507e6 100644
--- a/src/flags.def
+++ b/src/flags.def
@@ -1912,7 +1912,31 @@ static flaglist flags =
     NULL,
     0, 0
   },
-  
+  /*drl7x added 3/25/2001 */    
+  {
+    FK_BOUNDS, FK_MEMORY, plainFlag,
+    "generatecode",
+    FLG_GENERATECODE,
+    "This is currently an experimental flag.",
+    NULL,
+    0, 0
+  },
+  {
+    FK_BOUNDS, FK_MEMORY, plainFlag,
+    "generatecodeandoverwrite",
+    FLG_GENERATECODEANDOVERWRITE,
+    "This is currently an experimental flag.",
+    NULL,
+    0, 0
+  },
+    {
+    FK_BOUNDS, FK_MEMORY, plainFlag,
+    "instrumentloops",
+    FLG_INSTRUMENTLOOPS,
+    "This is currently an experimental flag.",
+    NULL,
+    0, 0
+  },
   {
     FK_BOUNDS, FK_MEMORY, plainFlag,
     "nullterminated",
@@ -2855,7 +2879,7 @@ static flaglist flags =
     NULL, 0, 0
   },
   {
-    FK_LIBS, FK_INIT, globalFlag,
+    FK_LIBS, FK_INIT, idemGlobalFlag,
     "isolib",
     FLG_ANSILIB,
     "use normal standard library",
@@ -2863,7 +2887,7 @@ static flaglist flags =
     0, 0
   },
   {
-    FK_LIBS, FK_INIT, globalFlag,
+    FK_LIBS, FK_INIT, idemGlobalFlag,
     "strictlib",
     FLG_STRICTLIB,
     "interpret standard library strictly",
@@ -2872,7 +2896,7 @@ static flaglist flags =
     0, 0
   },
   {
-    FK_LIBS, FK_INIT, globalFlag,
+    FK_LIBS, FK_INIT, idemGlobalFlag,
     "unixlib",
     FLG_UNIXLIB,
     "use UNIX (sort-of) standard library",
@@ -2880,7 +2904,7 @@ static flaglist flags =
     0, 0
   },
   {
-    FK_LIBS, FK_INIT, globalFlag,
+    FK_LIBS, FK_INIT, idemGlobalFlag,
     "unixstrictlib",
     FLG_UNIXSTRICTLIB,
     "use strict version of UNIX (sort-of) library",
@@ -2888,7 +2912,7 @@ static flaglist flags =
     0, 0
   },
   {
-    FK_LIBS, FK_INIT, globalFlag,
+    FK_LIBS, FK_INIT, idemGlobalFlag,
     "posixlib",
     FLG_POSIXLIB,
     "use POSIX standard library",
@@ -2896,7 +2920,7 @@ static flaglist flags =
     0, 0
   },
   {
-    FK_LIBS, FK_INIT, globalFlag,
+    FK_LIBS, FK_INIT, idemGlobalFlag,
     "posixstrictlib",
     FLG_POSIXSTRICTLIB,
     "use strict POSIX standard library",
@@ -2904,7 +2928,7 @@ static flaglist flags =
     0, 0
   },
   {
-    FK_LIBS, FK_INIT, globalFlag,
+    FK_LIBS, FK_INIT, idemGlobalFlag,
     "whichlib",
     FLG_WHICHLIB,
     "show standard library filename",
@@ -4190,6 +4214,14 @@ static flaglist flags =
     "Splint has been run on a system file, by default no errors are reported for system files.  Use +systemdirerrors if you want splint to report errors in system files.  A file is considered a system file if it is in a system directory or a subdirectory of a system directory.  The sysdirs flag can be used to control the directories treated as system directories.",
     NULL, 0, 0
   },
+  {
+    FK_DISPLAY, FK_ERRORS, plainFlag,
+    "forceexitsucess",
+    FLG_FORCEEXITSUCESS,
+    "Force splint to return a value indicating a sucessfull exit even if splint generated warnings.",
+    NULL, 0, 0
+  },
+
   {
     FK_DISPLAY, FK_NONE, globalFlag,
     "stats",