203   char str1[] = "str1", str2[] = "str2";  in test_memcmp()  local
205   dfsan_set_label(j_label, &str2[3], 1);  in test_memcmp()
207   int rv = memcmp(str1, str2, sizeof(str1));  in test_memcmp()
216   rv = memcmp(str1, str2, sizeof(str1) - 2);  in test_memcmp()
222   char str1[] = "str1", str2[] = "str2";  in test_bcmp()  local
224   dfsan_set_label(j_label, &str2[3], 1);  in test_bcmp()
226   int rv = bcmp(str1, str2, sizeof(str1));  in test_bcmp()
235   rv = bcmp(str1, str2, sizeof(str1) - 2);  in test_bcmp()
242   char str2[sizeof(str1)];  in test_memcpy()  local
247   char *ptr2 = str2;  in test_memcpy()
253   assert(0 == memcmp(str2, str1, sizeof(str1)));  in test_memcpy()
254   ASSERT_ZERO_LABEL(str2[0]);  in test_memcpy()
255   ASSERT_LABEL(str2[3], i_label);  in test_memcpy()
257   for (int i = 0; i < sizeof(str2); ++i) {  in test_memcpy()
258     if (!dfsan_get_label(str2[i]))  in test_memcpy()
260     ASSERT_INIT_ORIGIN(&(str2[i]), str1_o[i]);  in test_memcpy()
304   char str1[] = "str1", str2[] = "str2";  in test_strcmp()  local
306   dfsan_set_label(j_label, &str2[3], 1);  in test_strcmp()
308   int rv = strcmp(str1, str2);  in test_strcmp()
404   char str2[sizeof(str1)];  in test_strncpy()  local
407   char *strd = strncpy(str2, str1, 5);  in test_strncpy()
408   assert(strd == str2);  in test_strncpy()
409   assert(strcmp(str1, str2) == 0);  in test_strncpy()
417   char *p2 = str2;  in test_strncpy()
420   assert(strd == str2);  in test_strncpy()
421   assert(strncmp(str1, str2, 3) == 0);  in test_strncpy()
440   char str1[] = "str1", str2[] = "str2";  in test_strncmp()  local
442   dfsan_set_label(j_label, &str2[3], 1);  in test_strncmp()
444   int rv = strncmp(str1, str2, sizeof(str1));  in test_strncmp()
453   rv = strncmp(str1, str2, 0);  in test_strncmp()
457   rv = strncmp(str1, str2, 3);  in test_strncmp()
472   char str1[] = "str1", str2[] = "str2", str3[] = "Str1";  in test_strcasecmp()  local
474   dfsan_set_label(j_label, &str2[3], 1);  in test_strcasecmp()
477   int rv = strcasecmp(str1, str2);  in test_strcasecmp()
511   char str1[] = "Str1", str2[] = "str2";  in test_strncasecmp()  local
513   dfsan_set_label(j_label, &str2[3], 1);  in test_strncasecmp()
515   int rv = strncasecmp(str1, str2, sizeof(str1));  in test_strncasecmp()
524   rv = strncasecmp(str1, str2, 3);  in test_strncasecmp()
1524   char str2[] = "1s";  in test_strstr()  local
1525   char *p2 = str2;  in test_strstr()
1536   dfsan_set_label(n_label, &str2[0], 1);  in test_strstr()
1537   rv = strstr(str1, str2);  in test_strstr()
1543   ASSERT_INIT_ORIGIN_EQ_ORIGIN(&rv, str2[0]);  in test_strstr()