From 946203d60e50488a0b9e0fe003c13662873fa17d Mon Sep 17 00:00:00 2001 From: Aliaksey Kandratsenka Date: Sat, 16 Nov 2013 13:35:59 -0800 Subject: assert key size in way that is clearer to gcc Both new and old asserts are checking same condition, however new assert helps gcc see that out of bounds access is not possible in root_ array. --- src/pagemap.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/pagemap.h b/src/pagemap.h index 9dbe143..dd94423 100644 --- a/src/pagemap.h +++ b/src/pagemap.h @@ -152,9 +152,9 @@ class TCMalloc_PageMap2 { } void set(Number k, void* v) { - ASSERT(k >> BITS == 0); const Number i1 = k >> LEAF_BITS; const Number i2 = k & (LEAF_LENGTH-1); + ASSERT(i1 < ROOT_LENGTH); root_[i1]->values[i2] = v; } -- cgit v1.2.1