ssl/d1_pkt.c:565: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 13):unsigned32.
Showing all 3 steps of the trace


ssl/d1_pkt.c:575:4: <LHS trace>
573.   		if ( n != i)
574.   			{
575.   			s->packet_length = 0;
          ^
576.   			goto again;
577.   			}

ssl/d1_pkt.c:575:4: Assignment
573.   		if ( n != i)
574.   			{
575.   			s->packet_length = 0;
          ^
576.   			goto again;
577.   			}

ssl/d1_pkt.c:565:6: Binary operation: ([0, +oo] - 13):unsigned32
563.   	/* s->rstate == SSL_ST_READ_BODY, get and decode the data */
564.   
565.   	if (rr->length > s->packet_length-DTLS1_RT_HEADER_LENGTH)
            ^
566.   		{
567.   		/* now s->packet_length == DTLS1_RT_HEADER_LENGTH */
