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


crypto/bn/bn_nist.c:634:16: <RHS trace>
632.   	else if (carry < 0)
633.   		{
634.   		carry = (int)bn_add_words(r_d,r_d,_nist_p_256[-carry-1],BN_NIST_256_TOP);
                      ^
635.   		mask = 0-(PTR_SIZE_INT)carry;
636.   		u.p = ((PTR_SIZE_INT)bn_sub_words&mask) |

crypto/bn/bn_nist.c:634:16: Call
632.   	else if (carry < 0)
633.   		{
634.   		carry = (int)bn_add_words(r_d,r_d,_nist_p_256[-carry-1],BN_NIST_256_TOP);
                      ^
635.   		mask = 0-(PTR_SIZE_INT)carry;
636.   		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:634:3: Assignment
632.   	else if (carry < 0)
633.   		{
634.   		carry = (int)bn_add_words(r_d,r_d,_nist_p_256[-carry-1],BN_NIST_256_TOP);
         ^
635.   		mask = 0-(PTR_SIZE_INT)carry;
636.   		u.p = ((PTR_SIZE_INT)bn_sub_words&mask) |

crypto/bn/bn_nist.c:635:3: Binary operation: (0 - [0, 2]):unsigned64
633.   		{
634.   		carry = (int)bn_add_words(r_d,r_d,_nist_p_256[-carry-1],BN_NIST_256_TOP);
635.   		mask = 0-(PTR_SIZE_INT)carry;
         ^
636.   		u.p = ((PTR_SIZE_INT)bn_sub_words&mask) |
637.   		 ((PTR_SIZE_INT)bn_add_words&~mask);
