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


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

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

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

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{\n    const char *p;\n    for (p = str; maxlen-- != 0 && *p != '\\0'; ++p) ;\n    return p - str;\n}"]