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


test/bntest.c:2423:14: Call
2421.       for (i = 0; i < 2; i++) {
2422.           BN_CTX *c = i == 0 ? nctx : sctx;
2423.           if (!TEST_true(test_ctx_set_ct_flag(c))
                     ^
2424.                   || !TEST_true(test_ctx_check_ct_flag(c)))
2425.               goto err;

test/bntest.c:2349:1: Parameter `c->stack.depth`
  2347.   }
  2348.   
  2349. > static int test_ctx_set_ct_flag(BN_CTX *c)
  2350.   {
  2351.       int st = 0;

test/bntest.c:2355:5: Call
  2353.       BIGNUM *b[15];
  2354.   
  2355.       BN_CTX_start(c);
              ^
  2356.       for (i = 0; i < OSSL_NELEM(b); i++) {
  2357.           if (!TEST_ptr(b[i] = BN_CTX_get(c)))

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);

test/bntest.c:2365:5: Call
  2363.       st = 1;
  2364.    err:
  2365.       BN_CTX_end(c);
              ^
  2366.       return st;
  2367.   }

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)

test/bntest.c:2424:21: Call
2422.           BN_CTX *c = i == 0 ? nctx : sctx;
2423.           if (!TEST_true(test_ctx_set_ct_flag(c))
2424.                   || !TEST_true(test_ctx_check_ct_flag(c)))
                            ^
2425.               goto err;
2426.       }

test/bntest.c:2369:1: Parameter `c->stack.depth`
  2367.   }
  2368.   
  2369. > static int test_ctx_check_ct_flag(BN_CTX *c)
  2370.   {
  2371.       int st = 0;

test/bntest.c:2375:5: Call
  2373.       BIGNUM *b[30];
  2374.   
  2375.       BN_CTX_start(c);
              ^
  2376.       for (i = 0; i < OSSL_NELEM(b); i++) {
  2377.           if (!TEST_ptr(b[i] = BN_CTX_get(c)))

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);

test/bntest.c:2385:5: Call
  2383.       st = 1;
  2384.    err:
  2385.       BN_CTX_end(c);
              ^
  2386.       return st;
  2387.   }

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)

test/bntest.c:2423:14: Call
2421.       for (i = 0; i < 2; i++) {
2422.           BN_CTX *c = i == 0 ? nctx : sctx;
2423.           if (!TEST_true(test_ctx_set_ct_flag(c))
                     ^
2424.                   || !TEST_true(test_ctx_check_ct_flag(c)))
2425.               goto err;

test/bntest.c:2349:1: Parameter `c->stack.depth`
  2347.   }
  2348.   
  2349. > static int test_ctx_set_ct_flag(BN_CTX *c)
  2350.   {
  2351.       int st = 0;

test/bntest.c:2355:5: Call
  2353.       BIGNUM *b[15];
  2354.   
  2355.       BN_CTX_start(c);
              ^
  2356.       for (i = 0; i < OSSL_NELEM(b); i++) {
  2357.           if (!TEST_ptr(b[i] = BN_CTX_get(c)))

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);

test/bntest.c:2365:5: Call
  2363.       st = 1;
  2364.    err:
  2365.       BN_CTX_end(c);
              ^
  2366.       return st;
  2367.   }

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 `test_ctx_set_ct_flag` 
      298.   static unsigned int BN_STACK_pop(BN_STACK *st)
      299.   {
      300.       return st->indexes[--(st->depth)];
                        ^
      301.   }
      302.   
