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


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

crypto/bio/bio_cb.c:106:9: Call
104.           break;
105.       case BIO_CB_PUTS:
106.           BIO_snprintf(p, p_maxlen, "puts() - %s\n", bio->method->name);
               ^
107.           break;
108.       case BIO_CB_GETS:

crypto/bio/b_print.c:829:1: Parameter `n`
  827.    * function should be renamed, but to what?)
  828.    */
  829. > int BIO_snprintf(char *buf, size_t n, const char *format, ...)
  830.   {
  831.       va_list args;

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:842:1: Parameter `n`
    840.   }
    841.   
    842. > int BIO_vsnprintf(char *buf, size_t n, const char *format, va_list args)
    843.   {
    844.       size_t retlen;

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

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

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

crypto/bio/b_print.c:425:19: Binary operation: ([0, 2147483647] - 1):unsigned64 by call to `BIO_snprintf` 
      423.           }
      424.       }
      425.       *truncated = (currlen > *maxlen - 1);
                               ^
      426.       if (*truncated)
      427.           currlen = *maxlen - 1;
