Searched refs:findLockIter (Results 1 – 1 of 1) sorted by relevance
244 return replaceLock(FM, findLockIter(FM, CapE), std::move(Entry)); in replaceLock()247 iterator findLockIter(FactManager &FM, const CapabilityExpr &CapE) { in findLockIter() function in __anon06d2d5b10111::FactSet1044 if (const auto It = FSet.findLockIter(FactMan, Cp); It != FSet.end()) { in lock()1061 if (const auto It = FSet.findLockIter(FactMan, Cp); It != FSet.end()) { in unlock()2383 FactSet::iterator EntryIt = EntrySet.findLockIter(FactMan, ExitFact); in intersectAndWarn()