test/testutil/format_output.c:315: error: INTEGER_OVERFLOW_L2
  ([1, +oo] - 32):unsigned64.
Showing all 6 steps of the trace


test/testutil/format_output.c:301:9: <LHS trace>
299.       if (len > MEM_BUFFER_SIZE && (bufp = OPENSSL_malloc(len * 2)) == NULL) {
300.           bufp = buffer;
301.           len = MEM_BUFFER_SIZE;
               ^
302.           test_printf_stderr("WARNING: these BIGNUMs have been truncated\n");
303.       }

test/testutil/format_output.c:301:9: Assignment
299.       if (len > MEM_BUFFER_SIZE && (bufp = OPENSSL_malloc(len * 2)) == NULL) {
300.           bufp = buffer;
301.           len = MEM_BUFFER_SIZE;
               ^
302.           test_printf_stderr("WARNING: these BIGNUMs have been truncated\n");
303.       }

test/testutil/format_output.c:168:1: <RHS trace>
166.    * of characters these take.
167.    */
168. > static const int bn_bytes = (MAX_STRING_WIDTH - 9) / (BN_OUTPUT_SIZE * 2 + 1)
169.                               * BN_OUTPUT_SIZE;
170.   static const int bn_chars = (MAX_STRING_WIDTH - 9) / (BN_OUTPUT_SIZE * 2 + 1)

test/testutil/format_output.c:168:1: Assignment
166.    * of characters these take.
167.    */
168. > static const int bn_bytes = (MAX_STRING_WIDTH - 9) / (BN_OUTPUT_SIZE * 2 + 1)
169.                               * BN_OUTPUT_SIZE;
170.   static const int bn_chars = (MAX_STRING_WIDTH - 9) / (BN_OUTPUT_SIZE * 2 + 1)

test/testutil/format_output.c:268:5: Assignment
266.                                       const BIGNUM *bn1, const BIGNUM *bn2)
267.   {
268.       const size_t bytes = bn_bytes;
           ^
269.       char b1[MAX_STRING_WIDTH + 1], b2[MAX_STRING_WIDTH + 1];
270.       char *p, bdiff[MAX_STRING_WIDTH + 1];

test/testutil/format_output.c:315:9: Binary operation: ([1, +oo] - 32):unsigned64
313.   
314.       while (len > 0) {
315.           cnt = 8 * (len - bytes);
               ^
316.           n1 = convert_bn_memory(m1, bytes, b1, &lz1, bn1);
317.           n2 = convert_bn_memory(m2, bytes, b2, &lz2, bn2);
