@@ -236,38 +236,34 @@ class FactSet {
236236 }
237237
238238 iterator findLockIter (FactManager &FM, const CapabilityExpr &CapE) {
239- return std::find_if (begin (), end (), [&](FactID ID) {
240- return FM[ID].matches (CapE);
241- });
239+ return llvm::find_if (*this ,
240+ [&](FactID ID) { return FM[ID].matches (CapE); });
242241 }
243242
244243 const FactEntry *findLock (FactManager &FM, const CapabilityExpr &CapE) const {
245- auto I = std::find_if (begin (), end (), [&](FactID ID) {
246- return FM[ID].matches (CapE);
247- });
244+ auto I =
245+ llvm::find_if (*this , [&](FactID ID) { return FM[ID].matches (CapE); });
248246 return I != end () ? &FM[*I] : nullptr ;
249247 }
250248
251249 const FactEntry *findLockUniv (FactManager &FM,
252250 const CapabilityExpr &CapE) const {
253- auto I = std::find_if (begin (), end (), [&](FactID ID) -> bool {
254- return FM[ID].matchesUniv (CapE);
255- });
251+ auto I = llvm::find_if (
252+ *this , [&](FactID ID) -> bool { return FM[ID].matchesUniv (CapE); });
256253 return I != end () ? &FM[*I] : nullptr ;
257254 }
258255
259256 const FactEntry *findPartialMatch (FactManager &FM,
260257 const CapabilityExpr &CapE) const {
261- auto I = std ::find_if (begin (), end () , [&](FactID ID) -> bool {
258+ auto I = llvm ::find_if (* this , [&](FactID ID) -> bool {
262259 return FM[ID].partiallyMatches (CapE);
263260 });
264261 return I != end () ? &FM[*I] : nullptr ;
265262 }
266263
267264 bool containsMutexDecl (FactManager &FM, const ValueDecl* Vd) const {
268- auto I = std::find_if (begin (), end (), [&](FactID ID) -> bool {
269- return FM[ID].valueDecl () == Vd;
270- });
265+ auto I = llvm::find_if (
266+ *this , [&](FactID ID) -> bool { return FM[ID].valueDecl () == Vd; });
271267 return I != end ();
272268 }
273269};
0 commit comments