341 void strcpy_effects(char *x, char *y) {  in strcpy_effects()  argument
346   clang_analyzer_eval(strcpy(x, y) == x); // expected-warning{{TRUE}}  in strcpy_effects()
347   clang_analyzer_eval(strlen(x) == strlen(y)); // expected-warning{{TRUE}}  in strcpy_effects()
353 void strcpy_overflow(char *y) {  in strcpy_overflow()  argument
355   if (strlen(y) == 4)  in strcpy_overflow()
356     strcpy(x, y); // expected-warning{{String copy function overflows the destination buffer}}  in strcpy_overflow()
360 void strcpy_no_overflow(char *y) {  in strcpy_no_overflow()  argument
362   if (strlen(y) == 3)  in strcpy_no_overflow()
363     strcpy(x, y); // no-warning  in strcpy_no_overflow()
399 void stpcpy_effect(char *x, char *y) {  in stpcpy_effect()  argument
402   clang_analyzer_eval(stpcpy(x, y) == &x[strlen(y)]); // expected-warning{{TRUE}}  in stpcpy_effect()
403   clang_analyzer_eval(strlen(x) == strlen(y)); // expected-warning{{TRUE}}  in stpcpy_effect()
408 void stpcpy_overflow(char *y) {  in stpcpy_overflow()  argument
410   if (strlen(y) == 4)  in stpcpy_overflow()
411     stpcpy(x, y); // expected-warning{{String copy function overflows the destination buffer}}  in stpcpy_overflow()
415 void stpcpy_no_overflow(char *y) {  in stpcpy_no_overflow()  argument
417   if (strlen(y) == 3)  in stpcpy_no_overflow()
418     stpcpy(x, y); // no-warning  in stpcpy_no_overflow()
452 void strcat_effects(char *y) {  in strcat_effects()  argument
457   if (strlen(y) != 4)  in strcat_effects()
460   clang_analyzer_eval(strcat(x, y) == x); // expected-warning{{TRUE}}  in strcat_effects()
461   clang_analyzer_eval((int)strlen(x) == (orig_len + strlen(y))); // expected-warning{{TRUE}}  in strcat_effects()
465 void strcat_overflow_0(char *y) {  in strcat_overflow_0()  argument
467   if (strlen(y) == 4)  in strcat_overflow_0()
468 …strcat(x, y); // expected-warning{{String concatenation function overflows the destination buffer}}  in strcat_overflow_0()
471 void strcat_overflow_1(char *y) {  in strcat_overflow_1()  argument
473   if (strlen(y) == 3)  in strcat_overflow_1()
474 …strcat(x, y); // expected-warning{{String concatenation function overflows the destination buffer}}  in strcat_overflow_1()
477 void strcat_overflow_2(char *y) {  in strcat_overflow_2()  argument
479   if (strlen(y) == 2)  in strcat_overflow_2()
480 …strcat(x, y); // expected-warning{{String concatenation function overflows the destination buffer}}  in strcat_overflow_2()
484 void strcat_no_overflow(char *y) {  in strcat_no_overflow()  argument
486   if (strlen(y) == 2)  in strcat_no_overflow()
487     strcat(x, y); // no-warning  in strcat_no_overflow()
551 void strncpy_effects(char *x, char *y) {  in strncpy_effects()  argument
554   clang_analyzer_eval(strncpy(x, y, 5) == x); // expected-warning{{TRUE}}  in strncpy_effects()
555   clang_analyzer_eval(strlen(x) == strlen(y)); // expected-warning{{UNKNOWN}}  in strncpy_effects()
569 void strncpy_overflow(char *y) {  in strncpy_overflow()  argument
571   if (strlen(y) == 4)  in strncpy_overflow()
572     strncpy(x, y, 5);  in strncpy_overflow()
579 void strncpy_no_overflow(char *y) {  in strncpy_no_overflow()  argument
581   if (strlen(y) == 3)  in strncpy_no_overflow()
582     strncpy(x, y, 5);  in strncpy_no_overflow()
589 void strncpy_no_overflow2(char *y, int n) {  in strncpy_no_overflow2()  argument
594   if (strlen(y) == 3)  in strncpy_no_overflow2()
595     strncpy(x, y, n);  in strncpy_no_overflow2()
600 void strncpy_truncate(char *y) {  in strncpy_truncate()  argument
602   if (strlen(y) == 4)  in strncpy_truncate()
603     strncpy(x, y, 3); // no-warning  in strncpy_truncate()
606 void strncpy_no_truncate(char *y) {  in strncpy_no_truncate()  argument
608   if (strlen(y) == 3)  in strncpy_no_truncate()
609     strncpy(x, y, 3); // no-warning  in strncpy_no_truncate()
612 void strncpy_exactly_matching_buffer(char *y) {  in strncpy_exactly_matching_buffer()  argument
614 	strncpy(x, y, 4); // no-warning  in strncpy_exactly_matching_buffer()
663 void strncat_effects(char *y) {  in strncat_effects()  argument
668   if (strlen(y) != 4)  in strncat_effects()
671   clang_analyzer_eval(strncat(x, y, strlen(y)) == x); // expected-warning{{TRUE}}  in strncat_effects()
672   clang_analyzer_eval(strlen(x) == (orig_len + strlen(y))); // expected-warning{{TRUE}}  in strncat_effects()
676 void strncat_overflow_0(char *y) {  in strncat_overflow_0()  argument
678   if (strlen(y) == 4)  in strncat_overflow_0()
679     strncat(x, y, strlen(y));  in strncat_overflow_0()
683 void strncat_overflow_1(char *y) {  in strncat_overflow_1()  argument
685   if (strlen(y) == 3)  in strncat_overflow_1()
686     strncat(x, y, strlen(y));  in strncat_overflow_1()
690 void strncat_overflow_2(char *y) {  in strncat_overflow_2()  argument
692   if (strlen(y) == 2)  in strncat_overflow_2()
693     strncat(x, y, strlen(y));  in strncat_overflow_2()
697 void strncat_overflow_3(char *y) {  in strncat_overflow_3()  argument
699   if (strlen(y) == 4)  in strncat_overflow_3()
700     strncat(x, y, 2);  in strncat_overflow_3()
705 void strncat_no_overflow_1(char *y) {  in strncat_no_overflow_1()  argument
707   if (strlen(y) == 2)  in strncat_no_overflow_1()
708     strncat(x, y, strlen(y)); // no-warning  in strncat_no_overflow_1()
711 void strncat_no_overflow_2(char *y) {  in strncat_no_overflow_2()  argument
713   if (strlen(y) == 4)  in strncat_no_overflow_2()
714     strncat(x, y, 1); // no-warning  in strncat_no_overflow_2()
794   char *y = "a";  in strcmp_check_modelling()  local
795   clang_analyzer_eval(strcmp(x, y) > 0); // expected-warning{{TRUE}}  in strcmp_check_modelling()
796   clang_analyzer_eval(strcmp(x, y) <= 0); // expected-warning{{FALSE}}  in strcmp_check_modelling()
797   clang_analyzer_eval(strcmp(x, y) > 1); // expected-warning{{UNKNOWN}}  in strcmp_check_modelling()
799   clang_analyzer_eval(strcmp(y, x) < 0); // expected-warning{{TRUE}}  in strcmp_check_modelling()
800   clang_analyzer_eval(strcmp(y, x) >= 0); // expected-warning{{FALSE}}  in strcmp_check_modelling()
801   clang_analyzer_eval(strcmp(y, x) < -1); // expected-warning{{UNKNOWN}}  in strcmp_check_modelling()
820   char *y = "123";  in strcmp_0()  local
821   clang_analyzer_eval(strcmp(x, y) == 0); // expected-warning{{TRUE}}  in strcmp_0()
826   char *y = "123";  in strcmp_1()  local
827   clang_analyzer_eval(strcmp(x, y) > 0); // expected-warning{{TRUE}}  in strcmp_1()
832   char *y = "234";  in strcmp_2()  local
833   clang_analyzer_eval(strcmp(x, y) < 0); // expected-warning{{TRUE}}  in strcmp_2()
838   char *y = "123";  in strcmp_null_0()  local
839 …strcmp(x, y); // expected-warning{{Null pointer passed as 1st argument to string comparison functi…  in strcmp_null_0()
844   char *y = NULL;  in strcmp_null_1()  local
845 …strcmp(x, y); // expected-warning{{Null pointer passed as 2nd argument to string comparison functi…  in strcmp_null_1()
850   char *y = "234";  in strcmp_diff_length_0()  local
851   clang_analyzer_eval(strcmp(x, y) < 0); // expected-warning{{TRUE}}  in strcmp_diff_length_0()
856   char *y = "23456";  in strcmp_diff_length_1()  local
857   clang_analyzer_eval(strcmp(x, y) < 0); // expected-warning{{TRUE}}  in strcmp_diff_length_1()
862   char *y = "123";  in strcmp_diff_length_2()  local
863   clang_analyzer_eval(strcmp(x, y) > 0); // expected-warning{{TRUE}}  in strcmp_diff_length_2()
868   char *y = "12345";  in strcmp_diff_length_3()  local
869   clang_analyzer_eval(strcmp(x, y) < 0); // expected-warning{{TRUE}}  in strcmp_diff_length_3()
909   char *y = "a";  in strncmp_check_modelling()  local
910   clang_analyzer_eval(strncmp(x, y, 2) > 0); // expected-warning{{TRUE}}  in strncmp_check_modelling()
911   clang_analyzer_eval(strncmp(x, y, 2) <= 0); // expected-warning{{FALSE}}  in strncmp_check_modelling()
912   clang_analyzer_eval(strncmp(x, y, 2) > 1); // expected-warning{{UNKNOWN}}  in strncmp_check_modelling()
914   clang_analyzer_eval(strncmp(y, x, 2) < 0); // expected-warning{{TRUE}}  in strncmp_check_modelling()
915   clang_analyzer_eval(strncmp(y, x, 2) >= 0); // expected-warning{{FALSE}}  in strncmp_check_modelling()
916   clang_analyzer_eval(strncmp(y, x, 2) < -1); // expected-warning{{UNKNOWN}}  in strncmp_check_modelling()
935   char *y = "123";  in strncmp_0()  local
936   clang_analyzer_eval(strncmp(x, y, 3) == 0); // expected-warning{{TRUE}}  in strncmp_0()
941   char *y = "123";  in strncmp_1()  local
942   clang_analyzer_eval(strncmp(x, y, 3) > 0); // expected-warning{{TRUE}}  in strncmp_1()
947   char *y = "234";  in strncmp_2()  local
948   clang_analyzer_eval(strncmp(x, y, 3) < 0); // expected-warning{{TRUE}}  in strncmp_2()
953   char *y = "123";  in strncmp_null_0()  local
954 …strncmp(x, y, 3); // expected-warning{{Null pointer passed as 1st argument to string comparison fu…  in strncmp_null_0()
959   char *y = NULL;  in strncmp_null_1()  local
960 …strncmp(x, y, 3); // expected-warning{{Null pointer passed as 2nd argument to string comparison fu…  in strncmp_null_1()
965   char *y = "234";  in strncmp_diff_length_0()  local
966   clang_analyzer_eval(strncmp(x, y, 5) < 0); // expected-warning{{TRUE}}  in strncmp_diff_length_0()
971   char *y = "23456";  in strncmp_diff_length_1()  local
972   clang_analyzer_eval(strncmp(x, y, 5) < 0); // expected-warning{{TRUE}}  in strncmp_diff_length_1()
977   char *y = "123";  in strncmp_diff_length_2()  local
978   clang_analyzer_eval(strncmp(x, y, 5) > 0); // expected-warning{{TRUE}}  in strncmp_diff_length_2()
983   char *y = "12345";  in strncmp_diff_length_3()  local
984   clang_analyzer_eval(strncmp(x, y, 5) < 0); // expected-warning{{TRUE}}  in strncmp_diff_length_3()
989   char *y = "12345";  in strncmp_diff_length_4()  local
990   clang_analyzer_eval(strncmp(x, y, 3) == 0); // expected-warning{{TRUE}}  in strncmp_diff_length_4()
995   char *y = "12345";  in strncmp_diff_length_5()  local
996   clang_analyzer_eval(strncmp(x, y, 3) < 0); // expected-warning{{TRUE}}  in strncmp_diff_length_5()
1001   char *y = "12345";  in strncmp_diff_length_6()  local
1002   clang_analyzer_eval(strncmp(x, y, 3) > 0); // expected-warning{{TRUE}}  in strncmp_diff_length_6()
1024   char *y = "a";  in strcasecmp_check_modelling()  local
1025   clang_analyzer_eval(strcasecmp(x, y) > 0); // expected-warning{{TRUE}}  in strcasecmp_check_modelling()
1026   clang_analyzer_eval(strcasecmp(x, y) <= 0); // expected-warning{{FALSE}}  in strcasecmp_check_modelling()
1027   clang_analyzer_eval(strcasecmp(x, y) > 1); // expected-warning{{UNKNOWN}}  in strcasecmp_check_modelling()
1029   clang_analyzer_eval(strcasecmp(y, x) < 0); // expected-warning{{TRUE}}  in strcasecmp_check_modelling()
1030   clang_analyzer_eval(strcasecmp(y, x) >= 0); // expected-warning{{FALSE}}  in strcasecmp_check_modelling()
1031   clang_analyzer_eval(strcasecmp(y, x) < -1); // expected-warning{{UNKNOWN}}  in strcasecmp_check_modelling()
1050   char *y = "Abc";  in strcasecmp_0()  local
1051   clang_analyzer_eval(strcasecmp(x, y) == 0); // expected-warning{{TRUE}}  in strcasecmp_0()
1056   char *y = "abc";  in strcasecmp_1()  local
1057   clang_analyzer_eval(strcasecmp(x, y) > 0); // expected-warning{{TRUE}}  in strcasecmp_1()
1062   char *y = "Bcd";  in strcasecmp_2()  local
1063   clang_analyzer_eval(strcasecmp(x, y) < 0); // expected-warning{{TRUE}}  in strcasecmp_2()
1068   char *y = "123";  in strcasecmp_null_0()  local
1069 …strcasecmp(x, y); // expected-warning{{Null pointer passed as 1st argument to string comparison fu…  in strcasecmp_null_0()
1074   char *y = NULL;  in strcasecmp_null_1()  local
1075 …strcasecmp(x, y); // expected-warning{{Null pointer passed as 2nd argument to string comparison fu…  in strcasecmp_null_1()
1080   char *y = "aBd";  in strcasecmp_diff_length_0()  local
1081   clang_analyzer_eval(strcasecmp(x, y) < 0); // expected-warning{{TRUE}}  in strcasecmp_diff_length_0()
1086   char *y = "aBdef";  in strcasecmp_diff_length_1()  local
1087   clang_analyzer_eval(strcasecmp(x, y) < 0); // expected-warning{{TRUE}}  in strcasecmp_diff_length_1()
1092   char *y = "abc";  in strcasecmp_diff_length_2()  local
1093   clang_analyzer_eval(strcasecmp(x, y) > 0); // expected-warning{{TRUE}}  in strcasecmp_diff_length_2()
1098   char *y = "abcde";  in strcasecmp_diff_length_3()  local
1099   clang_analyzer_eval(strcasecmp(x, y) < 0); // expected-warning{{TRUE}}  in strcasecmp_diff_length_3()
1121   char *y = "a";  in strncasecmp_check_modelling()  local
1122   clang_analyzer_eval(strncasecmp(x, y, 2) > 0); // expected-warning{{TRUE}}  in strncasecmp_check_modelling()
1123   clang_analyzer_eval(strncasecmp(x, y, 2) <= 0); // expected-warning{{FALSE}}  in strncasecmp_check_modelling()
1124   clang_analyzer_eval(strncasecmp(x, y, 2) > 1); // expected-warning{{UNKNOWN}}  in strncasecmp_check_modelling()
1126   clang_analyzer_eval(strncasecmp(y, x, 2) < 0); // expected-warning{{TRUE}}  in strncasecmp_check_modelling()
1127   clang_analyzer_eval(strncasecmp(y, x, 2) >= 0); // expected-warning{{FALSE}}  in strncasecmp_check_modelling()
1128   clang_analyzer_eval(strncasecmp(y, x, 2) < -1); // expected-warning{{UNKNOWN}}  in strncasecmp_check_modelling()
1147   char *y = "Abc";  in strncasecmp_0()  local
1148   clang_analyzer_eval(strncasecmp(x, y, 3) == 0); // expected-warning{{TRUE}}  in strncasecmp_0()
1153   char *y = "abc";  in strncasecmp_1()  local
1154   clang_analyzer_eval(strncasecmp(x, y, 3) > 0); // expected-warning{{TRUE}}  in strncasecmp_1()
1159   char *y = "Bcd";  in strncasecmp_2()  local
1160   clang_analyzer_eval(strncasecmp(x, y, 3) < 0); // expected-warning{{TRUE}}  in strncasecmp_2()
1165   char *y = "123";  in strncasecmp_null_0()  local
1166 …strncasecmp(x, y, 3); // expected-warning{{Null pointer passed as 1st argument to string compariso…  in strncasecmp_null_0()
1171   char *y = NULL;  in strncasecmp_null_1()  local
1172 …strncasecmp(x, y, 3); // expected-warning{{Null pointer passed as 2nd argument to string compariso…  in strncasecmp_null_1()
1177   char *y = "aBd";  in strncasecmp_diff_length_0()  local
1178   clang_analyzer_eval(strncasecmp(x, y, 5) < 0); // expected-warning{{TRUE}}  in strncasecmp_diff_length_0()
1183   char *y = "aBdef";  in strncasecmp_diff_length_1()  local
1184   clang_analyzer_eval(strncasecmp(x, y, 5) < 0); // expected-warning{{TRUE}}  in strncasecmp_diff_length_1()
1189   char *y = "abc";  in strncasecmp_diff_length_2()  local
1190   clang_analyzer_eval(strncasecmp(x, y, 5) > 0); // expected-warning{{TRUE}}  in strncasecmp_diff_length_2()
1195   char *y = "abcde";  in strncasecmp_diff_length_3()  local
1196   clang_analyzer_eval(strncasecmp(x, y, 5) < 0); // expected-warning{{TRUE}}  in strncasecmp_diff_length_3()
1201   char *y = "aBc";  in strncasecmp_diff_length_4()  local
1202   clang_analyzer_eval(strncasecmp(x, y, 3) == 0); // expected-warning{{TRUE}}  in strncasecmp_diff_length_4()
1207   char *y = "aBd";  in strncasecmp_diff_length_5()  local
1208   clang_analyzer_eval(strncasecmp(x, y, 3) < 0); // expected-warning{{TRUE}}  in strncasecmp_diff_length_5()
1213   char *y = "abc";  in strncasecmp_diff_length_6()  local
1214   clang_analyzer_eval(strncasecmp(x, y, 3) > 0); // expected-warning{{TRUE}}  in strncasecmp_diff_length_6()
1549 void strncpy_exactly_matching_buffer2(char *y) {  in strncpy_exactly_matching_buffer2()  argument
1550 	if (strlen(y) >= 4)  in strncpy_exactly_matching_buffer2()
1554 	strncpy(x, y, 4); // no-warning  in strncpy_exactly_matching_buffer2()
1657 void strcpy_no_overflow_2(char *y) {  in strcpy_no_overflow_2()  argument
1665 void strcpy_no_overflow_2(char *y) {  in strcpy_no_overflow_2()  argument