96 class FactSet;
138   handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan,
141   virtual void handleLock(FactSet &FSet, FactManager &FactMan,
144   virtual void handleUnlock(FactSet &FSet, FactManager &FactMan,
179 class FactSet {  class
303                         const FactSet& FSet,
329   FactSet EntrySet;
332   FactSet ExitSet;
352   const FactSet &getSet(CFGBlockSide Side) const {  in getSet()
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()
1026   void addLock(FactSet &FSet, std::unique_ptr<FactEntry> Entry,
1028   void removeLock(FactSet &FSet, const CapabilityExpr &CapE,
1044   void getEdgeLockset(FactSet &Result, const FactSet &ExitSet,
1050   void intersectAndWarn(FactSet &EntrySet, const FactSet &ExitSet,
1054   void intersectAndWarn(FactSet &EntrySet, const FactSet &ExitSet,  in intersectAndWarn()
1061   void warnIfMutexNotHeld(const FactSet &FSet, const NamedDecl *D,
1065   void warnIfMutexHeld(const FactSet &FSet, const NamedDecl *D, const Expr *Exp,
1069   void checkAccess(const FactSet &FSet, const Expr *Exp, AccessKind AK,
1071   void checkPtAccess(const FactSet &FSet, const Expr *Exp, AccessKind AK,
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()
1471 void ThreadSafetyAnalyzer::getEdgeLockset(FactSet& Result,  in getEdgeLockset()
1472                                           const FactSet &ExitSet,  in getEdgeLockset()
1545   FactSet FSet;
1547   const FactSet &FunctionExitFSet;
1572                const FactSet &FunctionExitFSet)  in 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()
2211 void ThreadSafetyAnalyzer::intersectAndWarn(FactSet &EntrySet,  in intersectAndWarn()
2212                                             const FactSet &ExitSet,  in intersectAndWarn()
2216   FactSet EntrySetOrig = EntrySet;  in intersectAndWarn()
2222     FactSet::iterator EntryIt = EntrySet.findLockIter(FactMan, ExitFact);  in intersectAndWarn()
2326     FactSet &InitialLockset = Initial.EntrySet;  in runAnalysis()
2378   FactSet ExpectedFunctionExitSet = Initial.EntrySet;  in runAnalysis()
2432       FactSet PrevLockset;  in runAnalysis()