crypto/rsa/rsa_sp800_56b_check.c:186: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned32 by call to `BN_CTX_end`.
Showing all 8 steps of the trace


crypto/rsa/rsa_sp800_56b_check.c:175:15: Call
173.       ret = (gcd != NULL
174.             /* LCM(p - 1, q - 1) */
175.             && (rsa_get_lcm(ctx, rsa->p, rsa->q, lcm, gcd, p1, q1, p1q1) == 1)
                     ^
176.             /* (Step 6a) d < LCM(p - 1, q - 1) */
177.             && (BN_cmp(rsa->d, lcm) < 0)

crypto/rsa/rsa_sp800_56b_check.c:220:1: Parameter `ctx->pool.used`
  218.   
  219.   /* return LCM(p-1, q-1) */
  220. > int rsa_get_lcm(BN_CTX *ctx, const BIGNUM *p, const BIGNUM *q,
  221.                   BIGNUM *lcm, BIGNUM *gcd, BIGNUM *p1, BIGNUM *q1,
  222.                   BIGNUM *p1q1)

crypto/rsa/rsa_sp800_56b_check.c:186:5: Call
184.       BN_clear(lcm);
185.       BN_clear(gcd);
186.       BN_CTX_end(ctx);
           ^
187.       return ret;
188.   }

crypto/bn/bn_ctx.c:185:1: Parameter `ctx->pool.used`
  183.   }
  184.   
  185. > void BN_CTX_end(BN_CTX *ctx)
  186.   {
  187.       CTXDBG("ENTER BN_CTX_end()", ctx);

crypto/bn/bn_ctx.c:194:13: Call
  192.           /* Does this stack frame have anything to release? */
  193.           if (fp < ctx->used)
  194.               BN_POOL_release(&ctx->pool, ctx->used - fp);
                     ^
  195.           ctx->used = fp;
  196.           /* Unjam "too_many" in case "get" had failed */

crypto/bn/bn_ctx.c:338:1: <LHS trace>
336.   }
337.   
338. > static void BN_POOL_release(BN_POOL *p, unsigned int num)
339.   {
340.       unsigned int offset = (p->used - 1) % BN_CTX_POOL_SIZE;

crypto/bn/bn_ctx.c:338:1: Parameter `p->used`
    336.   }
    337.   
    338. > static void BN_POOL_release(BN_POOL *p, unsigned int num)
    339.   {
    340.       unsigned int offset = (p->used - 1) % BN_CTX_POOL_SIZE;

crypto/bn/bn_ctx.c:340:5: Binary operation: ([0, +oo] - 1):unsigned32 by call to `BN_CTX_end` 
    338.   static void BN_POOL_release(BN_POOL *p, unsigned int num)
    339.   {
    340.       unsigned int offset = (p->used - 1) % BN_CTX_POOL_SIZE;
               ^
    341.   
    342.       p->used -= num;
