crypto/bio/bio_cb.c:82: error: INTEGER_OVERFLOW_L2
  (256 - [-1, 2147483647]):unsigned64.
Showing all 8 steps of the trace


crypto/bio/bio_cb.c:79:11: <RHS trace>
77.           r = ret;
78.   
79.       len = BIO_snprintf(buf,sizeof buf,"BIO[%p]: ",(void *)bio);
                ^
80.   
81.       p = buf + len;

crypto/bio/bio_cb.c:79:11: Call
77.           r = ret;
78.   
79.       len = BIO_snprintf(buf,sizeof buf,"BIO[%p]: ",(void *)bio);
                ^
80.   
81.       p = buf + len;

crypto/bio/b_print.c:801:11: Call
  799.       va_start(args, format);
  800.   
  801.       ret = BIO_vsnprintf(buf, n, format, args);
                   ^
  802.   
  803.       va_end(args);

crypto/bio/b_print.c:821:9: Assignment
    819.            * been large enough.)
    820.            */
    821.           return -1;
                   ^
    822.       else
    823.           return (retlen <= INT_MAX) ? (int)retlen : -1;

crypto/bio/b_print.c:801:5: Assignment
  799.       va_start(args, format);
  800.   
  801.       ret = BIO_vsnprintf(buf, n, format, args);
             ^
  802.   
  803.       va_end(args);

crypto/bio/b_print.c:804:5: Assignment
  802.   
  803.       va_end(args);
  804.       return (ret);
             ^
  805.   }
  806.   

crypto/bio/bio_cb.c:79:5: Assignment
77.           r = ret;
78.   
79.       len = BIO_snprintf(buf,sizeof buf,"BIO[%p]: ",(void *)bio);
          ^
80.   
81.       p = buf + len;

crypto/bio/bio_cb.c:82:5: Binary operation: (256 - [-1, 2147483647]):unsigned64
80.   
81.       p = buf + len;
82.       p_maxlen = sizeof(buf) - len;
          ^
83.   
84.       switch (cmd) {
