Changed BADBRANCH to avoid gcc warnings.

[splint.git] / src / symtable.c

diff --git a/src/symtable.c b/src/symtable.c
index f047a845bfec8f2366364fdac3b1fd46223f8f7c..48219a3ecbed756fda55cbd78f60c98c6e78a461 100644 (file)
--- a/src/symtable.c
+++ b/src/symtable.c
@@ -215,7 +215,7 @@ static /*@observer@*/ ltoken idTableEntry_getId (idTableEntry *x)
       return (x->info.var->id);
     }
 
-  BADBRANCH;
+  BADBRANCHRET (ltoken_undefined);
 }
 
 /*@only@*/ symtable