1 files changed, 1 insertions, 54 deletions

diff --git a/src/lib/libcrypto/bn/bn_gf2m.c b/src/lib/libcrypto/bn/bn_gf2m.c
index eceaba47c3..8adbbeb040 100644
--- a/src/lib/libcrypto/bn/bn_gf2m.c
+++ b/src/lib/libcrypto/bn/bn_gf2m.c
@@ -1,4 +1,4 @@
-/* $OpenBSD: bn_gf2m.c,v 1.26 2022/11/24 01:30:01 jsing Exp $ */
+/* $OpenBSD: bn_gf2m.c,v 1.27 2022/11/26 13:56:33 jsing Exp $ */
 /* ====================================================================
  * Copyright 2002 Sun Microsystems, Inc. ALL RIGHTS RESERVED.
  *
@@ -325,8 +325,6 @@ BN_GF2m_add(BIGNUM *r, const BIGNUM *a, const BIGNUM *b)
         int i;
         const BIGNUM *at, *bt;
 
-        bn_check_top(a);
-        bn_check_top(b);
 
         if (a->top < b->top) {
                 at = b;
@@ -368,7 +366,6 @@ BN_GF2m_mod_arr(BIGNUM *r, const BIGNUM *a, const int p[])
         int n, dN, d0, d1;
         BN_ULONG zz, *z;
 
-        bn_check_top(a);
 
         if (!p[0]) {
                 /* reduction mod 1 => return 0 */
@@ -467,8 +464,6 @@ BN_GF2m_mod(BIGNUM *r, const BIGNUM *a, const BIGNUM *p)
         const int max = BN_num_bits(p) + 1;
         int *arr = NULL;
 
-        bn_check_top(a);
-        bn_check_top(p);
         if ((arr = reallocarray(NULL, max, sizeof(int))) == NULL)
                 goto err;
         ret = BN_GF2m_poly2arr(p, arr, max);
@@ -477,7 +472,6 @@ BN_GF2m_mod(BIGNUM *r, const BIGNUM *a, const BIGNUM *p)
                 goto err;
         }
         ret = BN_GF2m_mod_arr(r, a, arr);
-        bn_check_top(r);
 
  err:
         free(arr);
