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


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

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

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