[tor-commits] [tor/master] Tell coverity to tolerate ed25519_verify

commit 920c63877cece72ba02e54234567a1e76dd14b9b Author: Nick Mathewson nickm@torproject.org Date: Sun Jul 12 16:59:37 2015 -0400

Tell coverity to tolerate ed25519_verify --- src/ext/ed25519/donna/ed25519-donna.h | 1 + 1 file changed, 1 insertion(+)

diff --git a/src/ext/ed25519/donna/ed25519-donna.h b/src/ext/ed25519/donna/ed25519-donna.h index de1120f..64561d3 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)); }