146 #define wcslen BUILTIN(wcslen)  macro
147 size_t wcslen(const wchar_t *s);
150   clang_analyzer_eval(wcslen(L"123") == 3); // expected-warning{{TRUE}}  in wcslen_constant0()
155   clang_analyzer_eval(wcslen(a) == 3); // expected-warning{{TRUE}}  in wcslen_constant1()
160   clang_analyzer_eval(wcslen(a) == 3); // expected-warning{{TRUE}}  in wcslen_constant2()
163   clang_analyzer_eval(wcslen(a) == 3); // expected-warning{{UNKNOWN}}  in wcslen_constant2()
167 …return wcslen(0); // expected-warning{{Null pointer passed as 1st argument to string length functi…  in wcslen_null()
171 …return wcslen((wchar_t*)&wcslen_fn); // expected-warning{{Argument to string length function is th…  in wcslen_fn()
176 …return wcslen((wchar_t*)&&label); // expected-warning{{Argument to string length function is the a…  in wcslen_nonloc()
186   size_t a = wcslen(z.a);  in wcslen_subregion()
188   size_t b = wcslen(z.a);  in wcslen_subregion()
194   size_t c = wcslen(z.a);  in wcslen_subregion()
201   size_t a = wcslen(x);  in wcslen_argument()
202   size_t b = wcslen(x);  in wcslen_argument()
208   size_t c = wcslen(x);  in wcslen_argument()
215   size_t a = wcslen(global_str);  in wcslen_global()
216   size_t b = wcslen(global_str);  in wcslen_global()
220     clang_analyzer_eval(wcslen(global_str) == 0); // expected-warning{{TRUE}}  in wcslen_global()
226   size_t c = wcslen(global_str);  in wcslen_global()
232   size_t a = wcslen(x);  in wcslen_indirect()
235   size_t b = wcslen(x);  in wcslen_indirect()
242   size_t c = wcslen(x);  in wcslen_indirect()
248   size_t a = wcslen(x);  in wcslen_indirect2()
254   size_t c = wcslen(x);  in wcslen_indirect2()
260   if (wcslen(x) < 5)  in wcslen_liveness()
262   clang_analyzer_eval(wcslen(x) < 5); // expected-warning{{FALSE}}  in wcslen_liveness()
267   return wcslen(str);  in wcslenWrapper()
349   clang_analyzer_eval(wcsnlen(x, 10) == wcslen(x)); // expected-warning{{UNKNOWN}}  in wcsnlen_is_not_wcslen()
387   wmemcpy(a, w_str1, wcslen(w_str1) + 1);  in wmemcpy_wcslen()
388 …wmemcpy(a, w_str1, wcslen(w_str1) + 2); // expected-warning {{Memory copy function accesses out-of…  in wmemcpy_wcslen()