Searched refs:i_plus_j (Results 1 – 1 of 1) sorted by relevance
60 int i_plus_j = add_in_separate_translation_unit(i, j); in main() local71 assert(dfsan_get_label(i_plus_j) == dfsan_get_label(j_times_i)); in main()