crypto/bn/bn_gf2m.c:620: error: INTEGER_OVERFLOW_L2
  ([0, `p->top`] - 1):unsigned64 by call to `BN_GF2m_mod_mul`.
Showing all 9 steps of the trace


crypto/bn/bn_gf2m.c:606:1: Parameter `p->top`
604.    * or y, x could equal y.
605.    */
606. > int BN_GF2m_mod_div(BIGNUM *r, const BIGNUM *y, const BIGNUM *x, const BIGNUM *p, BN_CTX *ctx)
607.   	{
608.   	BIGNUM *xinv = NULL;

crypto/bn/bn_gf2m.c:619:7: Call
617.   	if (xinv == NULL) goto err;
618.   	
619.   	if (!BN_GF2m_mod_inv(xinv, x, p, ctx)) goto err;
             ^
620.   	if (!BN_GF2m_mod_mul(r, y, xinv, p, ctx)) goto err;
621.   	bn_check_top(r);

crypto/bn/bn_gf2m.c:521:1: Parameter `p->top`
  519.    *     of Elliptic Curve Cryptography Over Binary Fields".
  520.    */
  521. > int BN_GF2m_mod_inv(BIGNUM *r, const BIGNUM *a, const BIGNUM *p, BN_CTX *ctx)
  522.   	{
  523.   	BIGNUM *b, *c, *u, *v, *tmp;

crypto/bn/bn_gf2m.c:620:7: Call
618.   	
619.   	if (!BN_GF2m_mod_inv(xinv, x, p, ctx)) goto err;
620.   	if (!BN_GF2m_mod_mul(r, y, xinv, p, ctx)) goto err;
             ^
621.   	bn_check_top(r);
622.   	ret = 1;

crypto/bn/bn_gf2m.c:437:1: Parameter `p->top`
  435.    * BN_GF2m_mod_mul_arr function.
  436.    */
  437. > int	BN_GF2m_mod_mul(BIGNUM *r, const BIGNUM *a, const BIGNUM *b, const BIGNUM *p, BN_CTX *ctx)
  438.   	{
  439.   	int ret = 0;

crypto/bn/bn_gf2m.c:440:18: Call
  438.   	{
  439.   	int ret = 0;
  440.   	const int max = BN_num_bits(p) + 1;
                          ^
  441.   	int *arr=NULL;
  442.   	bn_check_top(a);

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