crypto/asn1/asn1_lib.c:184: error: INTEGER_OVERFLOW_L2
  ([0, `max` - 2] - 1):unsigned64.
Showing all 5 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 `max`
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:164:6: Assignment
162.   	unsigned int i;
163.   
164.   	if (max-- < 1) return(0);
            ^
165.   	if (*p == 0x80)
166.   		{

crypto/asn1/asn1_lib.c:179:8: Assignment
177.   			if (i > sizeof(long))
178.   				return 0;
179.   			if (max-- == 0) return(0);
              ^
180.   			while (i-- > 0)
181.   				{

crypto/asn1/asn1_lib.c:184:9: Binary operation: ([0, max - 2] - 1):unsigned64
182.   				ret<<=8L;
183.   				ret|= *(p++);
184.   				if (max-- == 0) return(0);
               ^
185.   				}
186.   			}
