Changed BADBRANCH to avoid gcc warnings.

[splint.git] / src / mtDeclarationPiece.c

diff --git a/src/mtDeclarationPiece.c b/src/mtDeclarationPiece.c
index 13321598f9c6ce957a67c7027b36e8181aed4bfe..ae8ce5903a47a755ac2f2415103b0172dca2f2a3 100644 (file)
--- a/src/mtDeclarationPiece.c
+++ b/src/mtDeclarationPiece.c
@@ -137,7 +137,7 @@ mtDeclarationPiece mtDeclarationPiece_createLosers (mtLoseReferenceList node) /*
       return cstring_makeLiteral ("Dead Piece");
     }
 
-  BADBRANCH;
+  BADBRANCHRET (cstring_undefined);
 }
 
 extern bool mtDeclarationPiece_matchKind (mtDeclarationPiece p, mtPieceKind kind) /*@*/