clang
3.9.0
|
#include <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 77 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 70 of file ThreadSafetyCommon.cpp.
Referenced by translate().
til::SExpr * SExprBuilder::translate | ( | const Stmt * | S, |
CallingContext * | Ctx | ||
) |
Definition at line 198 of file ThreadSafetyCommon.cpp.
References E, 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 94 of file ThreadSafetyCommon.cpp.
References clang::threadSafety::SExprBuilder::CallingContext::FunArgs, 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 151 of file ThreadSafetyCommon.cpp.
References clang::threadSafety::til::CAST_objToPtr, E, and translate().
|
friend |
Definition at line 440 of file ThreadSafetyCommon.h.