|
clang
5.0.0
|
#include "clang/Analysis/Analyses/ThreadSafetyCommon.h"
Classes | |
| struct | CallingContext |
| Encapsulates the lexical context of a function call. More... | |
Public Member Functions | |
| SExprBuilder (til::MemRegionRef A) | |
| CapabilityExpr | translateAttrExpr (const Expr *AttrExp, const NamedDecl *D, const Expr *DeclExp, VarDecl *SelfD=nullptr) |
| Translate a clang expression in an attribute to a til::SExpr. More... | |
| CapabilityExpr | translateAttrExpr (const Expr *AttrExp, CallingContext *Ctx) |
| Translate a clang expression in an attribute to a til::SExpr. More... | |
| til::SExpr * | translate (const Stmt *S, CallingContext *Ctx) |
| til::SCFG * | buildCFG (CFGWalker &Walker) |
| til::SExpr * | lookupStmt (const Stmt *S) |
| til::BasicBlock * | lookupBlock (const CFGBlock *B) |
| const til::SCFG * | getCFG () const |
| til::SCFG * | getCFG () |
Friends | |
| class | CFGWalker |
Definition at line 315 of file ThreadSafetyCommon.h.
|
inline |
Definition at line 340 of file ThreadSafetyCommon.h.
References clang::threadSafety::til::Variable::setKind(), and clang::threadSafety::til::Variable::VK_SFun.
Definition at line 71 of file ThreadSafetyCommon.cpp.
References clang::threadSafety::CFGWalker::walk().
|
inline |
Definition at line 367 of file ThreadSafetyCommon.h.
|
inline |
Definition at line 368 of file ThreadSafetyCommon.h.
|
inline |
Definition at line 363 of file ThreadSafetyCommon.h.
References clang::CFGBlock::getBlockID().
| til::SExpr * SExprBuilder::lookupStmt | ( | const Stmt * | S | ) |
Definition at line 64 of file ThreadSafetyCommon.cpp.
Referenced by translate().
| til::SExpr * SExprBuilder::translate | ( | const Stmt * | S, |
| CallingContext * | Ctx | ||
| ) |
Definition at line 192 of file ThreadSafetyCommon.cpp.
References E, clang::Stmt::getStmtClass(), and lookupStmt().
Referenced by translateAttrExpr().
| CapabilityExpr SExprBuilder::translateAttrExpr | ( | const Expr * | AttrExp, |
| const NamedDecl * | D, | ||
| const Expr * | DeclExp, | ||
| VarDecl * | SelfDecl = nullptr |
||
| ) |
Translate a clang expression in an attribute to a til::SExpr.
Constructs the context from D, DeclExp, and SelfDecl.
| AttrExp | The expression to translate. |
| D | The declaration to which the attribute is attached. |
| DeclExp | An expression involving the Decl to which the attribute is attached. E.g. the call to a function. |
Definition at line 88 of file ThreadSafetyCommon.cpp.
References clang::threadSafety::SExprBuilder::CallingContext::FunArgs, clang::Decl::getLocation(), clang::ValueDecl::getType(), isCalleeArrow(), clang::threadSafety::SExprBuilder::CallingContext::NumArgs, clang::threadSafety::SExprBuilder::CallingContext::SelfArg, clang::threadSafety::SExprBuilder::CallingContext::SelfArrow, and clang::VK_LValue.
| CapabilityExpr SExprBuilder::translateAttrExpr | ( | const Expr * | AttrExp, |
| CallingContext * | Ctx | ||
| ) |
Translate a clang expression in an attribute to a til::SExpr.
Definition at line 145 of file ThreadSafetyCommon.cpp.
References clang::threadSafety::til::CAST_objToPtr, E, and translate().
|
friend |
Definition at line 423 of file ThreadSafetyCommon.h.
1.8.6