crypto/bn/bn_prime.c:317: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64 by call to `BN_MONT_CTX_set`.
Showing all 13 steps of the trace


crypto/bn/bn_prime.c:243:1: Parameter `a->top`
241.   	}
242.   
243. > int BN_is_prime_fasttest_ex(const BIGNUM *a, int checks, BN_CTX *ctx_passed,
244.   		int do_trial_division, BN_GENCB *cb)
245.   	{

crypto/bn/bn_prime.c:253:6: Call
251.   	const BIGNUM *A = NULL;
252.   
253.   	if (BN_cmp(a, BN_value_one()) <= 0)
            ^
254.   		return 0;
255.   	

crypto/bn/bn_lib.c:678:1: Parameter `a->top`
  676.   	}
  677.   
  678. > int BN_cmp(const BIGNUM *a, const BIGNUM *b)
  679.   	{
  680.   	int i;

crypto/bn/bn_prime.c:296:7: Call
294.   
295.   	/* compute A1 := A - 1 */
296.   	if (!BN_copy(A1, A))
             ^
297.   		goto err;
298.   	if (!BN_sub_word(A1, 1))

crypto/bn/bn_lib.c:497:1: Parameter `a->dmax`
  495.   	}
  496.   
  497. > BIGNUM *BN_copy(BIGNUM *a, const BIGNUM *b)
  498.   	{
  499.   	int i;

crypto/bn/bn_prime.c:317:7: Call
315.   	if (mont == NULL)
316.   		goto err;
317.   	if (!BN_MONT_CTX_set(mont, A, ctx))
             ^
318.   		goto err;
319.   	

crypto/bn/bn_mont.c:413:1: Parameter `mod->top`
  411.   	}
  412.   
  413. > int BN_MONT_CTX_set(BN_MONT_CTX *mont, const BIGNUM *mod, BN_CTX *ctx)
  414.   	{
  415.   	int ret = 0;

crypto/bn/bn_mont.c:421:7: Call
  419.   	if((Ri = BN_CTX_get(ctx)) == NULL) goto err;
  420.   	R= &(mont->RR);					/* grab RR as a temp */
  421.   	if (!BN_copy(&(mont->N),mod)) goto err;		/* Set N */
               ^
  422.   	mont->N.neg = 0;
  423.   

crypto/bn/bn_lib.c:497:1: Parameter `a->dmax`
    495.   	}
    496.   
    497. > BIGNUM *BN_copy(BIGNUM *a, const BIGNUM *b)
    498.   	{
    499.   	int i;

crypto/bn/bn_mont.c:434:13: Call
  432.   		tmod.neg=0;
  433.   
  434.   		mont->ri=(BN_num_bits(mod)+(BN_BITS2-1))/BN_BITS2*BN_BITS2;
                     ^
  435.   
  436.   #if defined(OPENSSL_BN_ASM_MONT) && (BN_BITS2<=32)

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, +oo] - 1):unsigned64 by call to `BN_MONT_CTX_set` 
    248.   int BN_num_bits(const BIGNUM *a)
    249.   	{
    250.   	int i = a->top - 1;
            ^
    251.   	bn_check_top(a);
    252.   
