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


ssl/s3_pkt.c:229:1: <LHS trace>
227.    */
228.   /* used only by ssl3_read_bytes */
229. > static int ssl3_get_record(SSL *s)
230.   	{
231.   	int ssl_major,ssl_minor,al;

ssl/s3_pkt.c:229:1: Parameter `s->packet_length`
227.    */
228.   /* used only by ssl3_read_bytes */
229. > static int ssl3_get_record(SSL *s)
230.   	{
231.   	int ssl_major,ssl_minor,al;

ssl/s3_pkt.c:311:6: Binary operation: ([0, +oo] - 5):unsigned32
309.   	/* s->rstate == SSL_ST_READ_BODY, get and decode the data */
310.   
311.   	if (rr->length > s->packet_length-SSL3_RT_HEADER_LENGTH)
            ^
312.   		{
313.   		/* now s->packet_length == SSL3_RT_HEADER_LENGTH */
