crypto/bn/bn_gf2m.c:292: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64.
Showing all 3 steps of the trace


crypto/bn/bn_gf2m.c:261:1: <LHS trace>
259.   
260.   /* Performs modular reduction of a and store result in r.  r could be a. */
261. > int BN_GF2m_mod_arr(BIGNUM *r, const BIGNUM *a, const int p[])
262.   	{
263.   	int j, k;

crypto/bn/bn_gf2m.c:261:1: Parameter `r->top`
259.   
260.   /* Performs modular reduction of a and store result in r.  r could be a. */
261. > int BN_GF2m_mod_arr(BIGNUM *r, const BIGNUM *a, const int p[])
262.   	{
263.   	int j, k;

crypto/bn/bn_gf2m.c:292:7: Binary operation: ([0, +oo] - 1):unsigned64
290.   	/* start reduction */
291.   	dN = p[0] / BN_BITS2;  
292.   	for (j = r->top - 1; j > dN;)
             ^
293.   		{
294.   		zz = z[j];
