Changed BADBRANCH to avoid gcc warnings.

[splint.git] / src / abstract.c

diff --git a/src/abstract.c b/src/abstract.c
index d45ed8651bc037e6a28f4b110b32eea1a29e9119..4f8de3070a3959ecfeb61aa4ff36ff2ea37833d8 100644 (file)
--- a/src/abstract.c
+++ b/src/abstract.c
@@ -6198,6 +6198,8 @@ cstring interfaceNode_unparse (interfaceNode x)
     {
       return (cstring_makeLiteral ("<interface node undefined>"));
     }
+
+  BADBRANCHRET (cstring_undefined);
 }
 
 void interfaceNode_free (/*@null@*/ /*@only@*/ interfaceNode x)