crypto/bn/bn_nist.c:762: error: INTEGER_OVERFLOW_L2
  (0 - [0, 2]):unsigned64.
Showing all 5 steps of the trace


crypto/bn/bn_nist.c:761:16: <RHS trace>
759.   	else if (carry < 0)
760.   		{
761.   		carry = (int)bn_add_words(r_d,r_d,_nist_p_384[-carry-1],BN_NIST_384_TOP);
                      ^
762.   		mask = 0-(PTR_SIZE_INT)carry;
763.   		u.p = ((PTR_SIZE_INT)bn_sub_words&mask) |

crypto/bn/bn_nist.c:761:16: Call
759.   	else if (carry < 0)
760.   		{
761.   		carry = (int)bn_add_words(r_d,r_d,_nist_p_384[-carry-1],BN_NIST_384_TOP);
                      ^
762.   		mask = 0-(PTR_SIZE_INT)carry;
763.   		u.p = ((PTR_SIZE_INT)bn_sub_words&mask) |

crypto/bn/bn_asm.c:347:14: Assignment
  345.   
  346.   	assert(n >= 0);
  347.   	if (n <= 0) return((BN_ULONG)0);
                      ^
  348.   
  349.   	c=0;

crypto/bn/bn_nist.c:761:3: Assignment
759.   	else if (carry < 0)
760.   		{
761.   		carry = (int)bn_add_words(r_d,r_d,_nist_p_384[-carry-1],BN_NIST_384_TOP);
         ^
762.   		mask = 0-(PTR_SIZE_INT)carry;
763.   		u.p = ((PTR_SIZE_INT)bn_sub_words&mask) |

crypto/bn/bn_nist.c:762:3: Binary operation: (0 - [0, 2]):unsigned64
760.   		{
761.   		carry = (int)bn_add_words(r_d,r_d,_nist_p_384[-carry-1],BN_NIST_384_TOP);
762.   		mask = 0-(PTR_SIZE_INT)carry;
         ^
763.   		u.p = ((PTR_SIZE_INT)bn_sub_words&mask) |
764.   		 ((PTR_SIZE_INT)bn_add_words&~mask);
