From: Alex Coyte <a.coyte@intel.com>
Date: Thu, 11 Aug 2016 03:04:26 +0000 (+1000)
Subject: Add assertion indicating valid range of rank_in_mask's bit param
X-Git-Tag: v4.3.0^2~6
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=147f9655b6442e722e98abda17ff7f19b166327a;p=thirdparty%2Fvectorscan.git

Add assertion indicating valid range of rank_in_mask's bit param

Coverity CID 141632
---

diff --git a/src/nfa/limex_dump.cpp b/src/nfa/limex_dump.cpp
index 2c215feb..c52adc46 100644
--- a/src/nfa/limex_dump.cpp
+++ b/src/nfa/limex_dump.cpp
@@ -83,6 +83,8 @@ void dumpMask(FILE *f, const char *name, const u8 *mask, u32 mask_bits) {
 template<typename mask_t>
 static
 u32 rank_in_mask(mask_t mask, u32 bit) {
+    assert(bit < 8 * sizeof(mask));
+
     u32 chunks[sizeof(mask)/sizeof(u32)];
     memcpy(chunks, &mask, sizeof(mask));
     u32 base_rank = 0;