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


crypto/o_str.c:15:1: <LHS trace>
13.   #include "internal/cryptlib.h"
14.   
15. > size_t OPENSSL_strnlen(const char *str, size_t maxlen)
16.   {
17.       const char *p;

crypto/o_str.c:15:1: Parameter `maxlen`
13.   #include "internal/cryptlib.h"
14.   
15. > size_t OPENSSL_strnlen(const char *str, size_t maxlen)
16.   {
17.       const char *p;

crypto/o_str.c:19:19: Binary operation: ([0, maxlen] - 1):unsigned64
17.       const char *p;
18.   
19.       for (p = str; maxlen-- != 0 && *p != '\0'; ++p) ;
                        ^
20.   
21.       return p - str;
