crypto/srp/srp_lib.c:160: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned32 by call to `BN_mod_mul`.
Showing all 18 steps of the trace


crypto/srp/srp_lib.c:158:7: Call
156.   	/* S = (A*v**u) ** b */ 
157.   
158.   	if (!BN_mod_exp(tmp,v,u,N,bn_ctx))
             ^
159.   		goto err;
160.   	if (!BN_mod_mul(tmp,A,tmp,N,bn_ctx))

crypto/bn/bn_exp.c:165:1: Parameter `ctx->stack.depth`
  163.   
  164.   
  165. > int BN_mod_exp(BIGNUM *r, const BIGNUM *a, const BIGNUM *p, const BIGNUM *m,
  166.   	       BN_CTX *ctx)
  167.   	{

crypto/bn/bn_exp.c:221:8: Call
  219.   			{
  220.   			BN_ULONG A = a->d[0];
  221.   			ret=BN_mod_exp_mont_word(r,A,p,m,ctx,NULL);
                ^
  222.   			}
  223.   		else

crypto/bn/bn_exp.c:726:1: Parameter `ctx->stack.depth`
    724.   	}
    725.   
    726. > int BN_mod_exp_mont_word(BIGNUM *rr, BN_ULONG a, const BIGNUM *p,
    727.                            const BIGNUM *m, BN_CTX *ctx, BN_MONT_CTX *in_mont)
    728.   	{

crypto/srp/srp_lib.c:160:7: Call
158.   	if (!BN_mod_exp(tmp,v,u,N,bn_ctx))
159.   		goto err;
160.   	if (!BN_mod_mul(tmp,A,tmp,N,bn_ctx))
             ^
161.   		goto err;
162.   	if (!BN_mod_exp(S,tmp,b,N,bn_ctx))

crypto/bn/bn_mod.c:180:1: Parameter `ctx->stack.depth`
  178.   
  179.   /* slow but works */
  180. > int BN_mod_mul(BIGNUM *r, const BIGNUM *a, const BIGNUM *b, const BIGNUM *m,
  181.   	BN_CTX *ctx)
  182.   	{

crypto/bn/bn_mod.c:190:2: Call
  188.   	bn_check_top(m);
  189.   
  190.   	BN_CTX_start(ctx);
          ^
  191.   	if ((t = BN_CTX_get(ctx)) == NULL) goto err;
  192.   	if (a == b)

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

crypto/bn/bn_mod.c:195:10: Call
  193.   		{ if (!BN_sqr(t,a,ctx)) goto err; }
  194.   	else
  195.   		{ if (!BN_mul(t,a,b,ctx)) goto err; }
                  ^
  196.   	if (!BN_nnmod(r,t,m,ctx)) goto err;
  197.   	bn_check_top(r);

crypto/bn/bn_mul.c:943:1: Parameter `ctx->stack.depth`
    941.   #endif /* BN_RECURSION */
    942.   
    943. > int BN_mul(BIGNUM *r, const BIGNUM *a, const BIGNUM *b, BN_CTX *ctx)
    944.   	{
    945.   	int ret=0;

crypto/bn/bn_mul.c:974:2: Call
    972.   	top=al+bl;
    973.   
    974.   	BN_CTX_start(ctx);
            ^
    975.   	if ((r == a) || (r == b))
    976.   		{

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

crypto/bn/bn_mul.c:1100:2: Call
    1098.   err:
    1099.   	bn_check_top(r);
    1100.   	BN_CTX_end(ctx);
             ^
    1101.   	return(ret);
    1102.   	}

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

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

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

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

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