crypto/asn1/asn1_lib.c:180: error: INTEGER_OVERFLOW_L2
  ([0, min(8, `**pp`)] - 1):unsigned32.
Showing all 4 steps of the trace


crypto/asn1/asn1_lib.c:157:1: <LHS trace>
155.   	}
156.   
157. > static int asn1_get_length(const unsigned char **pp, int *inf, size_t *rl,
158.   			   size_t max)
159.   	{

crypto/asn1/asn1_lib.c:157:1: Parameter `**pp`
155.   	}
156.   
157. > static int asn1_get_length(const unsigned char **pp, int *inf, size_t *rl,
158.   			   size_t max)
159.   	{

crypto/asn1/asn1_lib.c:174:3: Assignment
172.   		{
173.   		*inf=0;
174.   		i= *p&0x7f;
         ^
175.   		if (*(p++) & 0x80)
176.   			{

crypto/asn1/asn1_lib.c:180:11: Binary operation: ([0, min(8, **pp)] - 1):unsigned32
178.   				return 0;
179.   			if (max-- == 0) return(0);
180.   			while (i-- > 0)
                 ^
181.   				{
182.   				ret<<=8L;
