clang  9.0.0svn
Classes | Public Member Functions | Friends | List of all members
clang::threadSafety::SExprBuilder Class Reference

#include "clang/Analysis/Analyses/ThreadSafetyCommon.h"


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::SExprtranslate (const Stmt *S, CallingContext *Ctx)
til::SCFGbuildCFG (CFGWalker &Walker)
til::SExprlookupStmt (const Stmt *S)
til::BasicBlocklookupBlock (const CFGBlock *B)
const til::SCFGgetCFG () const
til::SCFGgetCFG ()


class CFGWalker

Detailed Description

Definition at line 329 of file ThreadSafetyCommon.h.

Constructor & Destructor Documentation

◆ SExprBuilder()

clang::threadSafety::SExprBuilder::SExprBuilder ( til::MemRegionRef  A)

Definition at line 363 of file ThreadSafetyCommon.h.

Member Function Documentation

◆ buildCFG()

til::SCFG * SExprBuilder::buildCFG ( CFGWalker Walker)

Definition at line 78 of file ThreadSafetyCommon.cpp.

References clang::threadSafety::CFGWalker::walk().

◆ getCFG() [1/2]

const til::SCFG* clang::threadSafety::SExprBuilder::getCFG ( ) const

Definition at line 388 of file ThreadSafetyCommon.h.

◆ getCFG() [2/2]

til::SCFG* clang::threadSafety::SExprBuilder::getCFG ( )

Definition at line 389 of file ThreadSafetyCommon.h.

◆ lookupBlock()

til::BasicBlock* clang::threadSafety::SExprBuilder::lookupBlock ( const CFGBlock B)

Definition at line 384 of file ThreadSafetyCommon.h.

References clang::CFGBlock::getBlockID().

◆ lookupStmt()

til::SExpr * SExprBuilder::lookupStmt ( const Stmt S)

Definition at line 71 of file ThreadSafetyCommon.cpp.

◆ translate()

til::SExpr * SExprBuilder::translate ( const Stmt S,
CallingContext Ctx 

Definition at line 198 of file ThreadSafetyCommon.cpp.

◆ translateAttrExpr() [1/2]

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.

AttrExpThe expression to translate.
DThe declaration to which the attribute is attached.
DeclExpAn expression involving the Decl to which the attribute is attached. E.g. the call to a function.

Definition at line 95 of file ThreadSafetyCommon.cpp.

References clang::threadSafety::SExprBuilder::CallingContext::FunArgs, clang::Decl::getASTContext(), 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.

◆ translateAttrExpr() [2/2]

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.

Friends And Related Function Documentation

◆ CFGWalker

friend class CFGWalker

Definition at line 393 of file ThreadSafetyCommon.h.

The documentation for this class was generated from the following files: