Changed BADBRANCH to avoid gcc warnings.

[splint.git] / src / flags.c

diff --git a/src/flags.c b/src/flags.c
index 5c92b6e005f2cc4f26b4ffbc0737024afda83bb8..9c36b0a59dab75f73bb9cea614c5575979ce4d24 100644 (file)
--- a/src/flags.c
+++ b/src/flags.c
@@ -157,7 +157,10 @@ static bn_mstring mode_names[] =
 static cstring describeFlagCode (flagcode p_flag) /*@*/ ;
 static cstringSList sortedFlags (void) /*@*/ ;
 static /*@observer@*/ cstring categoryName (flagkind p_kind) /*@*/ ;
+
+# if 0
 static /*@unused@*/ cstring listModes (void) /*@*/ ;
+# endif
 
 bool flagcode_isSpecialFlag (flagcode f)
 {
@@ -1072,6 +1075,7 @@ describeModes ()
   return (s);
 }
 
+# if 0
 static /*@unused@*/ cstring
 listModes (void)
 {
@@ -1093,6 +1097,7 @@ listModes (void)
 
   return s;
 }
+# endif
 
 bool
 isMode (cstring s)