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 <tomas@openssl.org>
Reviewed-by: Todd Short <todd.short@me.com>
(Merged from https://github.com/openssl/openssl/pull/22960)
This commit is contained in:
Matt Caswell 2023-12-06 11:19:24 +00:00
parent 9c1b8f17ce
commit b83c719ecb
1 changed files with 8 additions and 0 deletions

View File

@ -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;