Lines Matching defs:FSet
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()
1357 void ThreadSafetyAnalyzer::removeLock(FactSet &FSet, const CapabilityExpr &Cp, in removeLock()
1584 FactSet FSet; member in __anon06d2d5b10c11::BuildLockset
1631 const FactSet &FSet, const NamedDecl *D, const Expr *Exp, AccessKind AK, in warnIfMutexNotHeld()
1689 void ThreadSafetyAnalyzer::warnIfMutexHeld(const FactSet &FSet, in warnIfMutexHeld()
1714 void ThreadSafetyAnalyzer::checkAccess(const FactSet &FSet, const Expr *Exp, in checkAccess()
1781 void ThreadSafetyAnalyzer::checkPtAccess(const FactSet &FSet, const Expr *Exp, in checkPtAccess()