crypto/x509/x509_vpm.c:94: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64.
Showing all 3 steps of the trace


crypto/x509/x509_vpm.c:80:1: <LHS trace>
78.   #define string_stack_free(sk) sk_OPENSSL_STRING_pop_free(sk, str_free)
79.   
80. > static int int_x509_param_set_hosts(X509_VERIFY_PARAM_ID *id, int mode,
81.   				    const unsigned char *name, size_t namelen)
82.   	{

crypto/x509/x509_vpm.c:80:1: Parameter `namelen`
78.   #define string_stack_free(sk) sk_OPENSSL_STRING_pop_free(sk, str_free)
79.   
80. > static int int_x509_param_set_hosts(X509_VERIFY_PARAM_ID *id, int mode,
81.   				    const unsigned char *name, size_t namelen)
82.   	{

crypto/x509/x509_vpm.c:94:3: Binary operation: ([0, +oo] - 1):unsigned64
92.   		 return 0;
93.   	if (name && name[namelen-1] == '\0')
94.   		--namelen;
        ^
95.   
96.   	if (mode == SET_HOST && id->hosts)
