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


crypto/ec/ecp_smpl.c:198:7: Call
196.   
197.   	/* group->a */
198.   	if (!BN_nnmod(tmp_a, a, p, ctx)) goto err;
             ^
199.   	if (group->meth->field_encode)
200.   		{ if (!group->meth->field_encode(group, &group->a, tmp_a, ctx)) goto err; }	

crypto/bn/bn_mod.c:132:8: Call
  130.   	 * (i.e.,  0 <= r < |d|  always holds) */
  131.   
  132.   	if (!(BN_mod(r,m,d,ctx)))
                ^
  133.   		return 0;
  134.   	if (!r->neg)

crypto/bn/bn_div.c:181:1: Parameter `rm->top`
    179.   static int BN_div_no_branch(BIGNUM *dv, BIGNUM *rm, const BIGNUM *num,
    180.           const BIGNUM *divisor, BN_CTX *ctx);
    181. > int BN_div(BIGNUM *dv, BIGNUM *rm, const BIGNUM *num, const BIGNUM *divisor,
    182.   	   BN_CTX *ctx)
    183.   	{

crypto/ec/ecp_smpl.c:210:7: Call
208.   	
209.   	/* group->a_is_minus3 */
210.   	if (!BN_add_word(tmp_a, 3)) goto err;
             ^
211.   	group->a_is_minus3 = (0 == BN_cmp(tmp_a, &group->field));
212.   

crypto/bn/bn_word.c:126:1: Parameter `a->top`
  124.   	}
  125.   
  126. > int BN_add_word(BIGNUM *a, BN_ULONG w)
  127.   	{
  128.   	BN_ULONG l;

crypto/ec/ecp_smpl.c:211:29: Call
209.   	/* group->a_is_minus3 */
210.   	if (!BN_add_word(tmp_a, 3)) goto err;
211.   	group->a_is_minus3 = (0 == BN_cmp(tmp_a, &group->field));
                                   ^
212.   
213.   	ret = 1;

crypto/bn/bn_lib.c:678:1: <LHS trace>
676.   	}
677.   
678. > int BN_cmp(const BIGNUM *a, const BIGNUM *b)
679.   	{
680.   	int i;

crypto/bn/bn_lib.c:678:1: Parameter `a->top`
  676.   	}
  677.   
  678. > int BN_cmp(const BIGNUM *a, const BIGNUM *b)
  679.   	{
  680.   	int i;

crypto/bn/bn_lib.c:709:7: Binary operation: ([0, +oo] - 1):unsigned64 by call to `BN_cmp` 
  707.   	if (a->top > b->top) return(gt);
  708.   	if (a->top < b->top) return(lt);
  709.   	for (i=a->top-1; i>=0; i--)
               ^
  710.   		{
  711.   		t1=a->d[i];
