crypto/bn/bn_mont.c:228: error: INTEGER_OVERFLOW_L2
  ([0, 4294967295] + [0, 1]):unsigned32.
Showing all 7 steps of the trace


crypto/bn/bn_mont.c:226:5: <LHS trace>
224.                   }
225.   #else
226.   		v=bn_mul_add_words(rp,np,nl,(rp[0]*n0)&BN_MASK2);
           ^
227.   #endif
228.   		v = (v+carry+rp[nl])&BN_MASK2;

crypto/bn/bn_mont.c:226:5: Call
224.                   }
225.   #else
226.   		v=bn_mul_add_words(rp,np,nl,(rp[0]*n0)&BN_MASK2);
           ^
227.   #endif
228.   		v = (v+carry+rp[nl])&BN_MASK2;

crypto/bn/bn_asm.c:153:16: Assignment
  151.   
  152.   	assert(num >= 0);
  153.   	if (num <= 0) return((BN_ULONG)0);
                        ^
  154.   
  155.   	bl=LBITS(w);

crypto/bn/bn_mont.c:226:3: Assignment
224.                   }
225.   #else
226.   		v=bn_mul_add_words(rp,np,nl,(rp[0]*n0)&BN_MASK2);
         ^
227.   #endif
228.   		v = (v+carry+rp[nl])&BN_MASK2;

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:228:3: Binary operation: ([0, 4294967295] + [0, 1]):unsigned32
226.   		v=bn_mul_add_words(rp,np,nl,(rp[0]*n0)&BN_MASK2);
227.   #endif
228.   		v = (v+carry+rp[nl])&BN_MASK2;
         ^
229.   		carry |= (v != rp[nl]);
230.   		carry &= (v <= rp[nl]);
