From 920c63877cece72ba02e54234567a1e76dd14b9b Mon Sep 17 00:00:00 2001 From: Nick Mathewson Date: Sun, 12 Jul 2015 16:59:37 -0400 Subject: Tell coverity to tolerate ed25519_verify --- src/ext/ed25519/donna/ed25519-donna.h | 1 + 1 file changed, 1 insertion(+) (limited to 'src') 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)); } -- cgit v1.2.3-54-g00ecf