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


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

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

crypto/bio/b_print.c:836:11: Call
  834.       va_start(args, format);
  835.   
  836.       ret = BIO_vsnprintf(buf, n, format, args);
                   ^
  837.   
  838.       va_end(args);

crypto/bio/b_print.c:848:9: Assignment
    846.   
    847.       if(!_dopr(&buf, NULL, &n, &retlen, &truncated, format, args))
    848.           return -1;
                   ^
    849.   
    850.       if (truncated)

crypto/bio/b_print.c:836:5: Assignment
  834.       va_start(args, format);
  835.   
  836.       ret = BIO_vsnprintf(buf, n, format, args);
             ^
  837.   
  838.       va_end(args);

crypto/bio/b_print.c:839:5: Assignment
  837.   
  838.       va_end(args);
  839.       return (ret);
             ^
  840.   }
  841.   

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

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