@@ -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));
}