Lines Matching refs:new_predicate
296 set_hint_predicate (predicate **p, predicate new_predicate) in set_hint_predicate() argument
298 if (new_predicate == false || new_predicate == true) in set_hint_predicate()
308 **p = new_predicate; in set_hint_predicate()
748 predicate new_predicate; in remap_hint_predicate_after_duplication() local
753 new_predicate = (*p)->remap_after_duplication (possible_truths); in remap_hint_predicate_after_duplication()
756 set_hint_predicate (p, new_predicate); in remap_hint_predicate_after_duplication()
840 predicate new_predicate; in duplicate() local
848 new_predicate = es->predicate->remap_after_duplication in duplicate()
850 if (new_predicate == false && *es->predicate != false) in duplicate()
852 edge_set_predicate (edge, &new_predicate); in duplicate()
859 predicate new_predicate; in duplicate() local
866 new_predicate = es->predicate->remap_after_duplication in duplicate()
868 if (new_predicate == false && *es->predicate != false) in duplicate()
870 edge_set_predicate (edge, &new_predicate); in duplicate()