Searched defs:succ_p (Results 1 – 2 of 2) sorted by relevance
6043 bool succ_p = false; in process_invariant_for_inheritance() local6322 bool change_p, succ_p, update_reloads_num_p; in inherit_in_ebb() local
6182 bool succ_p = false; in process_invariant_for_inheritance() local6461 bool change_p, succ_p, update_reloads_num_p; in inherit_in_ebb() local