Lines Matching refs:MutexExp
465 void buildSExprFromExpr(const Expr *MutexExp, const Expr *DeclExp, in buildSExprFromExpr() argument
469 if (MutexExp) { in buildSExprFromExpr()
470 if (const StringLiteral* SLit = dyn_cast<StringLiteral>(MutexExp)) { in buildSExprFromExpr()
484 buildSExpr(MutexExp, nullptr); in buildSExprFromExpr()
520 if (!MutexExp) in buildSExprFromExpr()
523 buildSExpr(MutexExp, &CallCtx); in buildSExprFromExpr()
528 if (!MutexExp) in buildSExprFromExpr()
531 buildSExpr(MutexExp, &CallCtx); in buildSExprFromExpr()
547 SExpr(const Expr *MutexExp, const Expr *DeclExp, const NamedDecl *D, in SExpr() argument
549 buildSExprFromExpr(MutexExp, DeclExp, D, SelfDecl); in SExpr()
571 const Expr *MutexExp, const Expr *DeclExp, in warnInvalidLock() argument
1813 Expr *MutexExp, ProtectedOperationKind POK,
1815 void warnIfMutexHeld(const NamedDecl *D, const Expr *Exp, Expr *MutexExp,
1843 AccessKind AK, Expr *MutexExp, in warnIfMutexNotHeld() argument
1848 SExpr Mutex(MutexExp, Exp, D); in warnIfMutexNotHeld()
1850 SExpr::warnInvalidLock(Analyzer->Handler, MutexExp, Exp, D, DiagKind); in warnIfMutexNotHeld()
1884 Expr *MutexExp, in warnIfMutexHeld() argument
1886 SExpr Mutex(MutexExp, Exp, D); in warnIfMutexHeld()
1888 SExpr::warnInvalidLock(Analyzer->Handler, MutexExp, Exp, D, DiagKind); in warnIfMutexHeld()