From b83c719ecb884f609ade7ad7f52bd5e09737585b Mon Sep 17 00:00:00 2001 From: Matt Caswell Date: Wed, 6 Dec 2023 11:19:24 +0000 Subject: [PATCH] Extend the test of BN_GF2m_mod_inv Test that input value of 1 for p is treated as an error Reviewed-by: Tomas Mraz Reviewed-by: Todd Short (Merged from https://github.com/openssl/openssl/pull/22960) --- test/bntest.c | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/test/bntest.c b/test/bntest.c index 2ffff10ef1c..20020cac42f 100644 --- a/test/bntest.c +++ b/test/bntest.c @@ -910,6 +910,14 @@ static int test_gf2m_modinv(void) || !TEST_ptr(d = BN_new())) goto err; + /* Test that a non-sensical, too small value causes a failure */ + if (!TEST_true(BN_one(b[0]))) + goto err; + if (!TEST_true(BN_bntest_rand(a, 512, 0, 0))) + goto err; + if (!TEST_false(BN_GF2m_mod_inv(c, a, b[0], ctx))) + goto err; + if (!(TEST_true(BN_GF2m_arr2poly(p0, b[0])) && TEST_true(BN_GF2m_arr2poly(p1, b[1])))) goto err; -- 2.47.2