crypto/asn1/a_print.c:73: error: INTEGER_OVERFLOW_L2
  ([0, `len`] - 1):unsigned64.
Showing all 3 steps of the trace


crypto/asn1/a_print.c:63:1: <LHS trace>
61.   #include <openssl/asn1.h>
62.   
63. > int ASN1_PRINTABLE_type(const unsigned char *s, size_t len)
64.   	{
65.   	int c;

crypto/asn1/a_print.c:63:1: Parameter `len`
61.   #include <openssl/asn1.h>
62.   
63. > int ASN1_PRINTABLE_type(const unsigned char *s, size_t len)
64.   	{
65.   	int c;

crypto/asn1/a_print.c:73:30: Binary operation: ([0, len] - 1):unsigned64
71.   	if (s == NULL) return(V_ASN1_PRINTABLESTRING);
72.   
73.   	while (*s && !ignore_len && len-- != 0)
                                   ^
74.   		{
75.   		c= *(s++);
