test/recordlentest.c:58: error: INTEGER_OVERFLOW_L2
  ([1, `len`] - [1, 256]):unsigned64.
Showing all 5 steps of the trace


test/recordlentest.c:28:1: <LHS trace>
26.   #define TOTAL_RECORD_OVERFLOW_TESTS 6
27.   
28. > static int write_record(BIO *b, size_t len, int rectype, int recversion)
29.   {
30.       unsigned char header[SSL3_RT_HEADER_LENGTH];

test/recordlentest.c:28:1: Parameter `len`
26.   #define TOTAL_RECORD_OVERFLOW_TESTS 6
27.   
28. > static int write_record(BIO *b, size_t len, int rectype, int recversion)
29.   {
30.       unsigned char header[SSL3_RT_HEADER_LENGTH];

test/recordlentest.c:50:13: <RHS trace>
48.   
49.           if (len > sizeof(buf))
50.               outlen = sizeof(buf);
                  ^
51.           else
52.               outlen = len;

test/recordlentest.c:50:13: Assignment
48.   
49.           if (len > sizeof(buf))
50.               outlen = sizeof(buf);
                  ^
51.           else
52.               outlen = len;

test/recordlentest.c:58:9: Binary operation: ([1, len] - [1, 256]):unsigned64
56.               return 0;
57.   
58.           len -= outlen;
              ^
59.       }
60.   
