]> andersk Git - splint.git/blobdiff - src/flags.def
*** empty log message ***
[splint.git] / src / flags.def
index 6fde927fcb686fe54b9febcdf522edb773f090d2..d896a47bdc35b41c12ab85e42a28d69a9f890cf9 100644 (file)
@@ -238,7 +238,8 @@ static flaglist flags =
     "gnuextensions",
     FLG_GNUEXTENSIONS,
     "support some gnu (gcc) language extensions",
-    NULL, 0, 0
+    "ANSI C does not allow some language features supported by gcc and other compilers. "
+    "Use +gnuextensions to allow some of these extensions.", 0, 0
   },
   {
     FK_ANSI, FK_NONE, plainFlag,
@@ -334,6 +335,14 @@ static flaglist flags =
     "stylized comment.",
     0, 0
   },
+  {
+    FK_COMMENTS, FK_SYNTAX, plainFlag,
+    "unrecogflagcomments",
+    FLG_UNRECOGFLAGCOMMENTS,
+    "stylized flag comment uses an unrecognized flag",
+    "Semantic comment attempts to set a flag that is not recognized.",
+    0, 0
+  },
   {
     FK_COMMENTS, FK_SYNTAX, plainFlag,
     "continuecomment",
@@ -3320,14 +3329,14 @@ static flaglist flags =
     "relaxquals",
     FLG_RELAXQUALS,
     "report qualifier mismatches only if dangerous",
-    NULL, 0, 0
+    "To allow qualifier mismatches that are not dangerous, use +relaxquals.", 0, 0
   },
   {
     FK_TYPEEQ, FK_NUMBERS, modeFlag,
     "relaxtypes",
     FLG_RELAXTYPES,
     "allow all numeric types to match",
-    NULL, 0, 0
+    "To allow all numeric types to match, use +relaxtypes.", 0, 0
   },
   {
     FK_TYPEEQ, FK_NONE, modeFlag,
This page took 0.032358 seconds and 4 git commands to generate.