crypto/ec/ecp_smpl.c:834: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64 by call to `BN_num_bits`.
Showing all 7 steps of the trace


crypto/ec/ecp_smpl.c:822:7: Call
820.   		used_ctx = 1;
821.   		x = BN_CTX_get(ctx);
822.   		y = BN_CTX_get(ctx);
             ^
823.   		if (y == NULL) goto err;
824.   

crypto/bn/bn_ctx.c:302:2: Call
  300.   		}
  301.   	/* OK, make sure the returned bignum is "zero" */
  302.   	BN_zero(ret);
          ^
  303.   	ctx->used++;
  304.   	CTXDBG_RET(ctx, ret);

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/ec/ecp_smpl.c:834:22: Call
832.   		i = 1;
833.   		
834.   		skip = field_len - BN_num_bytes(x);
                            ^
835.   		if (skip > field_len)
836.   			{

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_num_bits` 
  248.   int BN_num_bits(const BIGNUM *a)
  249.   	{
  250.   	int i = a->top - 1;
          ^
  251.   	bn_check_top(a);
  252.   
