From 651c7ace5ea9fa20d60fe3a3db2627c82bb3b18b Mon Sep 17 00:00:00 2001 From: Ivan Maidanski Date: Tue, 27 Sep 2016 20:23:19 +0300 Subject: [PATCH] Fix 'label cannot be reached' static analyzer warning in disclaim_test * 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 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/disclaim_test.c b/tests/disclaim_test.c index 47d5144..f7f366f 100644 --- a/tests/disclaim_test.c +++ b/tests/disclaim_test.c @@ -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) { -- 2.7.4