Searched refs:FactManager (Results 1 – 1 of 1) sorted by relevance
| /openbsd-src/gnu/llvm/clang/lib/Analysis/ |
| H A D | ThreadSafety.cpp | 95 class FactManager;
138 handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan,
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()
208 FactID addLock(FactManager &FM, std::unique_ptr<FactEntry> Entry) { in addLock()
214 bool removeLock(FactManager& FM, const CapabilityExpr &CapE) { in removeLock()
233 iterator findLockIter(FactManager &FM, const CapabilityExpr &CapE) { in findLockIter()
239 const FactEntry *findLock(FactManager &FM, const CapabilityExpr &CapE) const { in findLock()
[all …]
|