diff --git a/src/ext/ed25519/donna/ed25519-donna.h b/src/ext/ed25519/donna/ed25519-donna.h
index de1120f46f..64561d3288 100644
--- a/src/ext/ed25519/donna/ed25519-donna.h
+++ b/src/ext/ed25519/donna/ed25519-donna.h
@@ -68,6 +68,7 @@ ed25519_verify(const unsigned char *x, const unsigned char *y, size_t len) {
 	size_t differentbits = 0;
 	while (len--)
 		differentbits |= (*x++ ^ *y++);
+        /*coverity[overflow]*/
 	return (int) (1 & ((differentbits - 1) >> 8));
 }