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


crypto/ec/ecp_smpl.c:1542:2: <LHS trace>
1540.   	BN_CTX *new_ctx = NULL;
1541.   	BIGNUM *tmp0, *tmp1;
1542.   	size_t pow2 = 0;
         ^
1543.   	BIGNUM **heap = NULL;
1544.   	size_t i;

crypto/ec/ecp_smpl.c:1542:2: Assignment
1540.   	BN_CTX *new_ctx = NULL;
1541.   	BIGNUM *tmp0, *tmp1;
1542.   	size_t pow2 = 0;
         ^
1543.   	BIGNUM **heap = NULL;
1544.   	size_t i;

crypto/ec/ecp_smpl.c:1697:8: Binary operation: ([0, +oo] - 1):unsigned64
1695.   		{
1696.   		/* heap[pow2/2] .. heap[pow2-1] have not been allocated locally! */
1697.   		for (i = pow2/2 - 1; i > 0; i--)
               ^
1698.   			{
1699.   			if (heap[i] != NULL)
