Lines Matching defs:FSet
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()
1147 const FactSet& FSet, in checkBeforeAfter()
1259 void ThreadSafetyAnalyzer::addLock(FactSet &FSet, in addLock()
1297 void ThreadSafetyAnalyzer::removeLock(FactSet &FSet, const CapabilityExpr &Cp, in removeLock()
1545 FactSet FSet; member in __anonbe9a6d030d11::BuildLockset
1592 const FactSet &FSet, const NamedDecl *D, const Expr *Exp, AccessKind AK, in warnIfMutexNotHeld()
1650 void ThreadSafetyAnalyzer::warnIfMutexHeld(const FactSet &FSet, in warnIfMutexHeld()
1675 void ThreadSafetyAnalyzer::checkAccess(const FactSet &FSet, const Expr *Exp, in checkAccess()
1742 void ThreadSafetyAnalyzer::checkPtAccess(const FactSet &FSet, const Expr *Exp, in checkPtAccess()