Searched refs:ijk_label (Results 1 – 3 of 3) sorted by relevance
36 dfsan_label ijk_label = dfsan_get_label(i + j + k); in main() local37 assert(dfsan_has_label(ijk_label, i_label)); in main()38 assert(dfsan_has_label(ijk_label, j_label)); in main()39 assert(dfsan_has_label(ijk_label, k_label)); in main()
26 dfsan_label ijk_label = dfsan_get_label(i + j + k); in main() local29 ij_label, ijk_label); in main()40 for (unsigned long i = ijk_label + 1; i < num_labels - 2; ++i) { in main()
141 dfsan_label ijk_label = dfsan_get_label(i + j + k);142 assert(dfsan_has_label(ijk_label, i_label));143 assert(dfsan_has_label(ijk_label, j_label));144 assert(dfsan_has_label(ijk_label, k_label));