Searched refs:read_label (Results 1 – 1 of 1) sorted by relevance
18 dfsan_label read_label = dfsan_read_label(&i, sizeof(i)); in main() local19 assert(i_label == read_label); in main()24 read_label = dfsan_read_label(&i, sizeof(i)); in main()25 assert(dfsan_has_label(read_label, i_label)); in main()26 assert(dfsan_has_label(read_label, j_label)); in main()