crypto/bn/bn_mul.c:530: error: INTEGER_OVERFLOW_L2
  ([0, max(4294967295, `*r`)] + [-oo, 6]):unsigned32.
Showing all 12 steps of the trace


crypto/bn/bn_mul.c:393:1: <LHS trace>
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, int n2,
394.   	int dna, int dnb, BN_ULONG *t)
395.   	{

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, int n2,
394.   	int dna, int dnb, BN_ULONG *t)
395.   	{

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

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

crypto/bn/bn_mul.c:525:12: Call
523.   	 * c1 holds the carry bits
524.   	 */
525.   	c1+=(int)(bn_add_words(&(r[n]),&(r[n]),&(t[n2]),n2));
                  ^
526.   	if (c1)
527.   		{

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

crypto/bn/bn_mul.c:529:3: Assignment
527.   		{
528.   		p= &(r[n+n2]);
529.   		lo= *p;
         ^
530.   		ln=(lo+c1)&BN_MASK2;
531.   		*p=ln;

crypto/bn/bn_mul.c:525:12: <RHS trace>
523.   	 * c1 holds the carry bits
524.   	 */
525.   	c1+=(int)(bn_add_words(&(r[n]),&(r[n]),&(t[n2]),n2));
                  ^
526.   	if (c1)
527.   		{

crypto/bn/bn_mul.c:525:12: Call
523.   	 * c1 holds the carry bits
524.   	 */
525.   	c1+=(int)(bn_add_words(&(r[n]),&(r[n]),&(t[n2]),n2));
                  ^
526.   	if (c1)
527.   		{

crypto/bn/bn_asm.c:346:14: Assignment
  344.   
  345.   	assert(n >= 0);
  346.   	if (n <= 0) return((BN_ULONG)0);
                      ^
  347.   
  348.   	c=0;

crypto/bn/bn_mul.c:525:2: Assignment
523.   	 * c1 holds the carry bits
524.   	 */
525.   	c1+=(int)(bn_add_words(&(r[n]),&(r[n]),&(t[n2]),n2));
        ^
526.   	if (c1)
527.   		{

crypto/bn/bn_mul.c:530:3: Binary operation: ([0, max(4294967295, *r)] + [-oo, 6]):unsigned32
528.   		p= &(r[n+n2]);
529.   		lo= *p;
530.   		ln=(lo+c1)&BN_MASK2;
         ^
531.   		*p=ln;
532.   
