From cf3ddd9e88e4ca27991f13a6da73f2b9e748057d Mon Sep 17 00:00:00 2001 From: Justin Viiret Date: Tue, 10 Nov 2015 16:18:42 +1100 Subject: [PATCH] repeatStoreSparseOptimalP: make diff a u32 As delta is a u32, we know diff will always fit within a u32 as well. Silences a warning from Coverity. --- src/nfa/repeat.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/nfa/repeat.c b/src/nfa/repeat.c index 92b61874..c1ff5162 100644 --- a/src/nfa/repeat.c +++ b/src/nfa/repeat.c @@ -1414,7 +1414,8 @@ void repeatStoreSparseOptimalP(const struct RepeatInfo *info, } } - u64a diff = delta - patch * patch_size; + assert((u64a)patch * patch_size <= delta); + u32 diff = delta - patch * patch_size; const u64a *repeatTable = getImplTable(info); val += repeatTable[diff];