crypto/bn/bn_prime.c:472: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned32 by call to `BN_div`.
Showing all 15 steps of the trace


crypto/bn/bn_prime.c:450:1: Parameter `ctx->stack.depth`
448.   }
449.   
450. > static int probable_prime_dh(BIGNUM *rnd, int bits, int safe, prime_t *mods,
451.                                const BIGNUM *add, const BIGNUM *rem,
452.                                BN_CTX *ctx)

crypto/bn/bn_prime.c:459:5: Call
457.       BN_ULONG maxdelta = BN_MASK2 - primes[NUMPRIMES - 1];
458.   
459.       BN_CTX_start(ctx);
           ^
460.       if ((t1 = BN_CTX_get(ctx)) == NULL)
461.           goto err;

crypto/bn/bn_ctx.c:194:1: Parameter `ctx->stack.depth`
  192.   }
  193.   
  194. > void BN_CTX_start(BN_CTX *ctx)
  195.   {
  196.       CTXDBG("ENTER BN_CTX_start()", ctx);

crypto/bn/bn_prime.c:472:10: Call
470.       /* we need ((rnd-rem) % add) == 0 */
471.   
472.       if (!BN_mod(t1, rnd, add, ctx))
                ^
473.           goto err;
474.       if (!BN_sub(rnd, rnd, t1))

crypto/bn/bn_div.c:209:1: Parameter `ctx->stack.depth`
  207.    * If 'dv' or 'rm' is NULL, the respective value is not returned.
  208.    */
  209. > int BN_div(BIGNUM *dv, BIGNUM *rm, const BIGNUM *num, const BIGNUM *divisor,
  210.              BN_CTX *ctx)
  211.   {

crypto/bn/bn_div.c:229:11: Call
  227.       }
  228.   
  229.       ret = bn_div_fixed_top(dv, rm, num, divisor, ctx);
                   ^
  230.   
  231.       if (ret) {

crypto/bn/bn_div.c:264:1: Parameter `ctx->stack.depth`
    262.    *       divisor's length is considered public;
    263.    */
    264. > int bn_div_fixed_top(BIGNUM *dv, BIGNUM *rm, const BIGNUM *num,
    265.                        const BIGNUM *divisor, BN_CTX *ctx)
    266.   {

crypto/bn/bn_div.c:280:5: Call
    278.       bn_check_top(rm);
    279.   
    280.       BN_CTX_start(ctx);
               ^
    281.       res = (dv == NULL) ? BN_CTX_get(ctx) : dv;
    282.       tmp = BN_CTX_get(ctx);

crypto/bn/bn_ctx.c:194:1: Parameter `ctx->stack.depth`
      192.   }
      193.   
      194. > void BN_CTX_start(BN_CTX *ctx)
      195.   {
      196.       CTXDBG("ENTER BN_CTX_start()", ctx);

crypto/bn/bn_div.c:450:5: Call
    448.       if (rm != NULL)
    449.           bn_rshift_fixed_top(rm, snum, norm_shift);
    450.       BN_CTX_end(ctx);
               ^
    451.       return 1;
    452.    err:

crypto/bn/bn_ctx.c:208:1: Parameter `ctx->stack.depth`
      206.   }
      207.   
      208. > void BN_CTX_end(BN_CTX *ctx)
      209.   {
      210.       if (ctx == NULL)

crypto/bn/bn_ctx.c:216:27: Call
      214.           ctx->err_stack--;
      215.       else {
      216.           unsigned int fp = BN_STACK_pop(&ctx->stack);
                                       ^
      217.           /* Does this stack frame have anything to release? */
      218.           if (fp < ctx->used)

crypto/bn/bn_ctx.c:298:1: <LHS trace>
296.   }
297.   
298. > static unsigned int BN_STACK_pop(BN_STACK *st)
299.   {
300.       return st->indexes[--(st->depth)];

crypto/bn/bn_ctx.c:298:1: Parameter `st->depth`
        296.   }
        297.   
        298. > static unsigned int BN_STACK_pop(BN_STACK *st)
        299.   {
        300.       return st->indexes[--(st->depth)];

crypto/bn/bn_ctx.c:300:12: Binary operation: ([0, +oo] - 1):unsigned32 by call to `BN_div` 
        298.   static unsigned int BN_STACK_pop(BN_STACK *st)
        299.   {
        300.       return st->indexes[--(st->depth)];
                          ^
        301.   }
        302.   
