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

[nickm at torproject.org]

commit 920c63877cece72ba02e54234567a1e76dd14b9b
Author: Nick Mathewson <nickm at 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));
 }