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


ssl/s3_pkt.c:222:1: <LHS trace>
220.    * ssl->s3->rrec.length, - number of bytes
221.    */
222. > static int ssl3_get_record(SSL *s)
223.   	{
224.   	int ssl_major,ssl_minor,al;

ssl/s3_pkt.c:222:1: Parameter `s->packet_length`
220.    * ssl->s3->rrec.length, - number of bytes
221.    */
222. > static int ssl3_get_record(SSL *s)
223.   	{
224.   	int ssl_major,ssl_minor,al;

ssl/s3_pkt.c:301:7: Binary operation: ([0, +oo] - 5):unsigned32
299.   	if (s->rstate == SSL_ST_READ_BODY)
300.   		{
301.   		if (rr->length > (s->packet_length-SSL3_RT_HEADER_LENGTH))
             ^
302.   			{
303.   			i=rr->length;
