crypto/bio/bio_cb.c:114: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64 by call to `BIO_snprintf`.
Showing all 15 steps of the trace


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:795:11: Call
  793.       va_start(args, format);
  794.   
  795.       ret = BIO_vsnprintf(buf, n, format, args);
                   ^
  796.   
  797.       va_end(args);

crypto/bio/b_print.c:815:9: Assignment
    813.            * been large enough.)
    814.            */
    815.           return -1;
                   ^
    816.       else
    817.           return (retlen <= INT_MAX) ? (int)retlen : -1;

crypto/bio/b_print.c:795:5: Assignment
  793.       va_start(args, format);
  794.   
  795.       ret = BIO_vsnprintf(buf, n, format, args);
             ^
  796.   
  797.       va_end(args);

crypto/bio/b_print.c:798:5: Assignment
  796.   
  797.       va_end(args);
  798.       return (ret);
             ^
  799.   }
  800.   

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: Assignment
80.   
81.       p = buf + len;
82.       p_maxlen = sizeof(buf) - len;
          ^
83.   
84.       switch (cmd) {

crypto/bio/bio_cb.c:114:9: Call
112.           break;
113.       case BIO_CB_CTRL:
114.           BIO_snprintf(p, p_maxlen, "ctrl(%lu) - %s\n", (unsigned long)argi,
               ^
115.                        bio->method->name);
116.           break;

crypto/bio/b_print.c:788:1: Parameter `n`
  786.    * function should be renamed, but to what?)
  787.    */
  788. > int BIO_snprintf(char *buf, size_t n, const char *format, ...)
  789.   {
  790.       va_list args;

crypto/bio/b_print.c:795:11: Call
  793.       va_start(args, format);
  794.   
  795.       ret = BIO_vsnprintf(buf, n, format, args);
                   ^
  796.   
  797.       va_end(args);

crypto/bio/b_print.c:801:1: Parameter `n`
    799.   }
    800.   
    801. > int BIO_vsnprintf(char *buf, size_t n, const char *format, va_list args)
    802.   {
    803.       size_t retlen;

crypto/bio/b_print.c:806:5: Call
    804.       int truncated;
    805.   
    806.       _dopr(&buf, NULL, &n, &retlen, &truncated, format, args);
               ^
    807.   
    808.       if (truncated)

crypto/bio/b_print.c:168:1: <LHS trace>
166.   #define OSSL_MAX(p,q) ((p >= q) ? p : q)
167.   
168. > static void
169.   _dopr(char **sbuffer,
170.         char **buffer,

crypto/bio/b_print.c:168:1: Parameter `*maxlen`
      166.   #define OSSL_MAX(p,q) ((p >= q) ? p : q)
      167.   
      168. > static void
      169.   _dopr(char **sbuffer,
      170.         char **buffer,

crypto/bio/b_print.c:418:19: Binary operation: ([0, +oo] - 1):unsigned64 by call to `BIO_snprintf` 
      416.           }
      417.       }
      418.       *truncated = (currlen > *maxlen - 1);
                               ^
      419.       if (*truncated)
      420.           currlen = *maxlen - 1;
