161 size_t strnlen(const char *s, size_t maxlen);
164   clang_analyzer_eval(strnlen("123", 10) == 3); // expected-warning{{TRUE}}  in strnlen_constant0()
169   clang_analyzer_eval(strnlen(a, 10) == 3); // expected-warning{{TRUE}}  in strnlen_constant1()
174   clang_analyzer_eval(strnlen(a, 10) == 3); // expected-warning{{TRUE}}  in strnlen_constant2()
176   clang_analyzer_eval(strnlen(a, 10) == 3); // expected-warning{{UNKNOWN}}  in strnlen_constant2()
180   clang_analyzer_eval(strnlen("123456", 3) == 3); // expected-warning{{TRUE}}  in strnlen_constant4()
185   clang_analyzer_eval(strnlen(a, 3) == 3); // expected-warning{{TRUE}}  in strnlen_constant5()
190   clang_analyzer_eval(strnlen(a, 3) == 3); // expected-warning{{TRUE}}  in strnlen_constant6()
192   clang_analyzer_eval(strnlen(a, 3) == 3); // expected-warning{{UNKNOWN}}  in strnlen_constant6()
196 …return strnlen(0, 3); // expected-warning{{Null pointer argument in call to string length function…  in strnlen_null()
200 …return strnlen((char*)&strlen_fn, 3); // expected-warning{{Argument to string length function is t…  in strnlen_fn()
205 …return strnlen((char*)&&label, 3); // expected-warning{{Argument to string length function is the …  in strnlen_nonloc()
209   clang_analyzer_eval(strnlen("abc", 0) == 0); // expected-warning{{TRUE}}  in strnlen_zero()
210   clang_analyzer_eval(strnlen(NULL, 0) == 0); // expected-warning{{TRUE}}  in strnlen_zero()
216   return strnlen((char[]) { 'a', 'b', 0 }, 1);  in strnlen_compound_literal()
221   return strnlen("abc", (int)f);  in strnlen_unknown_limit()
225   clang_analyzer_eval(strnlen(x, 10) == strlen(x)); // expected-warning{{UNKNOWN}}  in strnlen_is_not_strlen()
229   size_t len = strnlen(x, 10);  in strnlen_at_limit()
236   size_t len = strnlen("abc", limit);  in strnlen_at_actual()