Changed BADBRANCH to avoid gcc warnings.

[splint.git] / src / flagSpec.c

diff --git a/src/flagSpec.c b/src/flagSpec.c
index 3cc96623ef98dca979bc992563415d249057b3f8..4885370bf984bebdcbba0130469a3f87b5a9bdc5 100644 (file)
--- a/src/flagSpec.c
+++ b/src/flagSpec.c
@@ -194,4 +194,6 @@ flagSpec_getFirstOn (flagSpec fs, fileloc loc)
     {
       BADBRANCH;
     }
+
+  BADBRANCHRET (INVALID_FLAG); 
 }