crypto/asn1/a_bitstr.c:88: error: INTEGER_OVERFLOW_L2
  ([0, `a->length`] - 1):unsigned64.
Showing all 4 steps of the trace


crypto/asn1/a_bitstr.c:66:1: <LHS trace>
64.   	{ return M_ASN1_BIT_STRING_set(x, d, len); }
65.   
66. > int i2c_ASN1_BIT_STRING(ASN1_BIT_STRING *a, unsigned char **pp)
67.   	{
68.   	int ret,j,bits;

crypto/asn1/a_bitstr.c:66:1: Parameter `a->length`
64.   	{ return M_ASN1_BIT_STRING_set(x, d, len); }
65.   
66. > int i2c_ASN1_BIT_STRING(ASN1_BIT_STRING *a, unsigned char **pp)
67.   	{
68.   	int ret,j,bits;

crypto/asn1/a_bitstr.c:74:2: Assignment
72.   	if (a == NULL) return(0);
73.   
74.   	len=a->length;
       ^
75.   
76.   	if (len > 0)

crypto/asn1/a_bitstr.c:88:6: Binary operation: ([0, a->length] - 1):unsigned64
86.   				if (a->data[len-1]) break;
87.   				}
88.   			j=a->data[len-1];
           ^
89.   			if      (j & 0x01) bits=0;
90.   			else if (j & 0x02) bits=1;
