apps/list.c:98: error: INTEGER_OVERFLOW_L2
  ([0, 2147483647] - 1):unsigned64 by call to `describe_param_type`.
Showing all 10 steps of the trace


apps/list.c:98:13: Call
96.               char buf[200];       /* This should be ample space */
97.   
98.               describe_param_type(buf, sizeof(buf), pdefs);
                   ^
99.               BIO_printf(bio_out, "      %s\n", buf);
100.           }

apps/list.c:21:1: Parameter `bufsz`
  19.   static int verbose = 0;
  20.   
  21. > static int describe_param_type(char *buf, size_t bufsz, const OSSL_PARAM *param)
  22.   {
  23.       const char *type_mod = "";

apps/list.c:58:19: Call
  56.           bufsz -= printed_len;
  57.       }
  58.       printed_len = BIO_snprintf(buf, bufsz, "%s%s", type_mod, type);
                          ^
  59.       if (printed_len > 0) {
  60.           buf += printed_len;

crypto/bio/b_print.c:899:1: Parameter `n`
    897.    * function should be renamed, but to what?)
    898.    */
    899. > int BIO_snprintf(char *buf, size_t n, const char *format, ...)
    900.   {
    901.       va_list args;

crypto/bio/b_print.c:906:11: Call
    904.       va_start(args, format);
    905.   
    906.       ret = BIO_vsnprintf(buf, n, format, args);
                     ^
    907.   
    908.       va_end(args);

crypto/bio/b_print.c:912:1: Parameter `n`
      910.   }
      911.   
      912. > int BIO_vsnprintf(char *buf, size_t n, const char *format, va_list args)
      913.   {
      914.       size_t retlen;

crypto/bio/b_print.c:917:10: Call
      915.       int truncated;
      916.   
      917.       if (!_dopr(&buf, NULL, &n, &retlen, &truncated, format, args))
                      ^
      918.           return -1;
      919.   

crypto/bio/b_print.c:83:1: <LHS trace>
81.   #define OSSL_MAX(p,q) ((p >= q) ? p : q)
82.   
83. > static int
84.   _dopr(char **sbuffer,
85.         char **buffer,

crypto/bio/b_print.c:83:1: Parameter `*maxlen`
        81.   #define OSSL_MAX(p,q) ((p >= q) ? p : q)
        82.   
        83. > static int
        84.   _dopr(char **sbuffer,
        85.         char **buffer,

crypto/bio/b_print.c:353:23: Binary operation: ([0, 2147483647] - 1):unsigned64 by call to `describe_param_type` 
        351.        */
        352.       if (buffer == NULL) {
        353.           *truncated = (currlen > *maxlen - 1);
                                     ^
        354.           if (*truncated)
        355.               currlen = *maxlen - 1;
