ssl/statem/statem_dtls.c:288: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 12):unsigned64.
Showing all 4 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->init_num`
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:213:13: Assignment
211.            */
212.           if (((unsigned int)s->init_num) > curr_mtu)
213.               len = curr_mtu;
                   ^
214.           else
215.               len = s->init_num;

ssl/statem/statem_dtls.c:288:21: Binary operation: ([0, +oo] - 12):unsigned64
286.                   } else {
287.                       p += DTLS1_HM_HEADER_LENGTH;
288.                       xlen = written - DTLS1_HM_HEADER_LENGTH;
                           ^
289.                   }
290.   
