Changed BADBRANCH to avoid gcc warnings.

[splint.git] / src / functionClause.c

diff --git a/src/functionClause.c b/src/functionClause.c
index fc8a2bee46a5598b79a7924bf0b7c4642e33616d..f97277760b147d65d260d5561c8ae9acadd6921f 100644 (file)
--- a/src/functionClause.c
+++ b/src/functionClause.c
@@ -104,7 +104,7 @@ extern functionClause functionClause_createWarn (warnClause node) /*@*/
       BADBRANCH;
     }
 
-  BADBRANCH;
+  BADBRANCHRET (cstring_undefined);
 }
 
 extern bool functionClause_matchKind (functionClause p, functionClauseKind kind) /*@*/