ssl/statem/statem_dtls.c:294: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 12):unsigned64.
Showing all 3 steps of the trace


ssl/statem/statem_dtls.c:110:1: <LHS trace>
108.    * SSL3_RT_CHANGE_CIPHER_SPEC)
109.    */
110. > int dtls1_do_write(SSL *s, int type)
111.   {
112.       int ret;

ssl/statem/statem_dtls.c:110:1: Parameter `s->max_send_fragment`
108.    * SSL3_RT_CHANGE_CIPHER_SPEC)
109.    */
110. > int dtls1_do_write(SSL *s, int type)
111.   {
112.       int ret;

ssl/statem/statem_dtls.c:294:21: Binary operation: ([0, +oo] - 12):unsigned64
292.                   } else {
293.                       p += DTLS1_HM_HEADER_LENGTH;
294.                       xlen = written - DTLS1_HM_HEADER_LENGTH;
                           ^
295.                   }
296.   
