Searched defs:FSet (Results 1 – 1 of 1) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/Analysis/ |
| H A D | ThreadSafety.cpp | 881 handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan, in handleRemovalFromIntersection()
890 void handleLock(FactSet &FSet, FactManager &FactMan, const FactEntry &entry, in handleLock()
901 void handleUnlock(FactSet &FSet, FactManager &FactMan, in handleUnlock()
984 handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan, in handleRemovalFromIntersection()
1003 void handleLock(FactSet &FSet, FactManager &FactMan, const FactEntry &entry, in handleLock()
1014 void handleUnlock(FactSet &FSet, FactManager &FactMan, in handleUnlock()
1041 void lock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp, in lock()
1059 void unlock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp, in unlock()
1228 const FactSet& FSet, in checkBeforeAfter()
1320 void ThreadSafetyAnalyzer::addLock(FactSet &FSet, in addLock()
[all …]
|