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.

1 files changed, 1 insertions, 1 deletions

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;
   }