Merged this branch with the one in the splint.sf.net repository.

[splint.git] / src / flags.def

diff --git a/src/flags.def b/src/flags.def
index f3167fc76db458f4c01b422bccba591de37f167c..f7507e6bf633d16189bfb4c2254ebffa02705f84 100644 (file)
--- 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",