Fixed problem with global struct assignments.

[splint.git] / src / flags.def

diff --git a/src/flags.def b/src/flags.def
index fbce747f257fb0273568ed21ead25688471073fa..e210f93ac3000b26b4a68d6ea9afe5f0a7d683f1 100644 (file)
--- a/src/flags.def
+++ b/src/flags.def
@@ -1641,7 +1641,7 @@ static flaglist flags =
     "casebreak",
     FLG_CASEBREAK,
     "non-empty case in a switch without preceding break",
-    "Execution falls through from the previous case.", 0, 0
+    "Execution falls through from the previous case (use /*@fallthrough@*/ to mark fallthrough cases).", 0, 0
   },
   {
     FK_CONTROL, FK_NONE, modeFlag,