From 20f082797f788b64e1f28ba717a5797237102856 Mon Sep 17 00:00:00 2001 From: Olivier Houchard Date: Sat, 9 Aug 2014 19:05:19 +0200 Subject: [PATCH] ck_rhs: Change a check from == to >= wanted_probe can't ever be > to map->probe_maximum, but static analyzers can't know this, so consider it a potential bug. --- src/ck_rhs.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ck_rhs.c b/src/ck_rhs.c index 553d718..962a94c 100644 --- a/src/ck_rhs.c +++ b/src/ck_rhs.c @@ -991,7 +991,7 @@ ck_rhs_do_backward_shift_delete(struct ck_rhs *hs, long slot) break; wanted_probes++; } - if (wanted_probes == map->probe_maximum) { + if (!(wanted_probes < map->probe_maximum)) { desc->wanted = 0; break; }