Searched refs:FactMan (Results 1 – 1 of 1) sorted by relevance
| /external/clang/lib/Analysis/ |
| D | ThreadSafety.cpp | 120 handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan,
123 virtual void handleUnlock(FactSet &FSet, FactManager &FactMan,
180 bool isEmpty(FactManager &FactMan) const { in isEmpty()
182 if (!FactMan[FID].negative()) in isEmpty()
823 handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan, in handleRemovalFromIntersection() argument
832 void handleUnlock(FactSet &FSet, FactManager &FactMan, in handleUnlock() argument
836 FSet.removeLock(FactMan, Cp); in handleUnlock()
838 FSet.addLock(FactMan, llvm::make_unique<LockableFactEntry>( in handleUnlock()
859 handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan, in handleRemovalFromIntersection() argument
863 if (FSet.findLock(FactMan, CapabilityExpr(UnderlyingMutex, false))) { in handleRemovalFromIntersection()
[all …]
|