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