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


crypto/x509/x509_vpm.c:86:1: <LHS trace>
84.   }
85.   
86. > static int int_x509_param_set_hosts(X509_VERIFY_PARAM *vpm, int mode,
87.                                       const char *name, size_t namelen)
88.   {

crypto/x509/x509_vpm.c:86:1: Parameter `namelen`
84.   }
85.   
86. > static int int_x509_param_set_hosts(X509_VERIFY_PARAM *vpm, int mode,
87.                                       const char *name, size_t namelen)
88.   {

crypto/x509/x509_vpm.c:99:17: Binary operation: ([0, +oo] - 1):unsigned64
97.       else if (name && memchr(name, '\0', namelen > 1 ? namelen - 1 : namelen))
98.           return 0;
99.       if (name && name[namelen - 1] == '\0')
                       ^
100.           --namelen;
101.   
