Searched defs:FactMan (Results 1 – 1 of 1) sorted by relevance
| /freebsd-src/contrib/llvm-project/clang/lib/Analysis/ |
| H A D | ThreadSafety.cpp | 863 handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan, in handleRemovalFromIntersection()
872 void handleLock(FactSet &FSet, FactManager &FactMan, const FactEntry &entry, in handleLock()
878 void handleUnlock(FactSet &FSet, FactManager &FactMan, in handleUnlock()
922 handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan, in handleRemovalFromIntersection()
938 void handleLock(FactSet &FSet, FactManager &FactMan, const FactEntry &entry, in handleLock()
949 void handleUnlock(FactSet &FSet, FactManager &FactMan, in handleUnlock()
972 void lock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp, in lock()
986 void unlock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp, in unlock()
1015 FactManager FactMan; member in __anonbe9a6d030a11::ThreadSafetyAnalyzer
|