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


crypto/bn/bn_sqr.c:262:17: <LHS trace>
260.        * c1 holds the carry bits
261.        */
262.       c1 += (int)(bn_add_words(&(r[n]), &(r[n]), &(t[n2]), n2));
                       ^
263.       if (c1) {
264.           p = &(r[n + n2]);

crypto/bn/bn_sqr.c:262:17: Unknown value from: bn_add_words
260.        * c1 holds the carry bits
261.        */
262.       c1 += (int)(bn_add_words(&(r[n]), &(r[n]), &(t[n2]), n2));
                       ^
263.       if (c1) {
264.           p = &(r[n + n2]);

crypto/bn/bn_sqr.c:262:5: Assignment
260.        * c1 holds the carry bits
261.        */
262.       c1 += (int)(bn_add_words(&(r[n]), &(r[n]), &(t[n2]), n2));
           ^
263.       if (c1) {
264.           p = &(r[n + n2]);

crypto/bn/bn_sqr.c:266:9: Assignment
264.           p = &(r[n + n2]);
265.           lo = *p;
266.           ln = (lo + c1) & BN_MASK2;
               ^
267.           *p = ln;
268.   

crypto/bn/bn_sqr.c:267:9: Assignment
265.           lo = *p;
266.           ln = (lo + c1) & BN_MASK2;
267.           *p = ln;
               ^
268.   
269.           /*

crypto/bn/bn_sqr.c:276:17: Assignment
274.               do {
275.                   p++;
276.                   lo = *p;
                       ^
277.                   ln = (lo + 1) & BN_MASK2;
278.                   *p = ln;

crypto/bn/bn_sqr.c:277:17: Binary operation: ([0, 18446744073709551615] + 1):unsigned64
275.                   p++;
276.                   lo = *p;
277.                   ln = (lo + 1) & BN_MASK2;
                       ^
278.                   *p = ln;
279.               } while (ln == 0);
