crypto/ec/ecp_nist.c:174: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned32 by call to `BN_mul`.
Showing all 11 steps of the trace


crypto/ec/ecp_nist.c:160:1: Parameter `ctx->stack.depth`
158.   
159.   
160. > int ec_GFp_nist_field_mul(const EC_GROUP *group, BIGNUM *r, const BIGNUM *a,
161.   	const BIGNUM *b, BN_CTX *ctx)
162.   	{

crypto/ec/ecp_nist.c:174:7: Call
172.   		if ((ctx_new = ctx = BN_CTX_new()) == NULL) goto err;
173.   
174.   	if (!BN_mul(r, a, b, ctx)) goto err;
             ^
175.   	if (!group->field_mod_func(r, r, group->field, ctx))
176.   		goto err;

crypto/bn/bn_mul.c:898:1: Parameter `ctx->stack.depth`
  896.   #endif /* BN_RECURSION */
  897.   
  898. > int BN_mul(BIGNUM *r, const BIGNUM *a, const BIGNUM *b, BN_CTX *ctx)
  899.   	{
  900.   	int ret=0;

crypto/bn/bn_mul.c:925:2: Call
  923.   	top=al+bl;
  924.   
  925.   	BN_CTX_start(ctx);
          ^
  926.   	if ((r == a) || (r == b))
  927.   		{

crypto/bn/bn_ctx.c:256:1: Parameter `ctx->stack.depth`
    254.   	}
    255.   
    256. > void BN_CTX_start(BN_CTX *ctx)
    257.   	{
    258.   	CTXDBG_ENTRY("BN_CTX_start", ctx);

crypto/bn/bn_mul.c:1051:2: Call
  1049.   err:
  1050.   	bn_check_top(r);
  1051.   	BN_CTX_end(ctx);
           ^
  1052.   	return(ret);
  1053.   	}

crypto/bn/bn_ctx.c:271:1: Parameter `ctx->stack.depth`
    269.   	}
    270.   
    271. > void BN_CTX_end(BN_CTX *ctx)
    272.   	{
    273.   	CTXDBG_ENTRY("BN_CTX_end", ctx);

crypto/bn/bn_ctx.c:278:21: Call
    276.   	else
    277.   		{
    278.   		unsigned int fp = BN_STACK_pop(&ctx->stack);
                               ^
    279.   		/* Does this stack frame have anything to release? */
    280.   		if(fp < ctx->used)

crypto/bn/bn_ctx.c:352:1: <LHS trace>
350.   	}
351.   
352. > static unsigned int BN_STACK_pop(BN_STACK *st)
353.   	{
354.   	return st->indexes[--(st->depth)];

crypto/bn/bn_ctx.c:352:1: Parameter `st->depth`
      350.   	}
      351.   
      352. > static unsigned int BN_STACK_pop(BN_STACK *st)
      353.   	{
      354.   	return st->indexes[--(st->depth)];

crypto/bn/bn_ctx.c:354:9: Binary operation: ([0, +oo] - 1):unsigned32 by call to `BN_mul` 
      352.   static unsigned int BN_STACK_pop(BN_STACK *st)
      353.   	{
      354.   	return st->indexes[--(st->depth)];
                     ^
      355.   	}
      356.   
