Lines Matching defs:ThreadSafetyAnalyzer

275 class ThreadSafetyAnalyzer;
302 ThreadSafetyAnalyzer& Analyzer);
305 ThreadSafetyAnalyzer &Analyzer);
309 ThreadSafetyAnalyzer& Analyzer,
1026 class ThreadSafetyAnalyzer {
1045 ThreadSafetyAnalyzer(ThreadSafetyHandler &H, BeforeSet* Bset)
1103 ThreadSafetyAnalyzer& Analyzer) {
1158 ThreadSafetyAnalyzer &Analyzer) {
1172 ThreadSafetyAnalyzer& Analyzer,
1253 bool ThreadSafetyAnalyzer::inCurrentScope(const CapabilityExpr &CapE) {
1282 void ThreadSafetyAnalyzer::addLock(FactSet &FSet,
1320 void ThreadSafetyAnalyzer::removeLock(FactSet &FSet, const CapabilityExpr &Cp,
1349 void ThreadSafetyAnalyzer::getMutexIDs(CapExprSet &Mtxs, AttrType *Attr,
1381 void ThreadSafetyAnalyzer::getMutexIDs(CapExprSet &Mtxs, AttrType *Attr,
1424 const CallExpr* ThreadSafetyAnalyzer::getTrylockCallExpr(const Stmt *Cond,
1494 void ThreadSafetyAnalyzer::getEdgeLockset(FactSet& Result,
1565 friend class ThreadSafetyAnalyzer;
1567 ThreadSafetyAnalyzer *Analyzer;
1594 BuildLockset(ThreadSafetyAnalyzer *Anlzr, CFGBlockInfo &Info,
1614 void ThreadSafetyAnalyzer::warnIfMutexNotHeld(
1673 void ThreadSafetyAnalyzer::warnIfMutexHeld(const FactSet &FSet,
1698 void ThreadSafetyAnalyzer::checkAccess(const FactSet &FSet, const Expr *Exp,
1765 void ThreadSafetyAnalyzer::checkPtAccess(const FactSet &FSet, const Expr *Exp,
2295 bool ThreadSafetyAnalyzer::join(const FactEntry &A, const FactEntry &B,
2330 void ThreadSafetyAnalyzer::intersectAndWarn(FactSet &EntrySet,
2388 void ThreadSafetyAnalyzer::runAnalysis(AnalysisDeclContext &AC) {
2705 ThreadSafetyAnalyzer Analyzer(Handler, *BSet);