Lines Matching refs:MutexExp
470 void buildSExprFromExpr(const Expr *MutexExp, const Expr *DeclExp, in buildSExprFromExpr() argument
474 if (MutexExp) { in buildSExprFromExpr()
475 if (const StringLiteral* SLit = dyn_cast<StringLiteral>(MutexExp)) { in buildSExprFromExpr()
489 buildSExpr(MutexExp, 0); in buildSExprFromExpr()
526 if (MutexExp == 0) in buildSExprFromExpr()
529 buildSExpr(MutexExp, &CallCtx); in buildSExprFromExpr()
534 if (MutexExp == 0) in buildSExprFromExpr()
537 buildSExpr(MutexExp, &CallCtx); in buildSExprFromExpr()
553 SExpr(const Expr* MutexExp, const Expr *DeclExp, const NamedDecl* D, in SExpr() argument
555 buildSExprFromExpr(MutexExp, DeclExp, D, SelfDecl); in SExpr()
577 const Expr *MutexExp, in warnInvalidLock() argument
1747 Expr *MutexExp, ProtectedOperationKind POK);
1748 void warnIfMutexHeld(const NamedDecl *D, const Expr *Exp, Expr *MutexExp);
1790 AccessKind AK, Expr *MutexExp, in warnIfMutexNotHeld() argument
1794 SExpr Mutex(MutexExp, Exp, D); in warnIfMutexNotHeld()
1796 SExpr::warnInvalidLock(Analyzer->Handler, MutexExp, Exp, D); in warnIfMutexNotHeld()
1829 Expr *MutexExp) { in warnIfMutexHeld() argument
1830 SExpr Mutex(MutexExp, Exp, D); in warnIfMutexHeld()
1832 SExpr::warnInvalidLock(Analyzer->Handler, MutexExp, Exp, D); in warnIfMutexHeld()