From: Thomas Pornin <pornin@bolet.org>
Date: Thu, 24 Jan 2019 21:07:19 +0000 (+0100)
Subject: Small workaround for CompCert compatibility.
X-Git-Url: https://bearssl.org/gitweb//home/git/?p=BearSSL;a=commitdiff_plain;h=c1bb5356bb52984178c269886b6835b532ef30c2;ds=inline

Small workaround for CompCert compatibility.
---

diff --git a/test/test_crypto.c b/test/test_crypto.c
index ae1d170..c6c534d 100644
--- a/test/test_crypto.c
+++ b/test/test_crypto.c
@@ -6783,7 +6783,7 @@ test_RSA_keygen(const char *name, br_rsa_keygen kg, br_rsa_compute_modulus cm,
 		uint32_t mod[256];
 		uint32_t cc;
 		size_t u, v;
-		unsigned char sig[257], hv[32], hv2[sizeof hv];
+		unsigned char sig[257], hv[32], hv2[32];
 		unsigned mask1, mask2;
 		int j;
 
@@ -8316,7 +8316,7 @@ test_EC_inner(const char *sk, const char *sU,
 static void
 test_EC_P256_carry_inner(const br_ec_impl *impl, const char *sP, const char *sQ)
 {
-	unsigned char P[65], Q[sizeof P], k[1];
+	unsigned char P[65], Q[65], k[1];
 	size_t plen, qlen;
 
 	plen = hextobin(P, sP);