Home
last modified time | relevance | path

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

/openbsd-src/gnu/llvm/clang/lib/Analysis/
H A DThreadSafety.cpp138 handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan,
141 virtual void handleLock(FactSet &FSet, FactManager &FactMan,
144 virtual void handleUnlock(FactSet &FSet, FactManager &FactMan,
198 bool isEmpty(FactManager &FactMan) const { in isEmpty()
200 if (!FactMan[FID].negative()) in isEmpty()
864 handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan, in handleRemovalFromIntersection() argument
873 void handleLock(FactSet &FSet, FactManager &FactMan, const FactEntry &entry, in handleLock() argument
879 void handleUnlock(FactSet &FSet, FactManager &FactMan, in handleUnlock() argument
883 FSet.removeLock(FactMan, Cp); in handleUnlock()
885 FSet.addLock(FactMan, std::make_unique<LockableFactEntry>( in handleUnlock()
[all …]