Tell coverity to tolerate ed25519_verify

diff --git a/src/ext/ed25519/donna/ed25519-donna.h b/src/ext/ed25519/donna/ed25519-donna.h
index de1120f46fad780c817a58a8c1894fbebcc9d202..64561d3288056e88fcc57b2f67c8835d59952843 100644 (file)
--- 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));
 }