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