From 147f9655b6442e722e98abda17ff7f19b166327a Mon Sep 17 00:00:00 2001 From: Alex Coyte Date: Thu, 11 Aug 2016 13:04:26 +1000 Subject: [PATCH] Add assertion indicating valid range of rank_in_mask's bit param Coverity CID 141632 --- src/nfa/limex_dump.cpp | 2 ++ 1 file changed, 2 insertions(+) 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 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;