Searched refs:findLockIter (Results 1 – 1 of 1) sorted by relevance
236 iterator findLockIter(FactManager &FM, const CapabilityExpr &CapE) { in findLockIter() function in __anon3cf8d6650111::FactSet2241 FactSet::iterator EntryIt = EntrySet.findLockIter(FactMan, ExitFact); in intersectAndWarn()