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


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

crypto/bn/bn_mul.c:525:6: Call
523.   	 * c1 holds the carry bits
524.   	 */
525.   	c1+=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+=bn_add_words(&(r[n]),&(r[n]),&(t[n2]),n2);
        ^
526.   	if (c1)
527.   		{

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

crypto/bn/bn_mul.c:531:3: Assignment
529.   		lo= *p;
530.   		ln=(lo+c1)&BN_MASK2;
531.   		*p=ln;
         ^
532.   
533.   		/* The overflow will stop before we over write

crypto/bn/bn_mul.c:539:5: Assignment
537.   			do	{
538.   				p++;
539.   				lo= *p;
           ^
540.   				ln=(lo+1)&BN_MASK2;
541.   				*p=ln;

crypto/bn/bn_mul.c:540:5: Binary operation: ([0, 4294967295] + 1):unsigned32
538.   				p++;
539.   				lo= *p;
540.   				ln=(lo+1)&BN_MASK2;
           ^
541.   				*p=ln;
542.   				} while (ln == 0);
