Fix 'label cannot be reached' static analyzer warning in disclaim_test
authorIvan Maidanski <ivmai@mail.ru>
Tue, 27 Sep 2016 17:23:19 +0000 (20:23 +0300)
committerIvan Maidanski <ivmai@mail.ru>
Tue, 27 Sep 2016 17:24:28 +0000 (20:24 +0300)
* disclaim_test.c (GROW_LIMIT): Define to MUTATE_CNT/10 (instead of
10000000), so that it is always less than MUTATE_CNT (thus
i > GROW_LIMIT is not always false, thus all switch cases are
reachable).

tests/disclaim_test.c

index 47d5144..f7f366f 100644 (file)
@@ -165,7 +165,7 @@ pair_check_rec(pair_t p)
 #else
 #  define MUTATE_CNT 10000000
 #endif
-#define GROW_LIMIT 10000000
+#define GROW_LIMIT (MUTATE_CNT/10)
 
 void *test(void *data)
 {