crypto/bn/bn_print.c:104: 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:72:9: Call
70.        *     <= BN_num_bits(a)/10 + BN_num_bits/1000 + 1 + 1
71.        */
72.       i = BN_num_bits(a) * 3;
              ^
73.       num = (i / 10 + i / 1000 + 1) + 1;
74.       bn_data = OPENSSL_malloc((num / BN_DEC_NUM + 1) * sizeof(BN_ULONG));

crypto/bn/bn_lib.c:167:9: Assignment
  165.   
  166.       if (BN_is_zero(a))
  167.           return 0;
                 ^
  168.       return ((i * BN_BITS2) + BN_num_bits_word(a->d[i]));
  169.   }

crypto/bn/bn_print.c:72:5: Assignment
70.        *     <= BN_num_bits(a)/10 + BN_num_bits/1000 + 1 + 1
71.        */
72.       i = BN_num_bits(a) * 3;
          ^
73.       num = (i / 10 + i / 1000 + 1) + 1;
74.       bn_data = OPENSSL_malloc((num / BN_DEC_NUM + 1) * sizeof(BN_ULONG));

crypto/bn/bn_print.c:73:5: Assignment
71.        */
72.       i = BN_num_bits(a) * 3;
73.       num = (i / 10 + i / 1000 + 1) + 1;
          ^
74.       bn_data = OPENSSL_malloc((num / BN_DEC_NUM + 1) * sizeof(BN_ULONG));
75.       buf = OPENSSL_malloc(num + 3);

crypto/bn/bn_print.c:104:9: Call
102.            * order.
103.            */
104.           BIO_snprintf(p, BUF_REMAIN, BN_DEC_FMT1, *lp);
               ^
105.           while (*p)
106.               p++;

crypto/bio/b_print.c:913:1: Parameter `n`
  911.    * function should be renamed, but to what?)
  912.    */
  913. > int BIO_snprintf(char *buf, size_t n, const char *format, ...)
  914.   {
  915.       va_list args;

crypto/bio/b_print.c:920:11: Call
  918.       va_start(args, format);
  919.   
  920.       ret = BIO_vsnprintf(buf, n, format, args);
                   ^
  921.   
  922.       va_end(args);

crypto/bio/b_print.c:926:1: Parameter `n`
    924.   }
    925.   
    926. > int BIO_vsnprintf(char *buf, size_t n, const char *format, va_list args)
    927.   {
    928.       size_t retlen;

crypto/bio/b_print.c:931:9: Call
    929.       int truncated;
    930.   
    931.       if(!_dopr(&buf, NULL, &n, &retlen, &truncated, format, args))
                   ^
    932.           return -1;
    933.   

crypto/bio/b_print.c:102:1: <LHS trace>
100.   #define OSSL_MAX(p,q) ((p >= q) ? p : q)
101.   
102. > static int
103.   _dopr(char **sbuffer,
104.         char **buffer,

crypto/bio/b_print.c:102:1: Parameter `*maxlen`
      100.   #define OSSL_MAX(p,q) ((p >= q) ? p : q)
      101.   
      102. > static int
      103.   _dopr(char **sbuffer,
      104.         char **buffer,

crypto/bio/b_print.c:371:23: Binary operation: ([0, +oo] - 1):unsigned64 by call to `BIO_snprintf` 
      369.        */
      370.       if (buffer == NULL) {
      371.           *truncated = (currlen > *maxlen - 1);
                                   ^
      372.           if (*truncated)
      373.               currlen = *maxlen - 1;
