Home
last modified time | relevance | path

Searched refs:FactManager (Results 1 – 1 of 1) sorted by relevance

/llvm-project-15.0.7/clang/lib/Analysis/
H A DThreadSafety.cpp95 class FactManager;
141 virtual void handleLock(FactSet &FSet, FactManager &FactMan,
144 virtual void handleUnlock(FactSet &FSet, FactManager &FactMan,
159 class FactManager { class
198 bool isEmpty(FactManager &FactMan) const { in isEmpty()
214 bool removeLock(FactManager& FM, const CapabilityExpr &CapE) { in removeLock()
246 const FactEntry *findLockUniv(FactManager &FM, in findLockUniv()
254 const FactEntry *findPartialMatch(FactManager &FM, in findPartialMatch()
879 void handleUnlock(FactSet &FSet, FactManager &FactMan, in handleUnlock()
950 void handleUnlock(FactSet &FSet, FactManager &FactMan, in handleUnlock()
[all …]