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


crypto/o_str.c:170:1: <LHS trace>
168.   }
169.   
170. > size_t OPENSSL_strnlen(const char *str, size_t maxlen)
171.   {
172.       const char *p;

crypto/o_str.c:170:1: Parameter `maxlen`
168.   }
169.   
170. > size_t OPENSSL_strnlen(const char *str, size_t maxlen)
171.   {
172.       const char *p;

crypto/o_str.c:174:19: Binary operation: ([0, maxlen] - 1):unsigned64
172.       const char *p;
173.   
174.       for (p = str; maxlen-- != 0 && *p != '\0'; ++p) ;
                         ^
175.   
176.       return p - str;
