crypto/bn/bn_print.c:152: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64 by call to `BIO_snprintf`.
Showing all 12 steps of the trace


crypto/bn/bn_print.c:120:9: Call
118.        *     <= BN_num_bits(a)/10 + BN_num_bits/1000 + 1 + 1
119.        */
120.       i = BN_num_bits(a) * 3;
               ^
121.       num = (i / 10 + i / 1000 + 1) + 1;
122.       bn_data = OPENSSL_malloc((num / BN_DEC_NUM + 1) * sizeof(BN_ULONG));

crypto/bn/bn_lib.c:221:9: Assignment
  219.   
  220.       if (BN_is_zero(a))
  221.           return 0;
                 ^
  222.       return ((i * BN_BITS2) + BN_num_bits_word(a->d[i]));
  223.   }

crypto/bn/bn_print.c:120:5: Assignment
118.        *     <= BN_num_bits(a)/10 + BN_num_bits/1000 + 1 + 1
119.        */
120.       i = BN_num_bits(a) * 3;
           ^
121.       num = (i / 10 + i / 1000 + 1) + 1;
122.       bn_data = OPENSSL_malloc((num / BN_DEC_NUM + 1) * sizeof(BN_ULONG));

crypto/bn/bn_print.c:121:5: Assignment
119.        */
120.       i = BN_num_bits(a) * 3;
121.       num = (i / 10 + i / 1000 + 1) + 1;
           ^
122.       bn_data = OPENSSL_malloc((num / BN_DEC_NUM + 1) * sizeof(BN_ULONG));
123.       buf = OPENSSL_malloc(num + 3);

crypto/bn/bn_print.c:152:9: Call
150.            * order.
151.            */
152.           BIO_snprintf(p, BUF_REMAIN, BN_DEC_FMT1, *lp);
               ^
153.           while (*p)
154.               p++;

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

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

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

crypto/bio/b_print.c:804:5: Call
    802.       int truncated;
    803.   
    804.       _dopr(&buf, NULL, &n, &retlen, &truncated, format, args);
               ^
    805.   
    806.       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;
