crypto/bn/bn_sqr.c:288: error: INTEGER_OVERFLOW_L2
  ([0, 18446744073709551615] + 1):unsigned64.
Showing all 7 steps of the trace


crypto/bn/bn_sqr.c:273:12: <LHS trace>
271.   	 * c1 holds the carry bits
272.   	 */
273.   	c1+=(int)(bn_add_words(&(r[n]),&(r[n]),&(t[n2]),n2));
                  ^
274.   	if (c1)
275.   		{

crypto/bn/bn_sqr.c:273:12: Unknown value from: bn_add_words
271.   	 * c1 holds the carry bits
272.   	 */
273.   	c1+=(int)(bn_add_words(&(r[n]),&(r[n]),&(t[n2]),n2));
                  ^
274.   	if (c1)
275.   		{

crypto/bn/bn_sqr.c:273:2: Assignment
271.   	 * c1 holds the carry bits
272.   	 */
273.   	c1+=(int)(bn_add_words(&(r[n]),&(r[n]),&(t[n2]),n2));
        ^
274.   	if (c1)
275.   		{

crypto/bn/bn_sqr.c:278:3: Assignment
276.   		p= &(r[n+n2]);
277.   		lo= *p;
278.   		ln=(lo+c1)&BN_MASK2;
         ^
279.   		*p=ln;
280.   

crypto/bn/bn_sqr.c:279:3: Assignment
277.   		lo= *p;
278.   		ln=(lo+c1)&BN_MASK2;
279.   		*p=ln;
         ^
280.   
281.   		/* The overflow will stop before we over write

crypto/bn/bn_sqr.c:287:5: Assignment
285.   			do	{
286.   				p++;
287.   				lo= *p;
           ^
288.   				ln=(lo+1)&BN_MASK2;
289.   				*p=ln;

crypto/bn/bn_sqr.c:288:5: Binary operation: ([0, 18446744073709551615] + 1):unsigned64
286.   				p++;
287.   				lo= *p;
288.   				ln=(lo+1)&BN_MASK2;
           ^
289.   				*p=ln;
290.   				} while (ln == 0);
