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:16: Binary operation: ([0, maxlen] - 1):unsigned64
67.   	const char *p;
68.   
69.   	for (p = str; maxlen-- != 0 && *p != '\0'; ++p)
                     ^
70.   		;
71.   

size_t BUF_strnlen(const char *str, size_t maxlen)
	{
	const char *p;
	for (p = str; maxlen-- != 0 && *p != '\0'; ++p)
		;
	return p - str;
	}
["size_t BUF_strnlen(const char *str, size_t maxlen)\n\t{\n\tconst char *p;\n\tfor (p = str; maxlen-- != 0 && *p != '\\0'; ++p)\n\t\t;\n\treturn p - str;\n\t}"]