summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/ext/ed25519/donna/modm-donna-64bit.h4
1 files changed, 4 insertions, 0 deletions
diff --git a/src/ext/ed25519/donna/modm-donna-64bit.h b/src/ext/ed25519/donna/modm-donna-64bit.h
index b22df2be75..012ea9ea08 100644
--- a/src/ext/ed25519/donna/modm-donna-64bit.h
+++ b/src/ext/ed25519/donna/modm-donna-64bit.h
@@ -261,6 +261,10 @@ contract256_slidingwindow_modm(signed char r[256], const bignum256modm s, int wi
continue;
for (b = 1; (b < (soplen - j)) && (b <= 6); b++) {
+ /* XXX Tor: coverity scan says that r[j+b] can
+ * overflow, but that's not possible: b < (soplen-j)
+ * guarantees that b + j < soplen, so b+j < 256,
+ * so the index doesn't overflow. */
if ((r[j] + (r[j + b] << b)) <= m) {
r[j] += r[j + b] << b;
r[j + b] = 0;