clang
7.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 330 of file ThreadSafetyCommon.h.
|
inline |
Definition at line 364 of file ThreadSafetyCommon.h.
Definition at line 79 of file ThreadSafetyCommon.cpp.
References clang::threadSafety::CFGWalker::walk().
|
inline |
Definition at line 389 of file ThreadSafetyCommon.h.
|
inline |
Definition at line 390 of file ThreadSafetyCommon.h.
|
inline |
Definition at line 385 of file ThreadSafetyCommon.h.
References clang::CFGBlock::getBlockID().
til::SExpr * SExprBuilder::lookupStmt | ( | const Stmt * | S | ) |
Definition at line 72 of file ThreadSafetyCommon.cpp.
til::SExpr * SExprBuilder::translate | ( | const Stmt * | S, |
CallingContext * | Ctx | ||
) |
Definition at line 198 of file ThreadSafetyCommon.cpp.
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 96 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 151 of file ThreadSafetyCommon.cpp.
|
friend |
Definition at line 394 of file ThreadSafetyCommon.h.