Home
last modified time | relevance | path

Searched refs:k_label (Results 1 – 4 of 4) sorted by relevance

/external/compiler-rt/test/dfsan/
Dpropagate.c22 dfsan_label k_label = dfsan_create_label("k", 0); in main() local
23 dfsan_set_label(k_label, &k, sizeof(k)); in main()
26 dfsan_set_label(k_label, &k2, sizeof(k2)); in main()
31 assert(!dfsan_has_label(ij_label, k_label)); in main()
39 assert(dfsan_has_label(ijk_label, k_label)); in main()
41 assert(dfsan_get_label(k + k2) == k_label); in main()
Ddump_labels.c22 dfsan_label k_label = dfsan_create_label("k", 0); in main() local
23 dfsan_set_label(k_label, &k, sizeof(k)); in main()
28 fprintf(stderr, "i %d j %d k %d ij %d ijk %d\n", i_label, j_label, k_label, in main()
Dcustom.cc33 dfsan_label k_label = 0; variable
378 dfsan_set_label(k_label, &buf_len, sizeof(buf_len)); in test_dfsan_set_write_callback()
386 ASSERT_READ_LABEL(&last_count, sizeof(last_count), k_label); in test_dfsan_set_write_callback()
826 dfsan_set_label(k_label, (void *) (s + 1), 2); in test_sprintf()
835 ASSERT_READ_LABEL(buf + 7, 2, k_label); in test_sprintf()
888 dfsan_set_label(k_label, (void *) (s + 1), 2); in test_snprintf()
898 ASSERT_READ_LABEL(buf + 7, 2, k_label); in test_snprintf()
908 k_label = dfsan_create_label("k", 0); in main()
/external/clang/docs/
DDataFlowSanitizer.rst133 dfsan_label k_label = dfsan_create_label("k", 0);
134 dfsan_set_label(k_label, &k, sizeof(k));
139 assert(!dfsan_has_label(ij_label, k_label));
144 assert(dfsan_has_label(ijk_label, k_label));