crypto/ec/ecp_mont.c:238: error: INTEGER_OVERFLOW_L2
  ([0, `p->top`] - 1):unsigned64 by call to `ec_GFp_simple_group_set_curve`.
Showing all 9 steps of the trace


crypto/ec/ecp_mont.c:197:1: Parameter `p->top`
195.   
196.   
197. > int ec_GFp_mont_group_set_curve(EC_GROUP *group, const BIGNUM *p, const BIGNUM *a, const BIGNUM *b, BN_CTX *ctx)
198.   	{
199.   	BN_CTX *new_ctx = NULL;

crypto/ec/ecp_mont.c:224:7: Call
222.   	mont = BN_MONT_CTX_new();
223.   	if (mont == NULL) goto err;
224.   	if (!BN_MONT_CTX_set(mont, p, ctx))
             ^
225.   		{
226.   		ECerr(EC_F_EC_GFP_MONT_GROUP_SET_CURVE, ERR_R_BN_LIB);

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/ec/ecp_mont.c:238:8: Call
236.   	one = NULL;
237.   
238.   	ret = ec_GFp_simple_group_set_curve(group, p, a, b, ctx);
              ^
239.   
240.   	if (!ret)

crypto/ec/ecp_smpl.c:168:1: Parameter `p->top`
  166.   
  167.   
  168. > int ec_GFp_simple_group_set_curve(EC_GROUP *group,
  169.   	const BIGNUM *p, const BIGNUM *a, const BIGNUM *b, BN_CTX *ctx)
  170.   	{

crypto/ec/ecp_smpl.c:176:6: Call
  174.   	
  175.   	/* p must be a prime > 3 */
  176.   	if (BN_num_bits(p) <= 2 || !BN_is_odd(p))
              ^
  177.   		{
  178.   		ECerr(EC_F_EC_GFP_SIMPLE_GROUP_SET_CURVE, EC_R_INVALID_FIELD);

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