crypto/buffer/buf_str.c:69: error: INTEGER_OVERFLOW_L2
  ([0, `maxlen`] - 1):unsigned64.
Showing all 3 steps of the trace


crypto/buffer/buf_str.c:65:1: <LHS trace>
63.   #include <openssl/buffer.h>
64.   
65. > size_t BUF_strnlen(const char *str, size_t maxlen)
66.   	{
67.   	const char *p;

crypto/buffer/buf_str.c:65:1: Parameter `maxlen`
63.   #include <openssl/buffer.h>
64.   
65. > size_t BUF_strnlen(const char *str, size_t maxlen)
66.   	{
67.   	const char *p;

crypto/buffer/buf_str.c:69:30: Binary operation: ([0, maxlen] - 1):unsigned64
67.   	const char *p;
68.   
69.   	for (p = str; *p != '\0' && maxlen-- != 0; ++p)
                                   ^
70.   		;
71.   
