Lines Matching defs:AK
1086 const Expr *Exp, AccessKind AK, Expr *MutexExp,
1093 void checkAccess(const FactSet &FSet, const Expr *Exp, AccessKind AK,
1095 void checkPtAccess(const FactSet &FSet, const Expr *Exp, AccessKind AK,
1576 void checkAccess(const Expr *Exp, AccessKind AK,
1578 Analyzer->checkAccess(FSet, Exp, AK, POK);
1580 void checkPtAccess(const Expr *Exp, AccessKind AK,
1582 Analyzer->checkPtAccess(FSet, Exp, AK, POK);
1615 const FactSet &FSet, const NamedDecl *D, const Expr *Exp, AccessKind AK,
1618 LockKind LK = getLockKindFromAccessKind(AK);
1699 AccessKind AK,
1724 checkPtAccess(FSet, UO->getSubExpr(), AK, POK);
1731 return checkAccess(FSet, BO->getLHS(), AK, POK);
1733 return checkPtAccess(FSet, BO->getLHS(), AK, POK);
1740 checkPtAccess(FSet, AE->getLHS(), AK, POK);
1746 checkPtAccess(FSet, ME->getBase(), AK, POK);
1748 checkAccess(FSet, ME->getBase(), AK, POK);
1756 Handler.handleNoMutexHeld(D, POK, AK, Loc);
1760 warnIfMutexNotHeld(FSet, D, Exp, AK, I->getArg(), POK, nullptr, Loc);
1766 AccessKind AK,
1777 checkAccess(FSet, CE->getSubExpr(), AK, POK);
1797 Handler.handleNoMutexHeld(D, PtPOK, AK, Exp->getExprLoc());
1800 warnIfMutexNotHeld(FSet, D, Exp, AK, I->getArg(), PtPOK, nullptr,
2713 LockKind threadSafety::getLockKindFromAccessKind(AccessKind AK) {
2714 switch (AK) {