diff options
author | Adam Langley <agl@google.com> | 2017-04-20 09:20:50 -0700 |
---|---|---|
committer | Rich Salz <rsalz@openssl.org> | 2017-04-20 16:10:10 -0400 |
commit | 6e64c560663f5542fdc2580bb7b030c19b6919e4 (patch) | |
tree | cab54406234402d95b8f1fae5ad7b57db7f7cd28 /test/bntest.c | |
parent | c0452248ea1a59a41023a4765ef7d9825e80a62b (diff) |
Small primes are primes too.
Previously, BN_is_prime_fasttest_ex, when doing trial-division, would
check whether the candidate is a multiple of a number of small primes
and, if so, reject it. However, three is a multiple of three yet is
still a prime number.
This change accepts small primes as prime when doing trial-division.
Reviewed-by: Kurt Roeckx <kurt@openssl.org>
Reviewed-by: Rich Salz <rsalz@openssl.org>
(Merged from https://github.com/openssl/openssl/pull/3264)
Diffstat (limited to 'test/bntest.c')
-rw-r--r-- | test/bntest.c | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/test/bntest.c b/test/bntest.c index 0c15a129ce..449b3a4fd2 100644 --- a/test/bntest.c +++ b/test/bntest.c @@ -2084,6 +2084,29 @@ err: return st; } +static int test_3_is_prime() +{ + int ret = 0; + BIGNUM *r = BN_new(); + + /* For a long time, small primes were not considered prime when + * do_trial_division was set. */ + if (r == NULL || + !BN_set_word(r, 3) || + BN_is_prime_fasttest_ex(r, 3 /* nchecks */, ctx, + 0 /* do_trial_division */, NULL) != 1 || + BN_is_prime_fasttest_ex(r, 3 /* nchecks */, ctx, + 1 /* do_trial_division */, NULL) != 1) { + goto err; + } + + ret = 1; + +err: + BN_free(r); + return ret; +} + /* Delete leading and trailing spaces from a string */ static char *strip_spaces(char *p) @@ -2250,6 +2273,7 @@ int test_main(int argc, char *argv[]) ADD_TEST(test_gf2m_modsqrt); ADD_TEST(test_gf2m_modsolvequad); #endif + ADD_TEST(test_3_is_prime); ADD_TEST(file_tests); RAND_seed(rnd_seed, sizeof rnd_seed); |