@@ -496,8 +490,6 @@ BN_GF2m_mod_mul_arr(BIGNUM *r, const BIGNUM *a, const BIGNUM *b, const int p[],
         BIGNUM *s;
         BN_ULONG x1, x0, y1, y0, zz[4];
 
-        bn_check_top(a);
-        bn_check_top(b);
 
         if (a == b) {
                 return BN_GF2m_mod_sqr_arr(r, a, p, ctx);
@@ -530,7 +522,6 @@ BN_GF2m_mod_mul_arr(BIGNUM *r, const BIGNUM *a, const BIGNUM *b, const int p[],
         bn_correct_top(s);
         if (BN_GF2m_mod_arr(r, s, p))
                 ret = 1;
-        bn_check_top(r);
 
 err:
         BN_CTX_end(ctx);
@@ -552,9 +543,6 @@ BN_GF2m_mod_mul(BIGNUM *r, const BIGNUM *a, const BIGNUM *b, const BIGNUM *p,
         const int max = BN_num_bits(p) + 1;
         int *arr = NULL;
 
-        bn_check_top(a);
-        bn_check_top(b);
-        bn_check_top(p);
         if ((arr = reallocarray(NULL, max, sizeof(int))) == NULL)
                 goto err;
         ret = BN_GF2m_poly2arr(p, arr, max);
@@ -563,7 +551,6 @@ BN_GF2m_mod_mul(BIGNUM *r, const BIGNUM *a, const BIGNUM *b, const BIGNUM *p,
                 goto err;
         }
         ret = BN_GF2m_mod_mul_arr(r, a, b, arr, ctx);
-        bn_check_top(r);
 
 err:
         free(arr);
@@ -578,7 +565,6 @@ BN_GF2m_mod_sqr_arr(BIGNUM *r, const BIGNUM *a, const int p[], BN_CTX *ctx)
         int i, ret = 0;
         BIGNUM *s;
 
-        bn_check_top(a);
         BN_CTX_start(ctx);
         if ((s = BN_CTX_get(ctx)) == NULL)
                 goto err;
@@ -594,7 +580,6 @@ BN_GF2m_mod_sqr_arr(BIGNUM *r, const BIGNUM *a, const int p[], BN_CTX *ctx)
         bn_correct_top(s);
         if (!BN_GF2m_mod_arr(r, s, p))
                 goto err;
-        bn_check_top(r);
         ret = 1;
 
 err:
@@ -615,8 +600,6 @@ BN_GF2m_mod_sqr(BIGNUM *r, const BIGNUM *a, const BIGNUM *p, BN_CTX *ctx)
         const int max = BN_num_bits(p) + 1;
         int *arr = NULL;
 
-        bn_check_top(a);
-        bn_check_top(p);
         if ((arr = reallocarray(NULL, max, sizeof(int))) == NULL)
                 goto err;
         ret = BN_GF2m_poly2arr(p, arr, max);
@@ -625,7 +608,6 @@ BN_GF2m_mod_sqr(BIGNUM *r, const BIGNUM *a, const BIGNUM *p, BN_CTX *ctx)
                 goto err;
         }
         ret = BN_GF2m_mod_sqr_arr(r, a, arr, ctx);
-        bn_check_top(r);
 
 err:
         free(arr);
@@ -644,8 +626,6 @@ BN_GF2m_mod_inv(BIGNUM *r, const BIGNUM *a, const BIGNUM *p, BN_CTX *ctx)
         BIGNUM *b, *c = NULL, *u = NULL, *v = NULL, *tmp;
         int ret = 0;
 
-        bn_check_top(a);
-        bn_check_top(p);
 
         BN_CTX_start(ctx);
 
@@ -795,7 +775,6 @@ BN_GF2m_mod_inv(BIGNUM *r, const BIGNUM *a, const BIGNUM *p, BN_CTX *ctx)
 
         if (!BN_copy(r, b))
                 goto err;
-        bn_check_top(r);
         ret = 1;
 
 err:
@@ -820,7 +799,6 @@ BN_GF2m_mod_inv_arr(BIGNUM *r, const BIGNUM *xx, const int p[], BN_CTX *ctx)
         BIGNUM *field;
         int ret = 0;
 
-        bn_check_top(xx);
         BN_CTX_start(ctx);
         if ((field = BN_CTX_get(ctx)) == NULL)
                 goto err;
@@ -828,7 +806,6 @@ BN_GF2m_mod_inv_arr(BIGNUM *r, const BIGNUM *xx, const int p[], BN_CTX *ctx)
                 goto err;
 
         ret = BN_GF2m_mod_inv(r, xx, field, ctx);
-        bn_check_top(r);
 
 err:
         BN_CTX_end(ctx);
@@ -847,9 +824,6 @@ BN_GF2m_mod_div(BIGNUM *r, const BIGNUM *y, const BIGNUM *x, const BIGNUM *p,
         BIGNUM *xinv = NULL;
         int ret = 0;
 
-        bn_check_top(y);
-        bn_check_top(x);
-        bn_check_top(p);
 
         BN_CTX_start(ctx);
         if ((xinv = BN_CTX_get(ctx)) == NULL)
@@ -859,7 +833,6 @@ BN_GF2m_mod_div(BIGNUM *r, const BIGNUM *y, const BIGNUM *x, const BIGNUM *p,
                 goto err;
         if (!BN_GF2m_mod_mul(r, y, xinv, p, ctx))
                 goto err;
-        bn_check_top(r);
         ret = 1;
 
 err:
@@ -880,9 +853,6 @@ BN_GF2m_mod_div(BIGNUM *r, const BIGNUM *y, const BIGNUM *x, const BIGNUM *p,
         BIGNUM *a, *b, *u, *v;
         int ret = 0;
 
-        bn_check_top(y);
-        bn_check_top(x);
-        bn_check_top(p);
 
         BN_CTX_start(ctx);
 
@@ -949,7 +919,6 @@ BN_GF2m_mod_div(BIGNUM *r, const BIGNUM *y, const BIGNUM *x, const BIGNUM *p,
 
         if (!BN_copy(r, u))
                 goto err;
-        bn_check_top(r);
         ret = 1;
 
 err:
@@ -972,8 +941,6 @@ BN_GF2m_mod_div_arr(BIGNUM *r, const BIGNUM *yy, const BIGNUM *xx,
         BIGNUM *field;
         int ret = 0;
 
-        bn_check_top(yy);
-        bn_check_top(xx);
 
         BN_CTX_start(ctx);
         if ((field = BN_CTX_get(ctx)) == NULL)
@@ -982,7 +949,6 @@ BN_GF2m_mod_div_arr(BIGNUM *r, const BIGNUM *yy, const BIGNUM *xx,
                 goto err;
 
         ret = BN_GF2m_mod_div(r, yy, xx, field, ctx);
-        bn_check_top(r);
 
 err:
         BN_CTX_end(ctx);
@@ -1001,8 +967,6 @@ BN_GF2m_mod_exp_arr(BIGNUM *r, const BIGNUM *a, const BIGNUM *b, const int p[],
         int ret = 0, i, n;
         BIGNUM *u;
 
-        bn_check_top(a);
-        bn_check_top(b);
 
         if (BN_is_zero(b))
                 return (BN_one(r));
@@ -1028,7 +992,6 @@ BN_GF2m_mod_exp_arr(BIGNUM *r, const BIGNUM *a, const BIGNUM *b, const int p[],
         }
         if (!BN_copy(r, u))
                 goto err;
-        bn_check_top(r);
         ret = 1;
 
 err:
@@ -1051,9 +1014,6 @@ BN_GF2m_mod_exp(BIGNUM *r, const BIGNUM *a, const BIGNUM *b, const BIGNUM *p,
         const int max = BN_num_bits(p) + 1;
         int *arr = NULL;
 
-        bn_check_top(a);
-        bn_check_top(b);
-        bn_check_top(p);
         if ((arr = reallocarray(NULL, max, sizeof(int))) == NULL)
                 goto err;
         ret = BN_GF2m_poly2arr(p, arr, max);
@@ -1062,7 +1022,6 @@ BN_GF2m_mod_exp(BIGNUM *r, const BIGNUM *a, const BIGNUM *b, const BIGNUM *p,
                 goto err;
         }
         ret = BN_GF2m_mod_exp_arr(r, a, b, arr, ctx);
-        bn_check_top(r);
 
 err:
         free(arr);
@@ -1079,7 +1038,6 @@ BN_GF2m_mod_sqrt_arr(BIGNUM *r, const BIGNUM *a, const int p[], BN_CTX *ctx)
         int ret = 0;
         BIGNUM *u;
 
-        bn_check_top(a);
 
         if (!p[0]) {
                 /* reduction mod 1 => return 0 */
@@ -1094,7 +1052,6 @@ BN_GF2m_mod_sqrt_arr(BIGNUM *r, const BIGNUM *a, const int p[], BN_CTX *ctx)
         if (!BN_set_bit(u, p[0] - 1))
                 goto err;
         ret = BN_GF2m_mod_exp_arr(r, a, u, p, ctx);
-        bn_check_top(r);
 
 err:
         BN_CTX_end(ctx);
@@ -1114,8 +1071,6 @@ BN_GF2m_mod_sqrt(BIGNUM *r, const BIGNUM *a, const BIGNUM *p, BN_CTX *ctx)
         int ret = 0;
         const int max = BN_num_bits(p) + 1;
         int *arr = NULL;
-        bn_check_top(a);
-        bn_check_top(p);
         if ((arr = reallocarray(NULL, max, sizeof(int))) == NULL)
                 goto err;
         ret = BN_GF2m_poly2arr(p, arr, max);
@@ -1124,7 +1079,6 @@ BN_GF2m_mod_sqrt(BIGNUM *r, const BIGNUM *a, const BIGNUM *p, BN_CTX *ctx)
                 goto err;
         }
         ret = BN_GF2m_mod_sqrt_arr(r, a, arr, ctx);
-        bn_check_top(r);
 
 err:
         free(arr);
@@ -1141,7 +1095,6 @@ BN_GF2m_mod_solve_quad_arr(BIGNUM *r, const BIGNUM *a_, const int p[],
         int ret = 0, count = 0, j;
         BIGNUM *a, *z, *rho, *w, *w2, *tmp;
 
-        bn_check_top(a_);
 
         if (!p[0]) {
                 /* reduction mod 1 => return 0 */
@@ -1228,7 +1181,6 @@ BN_GF2m_mod_solve_quad_arr(BIGNUM *r, const BIGNUM *a_, const int p[],
 
         if (!BN_copy(r, z))
                 goto err;
-        bn_check_top(r);
 
         ret = 1;
 
@@ -1250,8 +1202,6 @@ BN_GF2m_mod_solve_quad(BIGNUM *r, const BIGNUM *a, const BIGNUM *p, BN_CTX *ctx)
         const int max = BN_num_bits(p) + 1;
         int *arr = NULL;
 
-        bn_check_top(a);
-        bn_check_top(p);
         if ((arr = reallocarray(NULL, max, sizeof(int))) == NULL)
                 goto err;
         ret = BN_GF2m_poly2arr(p, arr, max);
@@ -1260,7 +1210,6 @@ BN_GF2m_mod_solve_quad(BIGNUM *r, const BIGNUM *a, const BIGNUM *p, BN_CTX *ctx)
                 goto err;
         }
         ret = BN_GF2m_mod_solve_quad_arr(r, a, arr, ctx);
-        bn_check_top(r);
 
 err:
         free(arr);
@@ -1312,13 +1261,11 @@ BN_GF2m_arr2poly(const int p[], BIGNUM *a)
 {
         int i;
 
-        bn_check_top(a);
         BN_zero(a);
         for (i = 0; p[i] != -1; i++) {
                 if (BN_set_bit(a, p[i]) == 0)
                         return 0;
         }
-        bn_check_top(a);
 
         return 1;
 }