Searched refs:FactManager (Results 1 – 1 of 1) sorted by relevance
| /freebsd-13.1/contrib/llvm-project/clang/lib/Analysis/ |
| H A D | ThreadSafety.cpp | 98 class FactManager;
144 virtual void handleLock(FactSet &FSet, FactManager &FactMan,
147 virtual void handleUnlock(FactSet &FSet, FactManager &FactMan,
162 class FactManager { class
201 bool isEmpty(FactManager &FactMan) const { in isEmpty()
217 bool removeLock(FactManager& FM, const CapabilityExpr &CapE) { in removeLock()
249 const FactEntry *findLockUniv(FactManager &FM, in findLockUniv()
257 const FactEntry *findPartialMatch(FactManager &FM, in findPartialMatch()
880 void handleUnlock(FactSet &FSet, FactManager &FactMan, in handleUnlock()
953 void handleUnlock(FactSet &FSet, FactManager &FactMan, in handleUnlock()
[all …]
|