reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

Declarations

tools/clang/lib/Analysis/ThreadSafety.cpp

   99 class FactSet;

References

tools/clang/lib/Analysis/ThreadSafety.cpp

  136   handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan,
  139   virtual void handleLock(FactSet &FSet, FactManager &FactMan,
  142   virtual void handleUnlock(FactSet &FSet, FactManager &FactMan,
  301                         const FactSet& FSet,
  327   FactSet EntrySet;
  330   FactSet ExitSet;
  350   const FactSet &getSet(CFGBlockSide Side) const {
  864   handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan,
  873   void handleLock(FactSet &FSet, FactManager &FactMan, const FactEntry &entry,
  879   void handleUnlock(FactSet &FSet, FactManager &FactMan,
  925   handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan,
  942   void handleLock(FactSet &FSet, FactManager &FactMan, const FactEntry &entry,
  956   void handleUnlock(FactSet &FSet, FactManager &FactMan,
  981   void lock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp,
  994   void unlock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp,
 1030   void addLock(FactSet &FSet, std::unique_ptr<FactEntry> Entry,
 1032   void removeLock(FactSet &FSet, const CapabilityExpr &CapE,
 1049   void getEdgeLockset(FactSet &Result, const FactSet &ExitSet,
 1049   void getEdgeLockset(FactSet &Result, const FactSet &ExitSet,
 1053   void intersectAndWarn(FactSet &FSet1, const FactSet &FSet2,
 1053   void intersectAndWarn(FactSet &FSet1, const FactSet &FSet2,
 1058   void intersectAndWarn(FactSet &FSet1, const FactSet &FSet2,
 1058   void intersectAndWarn(FactSet &FSet1, const FactSet &FSet2,
 1139                                  const FactSet& FSet,
 1284 void ThreadSafetyAnalyzer::addLock(FactSet &FSet,
 1322 void ThreadSafetyAnalyzer::removeLock(FactSet &FSet, const CapabilityExpr &Cp,
 1494 void ThreadSafetyAnalyzer::getEdgeLockset(FactSet& Result,
 1495                                           const FactSet &ExitSet,
 1574   FactSet FSet;
 2185 void ThreadSafetyAnalyzer::intersectAndWarn(FactSet &FSet1,
 2186                                             const FactSet &FSet2,
 2191   FactSet FSet1Orig = FSet1;
 2197     FactSet::iterator Iter1  = FSet1.findLockIter(FactMan, *LDat2);
 2309     FactSet &InitialLockset = BlockInfo[FirstBlock->getBlockID()].EntrySet;
 2412       FactSet PrevLockset;
 2447         FactSet PrevLockset;
 2519   FactSet ExpectedExitSet = Initial->EntrySet;