Changed BADBRANCH to avoid gcc warnings.

[splint.git] / src / cstringList.c

diff --git a/src/cstringList.c b/src/cstringList.c
index 76c9424b5d562b18cb814d1591c5f6401826d8aa..e7e1593f1ebebef7a12b57277b6487789b699548 100644 (file)
--- a/src/cstringList.c
+++ b/src/cstringList.c
@@ -299,7 +299,7 @@ int cstringList_getIndex (cstringList s, cstring key)
       index++;
     } end_cstringList_elements ;
 
-  BADBRANCH;
+  BADBRANCHRET (0);
 }
 
 bool cstringList_contains (cstringList s, cstring key)