crypto/bn/bn_mont.c:247: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - [0, 1]):unsigned32.
Showing all 6 steps of the trace


crypto/bn/bn_mont.c:247:4: <LHS trace>
245.   	size_t m;
246.   
247.   	v=bn_sub_words(rp,ap,np,nl)-carry;
          ^
248.   	/* if subtraction result is real, then
249.   	 * trick unconditional memcpy below to perform in-place

crypto/bn/bn_mont.c:247:4: Call
245.   	size_t m;
246.   
247.   	v=bn_sub_words(rp,ap,np,nl)-carry;
          ^
248.   	/* if subtraction result is real, then
249.   	 * trick unconditional memcpy below to perform in-place

crypto/bn/bn_asm.c:400:14: Assignment
  398.   
  399.   	assert(n >= 0);
  400.   	if (n <= 0) return((BN_ULONG)0);
                      ^
  401.   
  402.   #ifndef OPENSSL_SMALL_FOOTPRINT

crypto/bn/bn_mont.c:210:7: <RHS trace>
208.   	fprintf(stderr,"word BN_from_montgomery_word %d * %d\n",nl,nl);
209.   #endif
210.   	for (carry=0, i=0; i<nl; i++, rp++)
             ^
211.   		{
212.   #ifdef __TANDEM

crypto/bn/bn_mont.c:210:7: Assignment
208.   	fprintf(stderr,"word BN_from_montgomery_word %d * %d\n",nl,nl);
209.   #endif
210.   	for (carry=0, i=0; i<nl; i++, rp++)
             ^
211.   		{
212.   #ifdef __TANDEM

crypto/bn/bn_mont.c:247:2: Binary operation: ([0, +oo] - [0, 1]):unsigned32
245.   	size_t m;
246.   
247.   	v=bn_sub_words(rp,ap,np,nl)-carry;
        ^
248.   	/* if subtraction result is real, then
249.   	 * trick unconditional memcpy below to perform in-place
