Lines Matching defs:Analyzer
302 ThreadSafetyAnalyzer& Analyzer);
305 ThreadSafetyAnalyzer &Analyzer);
309 ThreadSafetyAnalyzer& Analyzer,
1103 ThreadSafetyAnalyzer& Analyzer) {
1123 Analyzer.SxBuilder.translateAttrExpr(Arg, nullptr);
1128 insertAttrExprs(Cpvd, Analyzer);
1139 Analyzer.SxBuilder.translateAttrExpr(Arg, nullptr);
1142 BeforeInfo *ArgInfo = getBeforeInfoForDecl(ArgVd, Analyzer);
1158 ThreadSafetyAnalyzer &Analyzer) {
1162 Info = insertAttrExprs(Vd, Analyzer);
1172 ThreadSafetyAnalyzer& Analyzer,
1182 BeforeSet::BeforeInfo *Info = getBeforeInfoForDecl(Vd, Analyzer);
1197 if (FSet.containsMutexDecl(Analyzer.FactMan, Vdb)) {
1200 Analyzer.Handler.handleLockAcquiredBefore(CapKind, L1, L2, Loc);
1206 Analyzer.Handler.handleBeforeAfterCycle(L1, Vd->getLocation());
1567 ThreadSafetyAnalyzer *Analyzer;
1578 Analyzer->checkAccess(FSet, Exp, AK, POK);
1582 Analyzer->checkPtAccess(FSet, Exp, AK, POK);
1596 : ConstStmtVisitor<BuildLockset>(), Analyzer(Anlzr), FSet(Info.EntrySet),
1832 Analyzer->SxBuilder.createThisPlaceholder(Exp);
1834 Analyzer->ConstructedObjects.insert({Exp, Placeholder.first});
1852 Analyzer->getMutexIDs(A->isShared() ? SharedLocksToAdd
1865 Analyzer->getMutexIDs(AssertLocks, A, Exp, D, Self);
1867 Analyzer->addLock(
1876 Analyzer->getMutexIDs(AssertLocks, A, Exp, D, Self);
1878 Analyzer->addLock(
1887 Analyzer->getMutexIDs(AssertLocks, A, Exp, D, Self);
1889 Analyzer->addLock(FSet, std::make_unique<LockableFactEntry>(
1901 Analyzer->getMutexIDs(GenericLocksToRemove, A, Exp, D, Self);
1903 Analyzer->getMutexIDs(SharedLocksToRemove, A, Exp, D, Self);
1905 Analyzer->getMutexIDs(ExclusiveLocksToRemove, A, Exp, D, Self);
1912 Analyzer->warnIfMutexNotHeld(FSet, D, Exp,
1917 Analyzer->getMutexIDs(ScopedReqsAndExcludes, A, Exp, D, Self);
1925 Analyzer->warnIfMutexHeld(FSet, D, Exp, Arg, Self, Loc);
1928 Analyzer->getMutexIDs(ScopedReqsAndExcludes, A, Exp, D, Self);
1956 Analyzer->getMutexIDs(A->isShared() ? SharedLocksToAdd
1959 Analyzer->getMutexIDs(DeclaredLocks, A, Exp, D, Self);
1966 Analyzer->getMutexIDs(GenericLocksToRemove, A, Exp, D, Self);
1968 Analyzer->getMutexIDs(SharedLocksToRemove, A, Exp, D, Self);
1970 Analyzer->getMutexIDs(ExclusiveLocksToRemove, A, Exp, D, Self);
1971 Analyzer->getMutexIDs(DeclaredLocks, A, Exp, D, Self);
1978 Analyzer->warnIfMutexNotHeld(FSet, D, Exp,
1981 Analyzer->getMutexIDs(DeclaredLocks, A, Exp, D, Self);
1988 Analyzer->warnIfMutexHeld(FSet, D, Exp, Arg, Self, Loc);
1989 Analyzer->getMutexIDs(DeclaredLocks, A, Exp, D, Self);
1999 CapabilityExpr Cp(Analyzer->SxBuilder.translate(Arg, nullptr),
2003 if (auto Object = Analyzer->ConstructedObjects.find(CBTE->getSubExpr());
2004 Object != Analyzer->ConstructedObjects.end())
2007 const FactEntry *Fact = FSet.findLock(Analyzer->FactMan, Cp);
2009 Analyzer->Handler.handleMutexNotHeld(Cp.getKind(), D, POK_FunctionCall,
2018 Analyzer->Handler.handleExpectFewerUnderlyingMutexes(
2022 Analyzer->Handler.handleExpectMoreUnderlyingMutexes(
2026 Analyzer->Handler.handleUnmatchedUnderlyingMutexes(
2038 Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Exclusive);
2040 Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Shared);
2042 Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Generic);
2048 Analyzer->addLock(FSet, std::make_unique<LockableFactEntry>(M, LK_Exclusive,
2051 Analyzer->addLock(
2068 Analyzer->addLock(FSet, std::move(ScopedEntry));
2096 LVarCtx = Analyzer->LocalVarMap.getNextContext(CtxIndex, BO, LVarCtx);
2236 LVarCtx = Analyzer->LocalVarMap.getNextContext(CtxIndex, S, LVarCtx);
2250 if (auto Object = Analyzer->ConstructedObjects.find(E);
2251 Object != Analyzer->ConstructedObjects.end()) {
2253 Analyzer->ConstructedObjects.erase(Object);
2262 if (auto Object = Analyzer->ConstructedObjects.find(
2264 Object != Analyzer->ConstructedObjects.end()) {
2266 Analyzer->ConstructedObjects.erase(Object);
2272 if (Analyzer->CurrentFunction == nullptr)
2281 Analyzer->CurrentFunction->getReturnType().getCanonicalType();
2283 Analyzer->checkAccess(
2705 ThreadSafetyAnalyzer Analyzer(Handler, *BSet);
2706 Analyzer.runAnalysis(AC);