clang
17.0.0git
|
A self-applicable function. More...
#include "clang/Analysis/Analyses/ThreadSafetyTIL.h"
Public Member Functions | |
SFunction (Variable *Vd, SExpr *B) | |
SFunction (const SFunction &F, Variable *Vd, SExpr *B) | |
Variable * | variableDecl () |
const Variable * | variableDecl () const |
SExpr * | body () |
const SExpr * | body () const |
template<class V > | |
V::R_SExpr | traverse (V &Vs, typename V::R_Ctx Ctx) |
template<class C > | |
C::CType | compare (const SFunction *E, C &Cmp) const |
![]() | |
SExpr ()=delete | |
TIL_Opcode | opcode () const |
void * | operator new (size_t S, MemRegionRef &R) |
void * | operator new (size_t)=delete |
SExpr objects must be created in an arena. More... | |
void | operator delete (void *)=delete |
SExpr objects cannot be deleted. More... | |
unsigned | id () const |
Returns the instruction ID for this expression. More... | |
BasicBlock * | block () const |
Returns the block, if this is an instruction in a basic block, otherwise returns null. More... | |
void | setID (BasicBlock *B, unsigned id) |
Set the basic block and instruction ID for this expression. More... | |
Static Public Member Functions | |
static bool | classof (const SExpr *E) |
Additional Inherited Members | |
![]() | |
SExpr (TIL_Opcode Op) | |
SExpr (const SExpr &E) | |
![]() | |
const TIL_Opcode | Opcode |
unsigned char | Reserved = 0 |
unsigned short | Flags = 0 |
unsigned | SExprID = 0 |
BasicBlock * | Block = nullptr |
A self-applicable function.
A self-applicable function can be applied to itself. It's useful for implementing objects and late binding.
Definition at line 715 of file ThreadSafetyTIL.h.
Definition at line 717 of file ThreadSafetyTIL.h.
References clang::threadSafety::til::Variable::setKind(), and clang::threadSafety::til::Variable::VK_SFun.
|
inline |
Definition at line 724 of file ThreadSafetyTIL.h.
References clang::threadSafety::til::Variable::setKind(), and clang::threadSafety::til::Variable::VK_SFun.
|
inline |
Definition at line 736 of file ThreadSafetyTIL.h.
Referenced by clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printSFunction().
|
inline |
Definition at line 737 of file ThreadSafetyTIL.h.
Definition at line 731 of file ThreadSafetyTIL.h.
References clang::threadSafety::til::SExpr::opcode().
|
inline |
Definition at line 752 of file ThreadSafetyTIL.h.
|
inline |
Definition at line 740 of file ThreadSafetyTIL.h.
References clang::threadSafety::til::Variable::traverse().
|
inline |
Definition at line 733 of file ThreadSafetyTIL.h.
Referenced by clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printSFunction().
|
inline |
Definition at line 734 of file ThreadSafetyTIL.h.