Searched refs:FactManager (Results 1 – 2 of 2) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/Analysis/ |
| H A D | ThreadSafety.cpp | 90 class FactManager;
136 handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan,
139 virtual void handleLock(FactSet &FSet, FactManager &FactMan,
142 virtual void handleUnlock(FactSet &FSet, FactManager &FactMan,
157 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 std::optional<FactID> replaceLock(FactManager &FM, iterator It, in replaceLock()
242 std::optional<FactID> replaceLock(FactManager &FM, const CapabilityExpr &CapE, in replaceLock()
[all …]
|
| H A D | LifetimeSafety.cpp | 312 class FactManager { class
367 FactGenerator(FactManager &FactMgr, AnalysisDeclContext &AC) in FactGenerator()
493 FactManager &FactMgr;
603 FactManager &AllFacts;
607 explicit Transferer(FactManager &F, LifetimeFactory &Factory) in Transferer()
684 LifetimeDataflow(const CFG &C, FactManager &FS, AnalysisDeclContext &AC) in LifetimeDataflow()
744 FactManager FactMgr; in runLifetimeSafetyAnalysis()
|