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


crypto/bn/bn_nist.c:513:16: <RHS trace>
511.   		 * to be compared to the modulus and conditionally
512.   		 * adjusted by *subtracting* the latter. */
513.   		carry = (int)bn_add_words(r_d,r_d,_nist_p_224[-carry-1],BN_NIST_224_TOP);
                      ^
514.   		mask = 0-(PTR_SIZE_INT)carry;
515.   		u.p = ((PTR_SIZE_INT)bn_sub_words&mask) |

crypto/bn/bn_nist.c:513:16: Call
511.   		 * to be compared to the modulus and conditionally
512.   		 * adjusted by *subtracting* the latter. */
513.   		carry = (int)bn_add_words(r_d,r_d,_nist_p_224[-carry-1],BN_NIST_224_TOP);
                      ^
514.   		mask = 0-(PTR_SIZE_INT)carry;
515.   		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:513:3: Assignment
511.   		 * to be compared to the modulus and conditionally
512.   		 * adjusted by *subtracting* the latter. */
513.   		carry = (int)bn_add_words(r_d,r_d,_nist_p_224[-carry-1],BN_NIST_224_TOP);
         ^
514.   		mask = 0-(PTR_SIZE_INT)carry;
515.   		u.p = ((PTR_SIZE_INT)bn_sub_words&mask) |

crypto/bn/bn_nist.c:514:3: Binary operation: (0 - [0, 2]):unsigned64
512.   		 * adjusted by *subtracting* the latter. */
513.   		carry = (int)bn_add_words(r_d,r_d,_nist_p_224[-carry-1],BN_NIST_224_TOP);
514.   		mask = 0-(PTR_SIZE_INT)carry;
         ^
515.   		u.p = ((PTR_SIZE_INT)bn_sub_words&mask) |
516.   		 ((PTR_SIZE_INT)bn_add_words&~mask);
