crypto/bio/b_dump.c:58: error: INTEGER_OVERFLOW_L2
  (289 - [-1, 2147483647]):unsigned64.
Showing all 8 steps of the trace


crypto/bio/b_dump.c:55:13: <RHS trace>
53.           rows++;
54.       for (i = 0; i < rows; i++) {
55.           n = BIO_snprintf(buf, sizeof(buf), "%*s%04x - ", indent, "",
                  ^
56.                            i * dump_width);
57.           for (j = 0; j < dump_width; j++) {

crypto/bio/b_dump.c:55:13: Call
53.           rows++;
54.       for (i = 0; i < rows; i++) {
55.           n = BIO_snprintf(buf, sizeof(buf), "%*s%04x - ", indent, "",
                  ^
56.                            i * dump_width);
57.           for (j = 0; j < dump_width; j++) {

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

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

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

crypto/bio/b_print.c:908:5: Assignment
  906.   
  907.       va_end(args);
  908.       return ret;
             ^
  909.   }
  910.   

crypto/bio/b_dump.c:55:9: Assignment
53.           rows++;
54.       for (i = 0; i < rows; i++) {
55.           n = BIO_snprintf(buf, sizeof(buf), "%*s%04x - ", indent, "",
              ^
56.                            i * dump_width);
57.           for (j = 0; j < dump_width; j++) {

crypto/bio/b_dump.c:58:17: Binary operation: (289 - [-1, 2147483647]):unsigned64
56.                            i * dump_width);
57.           for (j = 0; j < dump_width; j++) {
58.               if (SPACE(buf, n, 3)) {
                      ^
59.                   if (((i * dump_width) + j) >= len) {
60.                       strcpy(buf + n, "   ");
