crypto/rsa/rsa_pmeth.c:192: error: INTEGER_OVERFLOW_L2
  ([0, `ctx->pkey->pkey.rsa->n->top`] - 1):unsigned64 by call to `RSA_size`.
Showing all 9 steps of the trace


crypto/rsa/rsa_pmeth.c:151:1: Parameter `ctx->pkey->pkey.rsa->n->top`
149.   	}
150.   
151. > static int pkey_rsa_sign(EVP_PKEY_CTX *ctx, unsigned char *sig, size_t *siglen,
152.   					const unsigned char *tbs, size_t tbslen)
153.   	{

crypto/rsa/rsa_pmeth.c:189:9: Call
187.   			if (!setup_tbuf(rctx, ctx))
188.   				return -1;
189.   			if (!RSA_padding_add_PKCS1_PSS(rsa, rctx->tbuf, tbs,
               ^
190.   						rctx->md, rctx->saltlen))
191.   				return -1;

crypto/rsa/rsa_pss.c:169:1: Parameter `rsa->n->top`
  167.   	}
  168.   
  169. > int RSA_padding_add_PKCS1_PSS(RSA *rsa, unsigned char *EM,
  170.   			const unsigned char *mHash,
  171.   			const EVP_MD *Hash, int sLen)

crypto/rsa/rsa_pmeth.c:192:30: Call
190.   						rctx->md, rctx->saltlen))
191.   				return -1;
192.   			ret = RSA_private_encrypt(RSA_size(rsa), rctx->tbuf,
                                    ^
193.   						sig, rsa, RSA_NO_PADDING);
194.   			}

crypto/rsa/rsa_lib.c:274:1: Parameter `r->n->top`
  272.   	}
  273.   
  274. > int RSA_size(const RSA *r)
  275.   	{
  276.   	return(BN_num_bytes(r->n));

crypto/rsa/rsa_lib.c:276:9: Call
  274.   int RSA_size(const RSA *r)
  275.   	{
  276.   	return(BN_num_bytes(r->n));
                 ^
  277.   	}
  278.   

crypto/bn/bn_lib.c:248:1: <LHS trace>
246.   	}
247.   
248. > int BN_num_bits(const BIGNUM *a)
249.   	{
250.   	int i = a->top - 1;

crypto/bn/bn_lib.c:248:1: Parameter `a->top`
    246.   	}
    247.   
    248. > int BN_num_bits(const BIGNUM *a)
    249.   	{
    250.   	int i = a->top - 1;

crypto/bn/bn_lib.c:250:2: Binary operation: ([0, ctx->pkey->pkey.rsa->n->top] - 1):unsigned64 by call to `RSA_size` 
    248.   int BN_num_bits(const BIGNUM *a)
    249.   	{
    250.   	int i = a->top - 1;
            ^
    251.   	bn_check_top(a);
    252.   
