ssl/record/rec_layer_d1.c:588: error: INTEGER_OVERFLOW_L1
  ([1, +oo] + 18446744073709551615):unsigned64.
Showing all 3 steps of the trace


ssl/record/rec_layer_d1.c:334:1: <LHS trace>
332.    *             none of our business
333.    */
334. > int dtls1_read_bytes(SSL *s, int type, int *recvd_type, unsigned char *buf,
335.                        size_t len, int peek, size_t *readbytes)
336.   {

ssl/record/rec_layer_d1.c:334:1: Parameter `s->rlayer.rrec.length`
332.    *             none of our business
333.    */
334. > int dtls1_read_bytes(SSL *s, int type, int *recvd_type, unsigned char *buf,
335.                        size_t len, int peek, size_t *readbytes)
336.   {

ssl/record/rec_layer_d1.c:588:17: Binary operation: ([1, +oo] + 18446744073709551615):unsigned64
586.                   dest[k] = SSL3_RECORD_get_data(rr)[SSL3_RECORD_get_off(rr)];
587.                   SSL3_RECORD_add_off(rr, 1);
588.                   SSL3_RECORD_add_length(rr, -1);
                       ^
589.               }
590.               *dest_len = dest_maxlen;
