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


crypto/bn/bn_gf2m.c:591:7: Call
589.   	BN_CTX_start(ctx);
590.   	if ((field = BN_CTX_get(ctx)) == NULL) goto err;
591.   	if (!BN_GF2m_arr2poly(p, field)) goto err;
             ^
592.   	
593.   	ret = BN_GF2m_mod_inv(r, xx, field, ctx);

crypto/bn/bn_gf2m.c:1018:1: Parameter `a->top`
  1016.    * bit-string.  The array must be terminated by -1.
  1017.    */
  1018. > int BN_GF2m_arr2poly(const int p[], BIGNUM *a)
  1019.   	{
  1020.   	int i;

crypto/bn/bn_gf2m.c:1023:2: Call
  1021.   
  1022.   	bn_check_top(a);
  1023.   	BN_zero(a);
           ^
  1024.   	for (i = 0; p[i] != -1; i++)
  1025.   		{

crypto/bn/bn_lib.c:586:1: Parameter `a->top`
    584.   	}
    585.   
    586. > int BN_set_word(BIGNUM *a, BN_ULONG w)
    587.   	{
    588.   	bn_check_top(a);

crypto/bn/bn_gf2m.c:593:8: Call
591.   	if (!BN_GF2m_arr2poly(p, field)) goto err;
592.   	
593.   	ret = BN_GF2m_mod_inv(r, xx, field, ctx);
              ^
594.   	bn_check_top(r);
595.   

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.   
