Searched refs:FactSet (Results 1 – 1 of 1) sorted by relevance
| /external/clang/lib/Analysis/ |
| D | ThreadSafety.cpp | 809 class FactSet { class
898 FactSet EntrySet; // Lockset held at entry to block
899 FactSet ExitSet; // Lockset held at exit from block
907 const FactSet &getSet(CFGBlockSide Side) const { in getSet()
1419 void addLock(FactSet &FSet, const SExpr &Mutex, const LockData &LDat,
1421 void removeLock(FactSet &FSet, const SExpr &Mutex, SourceLocation UnlockLoc,
1437 void getEdgeLockset(FactSet &Result, const FactSet &ExitSet,
1441 void intersectAndWarn(FactSet &FSet1, const FactSet &FSet2,
1446 void intersectAndWarn(FactSet &FSet1, const FactSet &FSet2, in intersectAndWarn()
1536 void ThreadSafetyAnalyzer::addLock(FactSet &FSet, const SExpr &Mutex, in addLock()
[all …]
|