Searched defs:FSet (Results 1 – 2 of 2) sorted by relevance
| /external/llvm-project/clang/lib/Analysis/ |
| D | ThreadSafety.cpp | 864 handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan, in handleRemovalFromIntersection()
873 void handleLock(FactSet &FSet, FactManager &FactMan, const FactEntry &entry, in handleLock()
879 void handleUnlock(FactSet &FSet, FactManager &FactMan, in handleUnlock()
921 handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan, in handleRemovalFromIntersection()
938 void handleLock(FactSet &FSet, FactManager &FactMan, const FactEntry &entry, in handleLock()
952 void handleUnlock(FactSet &FSet, FactManager &FactMan, in handleUnlock()
977 void lock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp, in lock()
990 void unlock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp, in unlock()
1138 const FactSet& FSet, in checkBeforeAfter()
1297 void ThreadSafetyAnalyzer::addLock(FactSet &FSet, in addLock()
[all …]
|
| /external/clang/lib/Analysis/ |
| D | ThreadSafety.cpp | 823 handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan, in handleRemovalFromIntersection()
832 void handleUnlock(FactSet &FSet, FactManager &FactMan, in handleUnlock()
859 handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan, in handleRemovalFromIntersection()
872 void handleUnlock(FactSet &FSet, FactManager &FactMan, in handleUnlock()
1036 const FactSet& FSet, in checkBeforeAfter()
1183 void ThreadSafetyAnalyzer::addLock(FactSet &FSet, in addLock()
1222 void ThreadSafetyAnalyzer::removeLock(FactSet &FSet, const CapabilityExpr &Cp, in removeLock()
1463 FactSet FSet; member in __anon538a297a0b11::BuildLockset
|