Store a value to memory.
More...
#include "clang/Analysis/Analyses/ThreadSafetyTIL.h"
Store a value to memory.
The destination is a pointer to a field, the source is the value to store.
Definition at line 1058 of file ThreadSafetyTIL.h.
◆ Store() [1/2]
clang::threadSafety::til::Store::Store |
( |
SExpr * |
P, |
|
|
SExpr * |
V |
|
) |
| |
|
inline |
◆ Store() [2/2]
clang::threadSafety::til::Store::Store |
( |
const Store & |
S, |
|
|
SExpr * |
P, |
|
|
SExpr * |
V |
|
) |
| |
|
inline |
◆ classof()
static bool clang::threadSafety::til::Store::classof |
( |
const SExpr * |
E | ) |
|
|
inlinestatic |
◆ compare()
template<class C >
C::CType clang::threadSafety::til::Store::compare |
( |
const Store * |
E, |
|
|
C & |
Cmp |
|
) |
| const |
|
inline |
◆ destination() [1/2]
SExpr* clang::threadSafety::til::Store::destination |
( |
| ) |
|
|
inline |
◆ destination() [2/2]
const SExpr* clang::threadSafety::til::Store::destination |
( |
| ) |
const |
|
inline |
◆ source() [1/2]
SExpr* clang::threadSafety::til::Store::source |
( |
| ) |
|
|
inline |
◆ source() [2/2]
const SExpr* clang::threadSafety::til::Store::source |
( |
| ) |
const |
|
inline |
◆ traverse()
template<class V >
V::R_SExpr clang::threadSafety::til::Store::traverse |
( |
V & |
Vs, |
|
|
typename V::R_Ctx |
Ctx |
|
) |
| |
|
inline |
The documentation for this class was generated from the following file: