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


crypto/o_str.c:133:1: <LHS trace>
131.   }
132.   
133. > char *CRYPTO_strndup(const char *str, size_t s, const char* file, int line)
134.   {
135.       const char *cp;

crypto/o_str.c:133:1: Parameter `s`
131.   }
132.   
133. > char *CRYPTO_strndup(const char *str, size_t s, const char* file, int line)
134.   {
135.       const char *cp;

crypto/o_str.c:143:20: Assignment
141.   
142.       /* Get length. */
143.       for (cp = str, maxlen = s; maxlen-- != 0 && *cp != '\0'; ++cp)
                          ^
144.           continue;
145.       maxlen = cp - str;

crypto/o_str.c:143:32: Binary operation: ([0, s] - 1):unsigned64
141.   
142.       /* Get length. */
143.       for (cp = str, maxlen = s; maxlen-- != 0 && *cp != '\0'; ++cp)
                                      ^
144.           continue;
145.       maxlen = cp - str;
