test/bntest.c:591: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned32 by call to `BN_div_recp`.
Showing all 11 steps of the trace


test/bntest.c:567:1: Parameter `ctx->stack.depth`
565.   }
566.   
567. > int test_div_recp(BIO *bp, BN_CTX *ctx)
568.   {
569.       BIGNUM *a, *b, *c, *d, *e;

test/bntest.c:591:9: Call
589.           b->neg = rand_neg();
590.           BN_RECP_CTX_set(recp, b, ctx);
591.           BN_div_recp(d, c, a, recp, ctx);
               ^
592.           if (bp != NULL) {
593.               if (!results) {

crypto/bn/bn_recp.c:83:1: Parameter `ctx->stack.depth`
  81.   }
  82.   
  83. > int BN_div_recp(BIGNUM *dv, BIGNUM *rem, const BIGNUM *m,
  84.                   BN_RECP_CTX *recp, BN_CTX *ctx)
  85.   {

crypto/bn/bn_recp.c:89:5: Call
  87.       BIGNUM *a, *b, *d, *r;
  88.   
  89.       BN_CTX_start(ctx);
            ^
  90.       a = BN_CTX_get(ctx);
  91.       b = BN_CTX_get(ctx);

crypto/bn/bn_ctx.c:181:1: Parameter `ctx->stack.depth`
    179.   }
    180.   
    181. > void BN_CTX_start(BN_CTX *ctx)
    182.   {
    183.       CTXDBG_ENTRY("BN_CTX_start", ctx);

crypto/bn/bn_recp.c:106:13: Call
  104.           BN_zero(d);
  105.           if (!BN_copy(r, m)) {
  106.               BN_CTX_end(ctx);
                     ^
  107.               return 0;
  108.           }

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

crypto/bn/bn_ctx.c:201:27: Call
    199.           ctx->err_stack--;
    200.       else {
    201.           unsigned int fp = BN_STACK_pop(&ctx->stack);
                                     ^
    202.           /* Does this stack frame have anything to release? */
    203.           if (fp < ctx->used)

crypto/bn/bn_ctx.c:271:1: <LHS trace>
269.   }
270.   
271. > static unsigned int BN_STACK_pop(BN_STACK *st)
272.   {
273.       return st->indexes[--(st->depth)];

crypto/bn/bn_ctx.c:271:1: Parameter `st->depth`
      269.   }
      270.   
      271. > static unsigned int BN_STACK_pop(BN_STACK *st)
      272.   {
      273.       return st->indexes[--(st->depth)];

crypto/bn/bn_ctx.c:273:12: Binary operation: ([0, +oo] - 1):unsigned32 by call to `BN_div_recp` 
      271.   static unsigned int BN_STACK_pop(BN_STACK *st)
      272.   {
      273.       return st->indexes[--(st->depth)];
                        ^
      274.   }
      275.   
