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


crypto/bn/bn_print.c:68:9: Call
66.        *     <= 3 * BN_num_bits(a) / 10 + 3 * BN_num_bits / 1000 + 1 + 1
67.        */
68.       i = BN_num_bits(a) * 3;
              ^
69.       num = (i / 10 + i / 1000 + 1) + 1;
70.       tbytes = num + 3;   /* negative and terminator and one spare? */

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:68:5: Assignment
66.        *     <= 3 * BN_num_bits(a) / 10 + 3 * BN_num_bits / 1000 + 1 + 1
67.        */
68.       i = BN_num_bits(a) * 3;
          ^
69.       num = (i / 10 + i / 1000 + 1) + 1;
70.       tbytes = num + 3;   /* negative and terminator and one spare? */

crypto/bn/bn_print.c:69:5: Assignment
67.        */
68.       i = BN_num_bits(a) * 3;
69.       num = (i / 10 + i / 1000 + 1) + 1;
          ^
70.       tbytes = num + 3;   /* negative and terminator and one spare? */
71.       bn_data_num = num / BN_DEC_NUM + 1;

crypto/bn/bn_print.c:70:5: Assignment
68.       i = BN_num_bits(a) * 3;
69.       num = (i / 10 + i / 1000 + 1) + 1;
70.       tbytes = num + 3;   /* negative and terminator and one spare? */
          ^
71.       bn_data_num = num / BN_DEC_NUM + 1;
72.       bn_data = OPENSSL_malloc(bn_data_num * sizeof(BN_ULONG));

crypto/bn/bn_print.c:104:13: Call
102.            * order.
103.            */
104.           n = BIO_snprintf(p, tbytes - (size_t)(p - buf), BN_DEC_FMT1, *lp);
                   ^
105.           if (n < 0)
106.               goto err;

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

crypto/bio/b_print.c:902:11: Call
  900.       va_start(args, format);
  901.   
  902.       ret = BIO_vsnprintf(buf, n, format, args);
                   ^
  903.   
  904.       va_end(args);

crypto/bio/b_print.c:908:1: Parameter `n`
    906.   }
    907.   
    908. > int BIO_vsnprintf(char *buf, size_t n, const char *format, va_list args)
    909.   {
    910.       size_t retlen;

crypto/bio/b_print.c:913:9: Call
    911.       int truncated;
    912.   
    913.       if(!_dopr(&buf, NULL, &n, &retlen, &truncated, format, args))
                   ^
    914.           return -1;
    915.   

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, +oo] - 1):unsigned64 by call to `BIO_snprintf` 
      351.        */
      352.       if (buffer == NULL) {
      353.           *truncated = (currlen > *maxlen - 1);
                                   ^
      354.           if (*truncated)
      355.               currlen = *maxlen - 1;
