crypto/bn/bn_mul.c:508: error: INTEGER_OVERFLOW_L2
  ([0, 4294967295] + [0, max(4294967295, `*r`)]):unsigned32 by call to `bn_add_words`.
Showing all 7 steps of the trace


crypto/bn/bn_mul.c:393:1: Parameter `*r`
391.    */
392.   /* dnX may not be positive, but n2/2+dnX has to be */
393. > void bn_mul_recursive(BN_ULONG *r, BN_ULONG *a, BN_ULONG *b, size_t n2,
394.   		      int dna, int dnb, BN_ULONG *t)
395.   	{

crypto/bn/bn_mul.c:508:5: Call
506.   	 */
507.   
508.   	c1=bn_add_words(t,r,&(r[n2]),n2);
           ^
509.   
510.   	if (neg) /* if t[32] is negative */

crypto/bn/bn_asm.c:348:2: <LHS trace>
346.   	if (n <= 0) return((BN_ULONG)0);
347.   
348.   	c=0;
        ^
349.   #ifndef OPENSSL_SMALL_FOOTPRINT
350.   	while (n&~3)

crypto/bn/bn_asm.c:348:2: Assignment
  346.   	if (n <= 0) return((BN_ULONG)0);
  347.   
  348.   	c=0;
          ^
  349.   #ifndef OPENSSL_SMALL_FOOTPRINT
  350.   	while (n&~3)

crypto/bn/bn_asm.c:341:1: <RHS trace>
339.   	}
340.   #else /* !BN_LLONG */
341. > BN_ULONG bn_add_words(BN_ULONG *r, const BN_ULONG *a, const BN_ULONG *b, size_t n)
342.           {
343.   	BN_ULONG c,l,t;

crypto/bn/bn_asm.c:341:1: Parameter `*b`
  339.   	}
  340.   #else /* !BN_LLONG */
  341. > BN_ULONG bn_add_words(BN_ULONG *r, const BN_ULONG *a, const BN_ULONG *b, size_t n)
  342.           {
  343.   	BN_ULONG c,l,t;

crypto/bn/bn_asm.c:355:3: Binary operation: ([0, 4294967295] + [0, max(4294967295, *r)]):unsigned32 by call to `bn_add_words` 
  353.   		t=(t+c)&BN_MASK2;
  354.   		c=(t < c);
  355.   		l=(t+b[0])&BN_MASK2;
           ^
  356.   		c+=(l < t);
  357.   		r[0]=l;
