crypto/x509/x509_vpm.c:93: 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 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 char *name, size_t namelen)
82.   	{

crypto/x509/x509_vpm.c:93:14: Binary operation: ([0, +oo] - 1):unsigned64
91.   	else if (name && memchr(name, '\0', namelen > 1 ? namelen-1 : namelen))
92.   		 return 0;
93.   	if (name && name[namelen-1] == '\0')
                   ^
94.   		--namelen;
95.   
