crypto/bn/bntest.c:1326: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64 by call to `BN_GF2m_mod_inv`.
Showing all 11 steps of the trace


crypto/bn/bntest.c:1323:3: Call
1321.   	for (i=0; i<num0; i++)
1322.   		{
1323.   		BN_bntest_rand(a, 512, 0, 0); 
          ^
1324.   		for (j=0; j < 2; j++)
1325.   			{

crypto/bn/bn_rand.c:224:9: Call
  222.   int     BN_bntest_rand(BIGNUM *rnd, size_t bits, int top, int bottom)
  223.   	{
  224.   	return bnrand(2, rnd, bits, top, bottom);
                 ^
  225.   	}
  226.   #endif

crypto/bn/bn_rand.c:118:1: Parameter `rnd->top`
    116.   #include <openssl/rand.h>
    117.   
    118. > static int bnrand(int pseudorand, BIGNUM *rnd, int bits, int top, int bottom)
    119.   	{
    120.   	unsigned char *buf=NULL;

crypto/bn/bntest.c:1326:4: Call
1324.   		for (j=0; j < 2; j++)
1325.   			{
1326.   			BN_GF2m_mod_inv(c, a, b[j], ctx);
           ^
1327.   			BN_GF2m_mod_mul(d, a, c, b[j], ctx);
1328.   #if 0 /* make test uses ouput in bc but bc can't handle GF(2^m) arithmetic */

crypto/bn/bn_gf2m.c:521:1: Parameter `p->top`
  519.    *     of Elliptic Curve Cryptography Over Binary Fields".
  520.    */
  521. > int BN_GF2m_mod_inv(BIGNUM *r, const BIGNUM *a, const BIGNUM *p, BN_CTX *ctx)
  522.   	{
  523.   	BIGNUM *b, *c, *u, *v, *tmp;

crypto/bn/bn_gf2m.c:538:7: Call
  536.   
  537.   	if (!BN_one(b)) goto err;
  538.   	if (!BN_GF2m_mod(u, a, p)) goto err;
               ^
  539.   	if (!BN_copy(v, p)) goto err;
  540.   

crypto/bn/bn_gf2m.c:359:1: Parameter `p->top`
    357.    * BN_GF2m_mod_arr function.
    358.    */
    359. > int	BN_GF2m_mod(BIGNUM *r, const BIGNUM *a, const BIGNUM *p)
    360.   	{
    361.   	int ret = 0;

crypto/bn/bn_gf2m.c:362:18: Call
    360.   	{
    361.   	int ret = 0;
    362.   	const int max = BN_num_bits(p) + 1;
                            ^
    363.   	int *arr=NULL;
    364.   	bn_check_top(a);

crypto/bn/bn_lib.c:248:1: <LHS trace>
246.   	}
247.   
248. > int BN_num_bits(const BIGNUM *a)
249.   	{
250.   	int i = a->top - 1;

crypto/bn/bn_lib.c:248:1: Parameter `a->top`
      246.   	}
      247.   
      248. > int BN_num_bits(const BIGNUM *a)
      249.   	{
      250.   	int i = a->top - 1;

crypto/bn/bn_lib.c:250:2: Binary operation: ([0, +oo] - 1):unsigned64 by call to `BN_GF2m_mod_inv` 
      248.   int BN_num_bits(const BIGNUM *a)
      249.   	{
      250.   	int i = a->top - 1;
              ^
      251.   	bn_check_top(a);
      252.   
