Searched defs:pro_spec_checked_ds (Results 1 – 2 of 2) sorted by relevance
3262 ds_t pro_spec_checked_ds; in has_dependence_note_reg_use() local