clang
8.0.0
|
Store a value to memory. More...
#include "clang/Analysis/Analyses/ThreadSafetyTIL.h"
Public Member Functions | |
Store (SExpr *P, SExpr *V) | |
Store (const Store &S, SExpr *P, SExpr *V) | |
SExpr * | destination () |
const SExpr * | destination () const |
SExpr * | source () |
const SExpr * | source () const |
template<class V > | |
V::R_SExpr | traverse (V &Vs, typename V::R_Ctx Ctx) |
template<class C > | |
C::CType | compare (const Store *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 unsigned char | Opcode |
unsigned char | Reserved = 0 |
unsigned short | Flags = 0 |
unsigned | SExprID = 0 |
BasicBlock * | Block = nullptr |
Store a value to memory.
The destination is a pointer to a field, the source is the value to store.
Definition at line 1057 of file ThreadSafetyTIL.h.
Definition at line 1059 of file ThreadSafetyTIL.h.
Definition at line 1060 of file ThreadSafetyTIL.h.
Definition at line 1062 of file ThreadSafetyTIL.h.
References clang::threadSafety::til::SExpr::opcode().
|
inline |
Definition at line 1078 of file ThreadSafetyTIL.h.
|
inline |
Definition at line 1064 of file ThreadSafetyTIL.h.
Referenced by clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printStore().
|
inline |
Definition at line 1065 of file ThreadSafetyTIL.h.
|
inline |
Definition at line 1067 of file ThreadSafetyTIL.h.
Referenced by clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printStore().
|
inline |
Definition at line 1068 of file ThreadSafetyTIL.h.
|
inline |
Definition at line 1071 of file ThreadSafetyTIL.h.