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


crypto/bn/bn_mont.c:177:1: <RHS trace>
175.   
176.   #ifdef MONT_WORD
177. > static int BN_from_montgomery_word(BIGNUM *ret, BIGNUM *r, BN_MONT_CTX *mont)
178.   	{
179.   	BIGNUM *n;

crypto/bn/bn_mont.c:177:1: Parameter `ret->dmax`
175.   
176.   #ifdef MONT_WORD
177. > static int BN_from_montgomery_word(BIGNUM *ret, BIGNUM *r, BN_MONT_CTX *mont)
178.   	{
179.   	BIGNUM *n;

crypto/bn/bn_mont.c:281:3: Binary operation: (0 - [0, 1]):unsigned64
279.   		 * trick unconditional memcpy below to perform in-place
280.   		 * "refresh" instead of actual copy. */
281.   		m1=0-(size_t)(((al-ri)>>(sizeof(al)*8-1))&1);	/* al<ri */
         ^
282.   		m2=0-(size_t)(((ri-al)>>(sizeof(al)*8-1))&1);	/* al>ri */
283.   		m1|=m2;			/* (al!=ri) */
