Lines Matching refs:Analyzer
297 ThreadSafetyAnalyzer& Analyzer);
300 ThreadSafetyAnalyzer &Analyzer);
304 ThreadSafetyAnalyzer& Analyzer,
1079 ThreadSafetyAnalyzer& Analyzer) { in insertAttrExprs() argument
1099 Analyzer.SxBuilder.translateAttrExpr(Arg, nullptr); in insertAttrExprs()
1104 insertAttrExprs(Cpvd, Analyzer); in insertAttrExprs()
1115 Analyzer.SxBuilder.translateAttrExpr(Arg, nullptr); in insertAttrExprs()
1118 BeforeInfo *ArgInfo = getBeforeInfoForDecl(ArgVd, Analyzer); in insertAttrExprs()
1134 ThreadSafetyAnalyzer &Analyzer) { in getBeforeInfoForDecl() argument
1138 Info = insertAttrExprs(Vd, Analyzer); in getBeforeInfoForDecl()
1148 ThreadSafetyAnalyzer& Analyzer, in checkBeforeAfter() argument
1158 BeforeSet::BeforeInfo *Info = getBeforeInfoForDecl(Vd, Analyzer); in checkBeforeAfter()
1173 if (FSet.containsMutexDecl(Analyzer.FactMan, Vdb)) { in checkBeforeAfter()
1176 Analyzer.Handler.handleLockAcquiredBefore(CapKind, L1, L2, Loc); in checkBeforeAfter()
1183 Analyzer.Handler.handleBeforeAfterCycle(L1, Vd->getLocation()); in checkBeforeAfter()
1544 ThreadSafetyAnalyzer *Analyzer; member in __anoneb5110e70d11::BuildLockset
1555 Analyzer->checkAccess(FSet, Exp, AK, POK); in checkAccess()
1559 Analyzer->checkPtAccess(FSet, Exp, AK, POK); in checkPtAccess()
1573 : ConstStmtVisitor<BuildLockset>(), Analyzer(Anlzr), FSet(Info.EntrySet), in BuildLockset()
1809 Analyzer->SxBuilder.createThisPlaceholder(Exp); in handleCall()
1811 Analyzer->ConstructedObjects.insert({Exp, Placeholder.first}); in handleCall()
1829 Analyzer->getMutexIDs(A->isShared() ? SharedLocksToAdd in handleCall()
1842 Analyzer->getMutexIDs(AssertLocks, A, Exp, D, Self); in handleCall()
1844 Analyzer->addLock( in handleCall()
1853 Analyzer->getMutexIDs(AssertLocks, A, Exp, D, Self); in handleCall()
1855 Analyzer->addLock( in handleCall()
1864 Analyzer->getMutexIDs(AssertLocks, A, Exp, D, Self); in handleCall()
1866 Analyzer->addLock(FSet, std::make_unique<LockableFactEntry>( in handleCall()
1878 Analyzer->getMutexIDs(GenericLocksToRemove, A, Exp, D, Self); in handleCall()
1880 Analyzer->getMutexIDs(SharedLocksToRemove, A, Exp, D, Self); in handleCall()
1882 Analyzer->getMutexIDs(ExclusiveLocksToRemove, A, Exp, D, Self); in handleCall()
1889 Analyzer->warnIfMutexNotHeld(FSet, D, Exp, in handleCall()
1894 Analyzer->getMutexIDs(ScopedReqsAndExcludes, A, Exp, D, Self); in handleCall()
1902 Analyzer->warnIfMutexHeld(FSet, D, Exp, Arg, Self, Loc); in handleCall()
1905 Analyzer->getMutexIDs(ScopedReqsAndExcludes, A, Exp, D, Self); in handleCall()
1920 Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Exclusive); in handleCall()
1922 Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Shared); in handleCall()
1924 Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Generic); in handleCall()
1930 Analyzer->addLock(FSet, std::make_unique<LockableFactEntry>(M, LK_Exclusive, in handleCall()
1933 Analyzer->addLock( in handleCall()
1949 Analyzer->addLock(FSet, std::move(ScopedEntry)); in handleCall()
1977 LVarCtx = Analyzer->LocalVarMap.getNextContext(CtxIndex, BO, LVarCtx); in VisitBinaryOperator()
2117 LVarCtx = Analyzer->LocalVarMap.getNextContext(CtxIndex, S, LVarCtx); in VisitDeclStmt()
2131 if (auto Object = Analyzer->ConstructedObjects.find(E); in VisitDeclStmt()
2132 Object != Analyzer->ConstructedObjects.end()) { in VisitDeclStmt()
2134 Analyzer->ConstructedObjects.erase(Object); in VisitDeclStmt()
2143 if (auto Object = Analyzer->ConstructedObjects.find( in VisitMaterializeTemporaryExpr()
2145 Object != Analyzer->ConstructedObjects.end()) { in VisitMaterializeTemporaryExpr()
2147 Analyzer->ConstructedObjects.erase(Object); in VisitMaterializeTemporaryExpr()
2153 if (Analyzer->CurrentFunction == nullptr) in VisitReturnStmt()
2162 Analyzer->CurrentFunction->getReturnType().getCanonicalType(); in VisitReturnStmt()
2164 Analyzer->checkAccess( in VisitReturnStmt()
2547 ThreadSafetyAnalyzer Analyzer(Handler, *BSet); in runThreadSafetyAnalysis() local
2548 Analyzer.runAnalysis(AC); in runThreadSafetyAnalysis()