crypto/dsa/dsa_ossl.c:384: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64 by call to `BN_mod_exp2_mont`.
Showing all 8 steps of the trace


crypto/dsa/dsa_ossl.c:369:7: Call
367.   
368.   	/* u1 = M * w mod q */
369.   	if (!BN_mod_mul(&u1,&u1,&u2,dsa->q,ctx)) goto err;
             ^
370.   
371.   	/* u2 = r * w mod q */

crypto/bn/bn_mod.c:178:1: Parameter `r->top`
  176.   
  177.   /* slow but works */
  178. > int BN_mod_mul(BIGNUM *r, const BIGNUM *a, const BIGNUM *b, const BIGNUM *m,
  179.   	BN_CTX *ctx)
  180.   	{

crypto/dsa/dsa_ossl.c:384:2: Call
382.   
383.   
384.   	DSA_MOD_EXP(goto err, dsa, &t1, dsa->g, &u1, dsa->pub_key, &u2, dsa->p, ctx, mont);
        ^
385.   	/* BN_copy(&u1,&t1); */
386.   	/* let u1 = u1 mod q */

crypto/bn/bn_exp2.c:118:1: Parameter `p1->top`
  116.   #define TABLE_SIZE	32
  117.   
  118. > int BN_mod_exp2_mont(BIGNUM *rr, const BIGNUM *a1, const BIGNUM *p1,
  119.   	const BIGNUM *a2, const BIGNUM *p2, const BIGNUM *m,
  120.   	BN_CTX *ctx, BN_MONT_CTX *in_mont)

crypto/bn/bn_exp2.c:141:8: Call
  139.   		return(0);
  140.   		}
  141.   	bits1=BN_num_bits(p1);
                ^
  142.   	bits2=BN_num_bits(p2);
  143.   	if ((bits1 == 0) && (bits2 == 0))

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_mod_exp2_mont` 
    248.   int BN_num_bits(const BIGNUM *a)
    249.   	{
    250.   	int i = a->top - 1;
            ^
    251.   	bn_check_top(a);
    252.   
