Searched refs:ij_label (Results 1 – 8 of 8) sorted by relevance
| /external/llvm-project/compiler-rt/test/dfsan/ |
| D | propagate.c | 28 dfsan_label ij_label = dfsan_get_label(i + j); in main() local
29 assert(dfsan_has_label(ij_label, i_label)); in main()
30 assert(dfsan_has_label(ij_label, j_label)); in main()
31 assert(!dfsan_has_label(ij_label, k_label)); in main()
33 assert(dfsan_union(i_label, j_label) == ij_label); in main()
34 assert(dfsan_union(j_label, i_label) == ij_label); in main()
44 assert(dfsan_read_label(&s, sizeof(s)) == ij_label); in main()
|
| D | fncall.c | 21 dfsan_label ij_label = dfsan_get_label(f(i)); in main() local
22 assert(dfsan_has_label(ij_label, i_label)); in main()
23 assert(dfsan_has_label_with_desc(ij_label, "j")); in main()
|
| D | dump_labels.c | 25 dfsan_label ij_label = dfsan_get_label(i + j); in main() local
29 ij_label, ijk_label); in main()
|
| /external/compiler-rt/test/dfsan/ |
| D | propagate.c | 28 dfsan_label ij_label = dfsan_get_label(i + j); in main() local
29 assert(dfsan_has_label(ij_label, i_label)); in main()
30 assert(dfsan_has_label(ij_label, j_label)); in main()
31 assert(!dfsan_has_label(ij_label, k_label)); in main()
33 assert(dfsan_union(i_label, j_label) == ij_label); in main()
34 assert(dfsan_union(j_label, i_label) == ij_label); in main()
44 assert(dfsan_read_label(&s, sizeof(s)) == ij_label); in main()
|
| D | fncall.c | 21 dfsan_label ij_label = dfsan_get_label(f(i)); in main() local
22 assert(dfsan_has_label(ij_label, i_label)); in main()
23 assert(dfsan_has_label_with_desc(ij_label, "j")); in main()
|
| D | dump_labels.c | 25 dfsan_label ij_label = dfsan_get_label(i + j); in main() local
29 ij_label, ijk_label); in main()
|
| /external/llvm-project/clang/docs/ |
| D | DataFlowSanitizer.rst | 164 dfsan_label ij_label = dfsan_get_label(i + j);
165 assert(dfsan_has_label(ij_label, i_label));
166 assert(dfsan_has_label(ij_label, j_label));
167 assert(!dfsan_has_label(ij_label, k_label));
212 dfsan_label ij_label = dfsan_get_label(i + j);
214 assert(ij_label & i_label); // ij_label has i_label
215 assert(ij_label & j_label); // ij_label has j_label
216 assert(!(ij_label & k_label)); // ij_label doesn't have k_label
217 assert(ij_label == 3); // Verifies all of the above
|
| /external/clang/docs/ |
| D | DataFlowSanitizer.rst | 136 dfsan_label ij_label = dfsan_get_label(i + j);
137 assert(dfsan_has_label(ij_label, i_label));
138 assert(dfsan_has_label(ij_label, j_label));
139 assert(!dfsan_has_label(ij_label, k_label));
|