Lines Matching defs:Safe
531 /// (Safe). Marking safe usually means adding ToMark to Safe. However, if there
532 /// is already a prefix of Indices in Safe, Indices are implicitely marked safe
534 /// removed from Safe (since they are implicitely safe because of Indices now).
536 std::set<IndicesVector> &Safe) {
538 Low = Safe.upper_bound(ToMark);
539 // Guard against the case where Safe is empty
540 if (Low != Safe.begin())
545 if (Low != Safe.end()) {
555 Low = Safe.insert(Low, ToMark);
558 std::set<IndicesVector>::iterator End = Safe.end();
562 Safe.erase(Remove);
977 // Safe to transform, don't even bother trying to "promote" it.