An if-then-else expression.
More...
#include "clang/Analysis/Analyses/ThreadSafetyTIL.h"
|
| IfThenElse (SExpr *C, SExpr *T, SExpr *E) |
|
| IfThenElse (const IfThenElse &I, SExpr *C, SExpr *T, SExpr *E) |
|
SExpr * | condition () |
|
const SExpr * | condition () const |
|
SExpr * | thenExpr () |
|
const SExpr * | thenExpr () const |
|
SExpr * | elseExpr () |
|
const SExpr * | elseExpr () const |
|
template<class V > |
V::R_SExpr | traverse (V &Vs, typename V::R_Ctx Ctx) |
|
template<class C > |
C::CType | compare (const IfThenElse *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...
|
|
An if-then-else expression.
This is a pseduo-term; it will be lowered to a branch in a CFG.
Definition at line 1811 of file ThreadSafetyTIL.h.
◆ IfThenElse() [1/2]
clang::threadSafety::til::IfThenElse::IfThenElse |
( |
SExpr * |
C, |
|
|
SExpr * |
T, |
|
|
SExpr * |
E |
|
) |
| |
|
inline |
◆ IfThenElse() [2/2]
◆ classof()
static bool clang::threadSafety::til::IfThenElse::classof |
( |
const SExpr * |
E | ) |
|
|
inlinestatic |
◆ compare()
template<class C >
C::CType clang::threadSafety::til::IfThenElse::compare |
( |
const IfThenElse * |
E, |
|
|
C & |
Cmp |
|
) |
| const |
|
inline |
◆ condition() [1/2]
SExpr* clang::threadSafety::til::IfThenElse::condition |
( |
| ) |
|
|
inline |
◆ condition() [2/2]
const SExpr* clang::threadSafety::til::IfThenElse::condition |
( |
| ) |
const |
|
inline |
◆ elseExpr() [1/2]
SExpr* clang::threadSafety::til::IfThenElse::elseExpr |
( |
| ) |
|
|
inline |
◆ elseExpr() [2/2]
const SExpr* clang::threadSafety::til::IfThenElse::elseExpr |
( |
| ) |
const |
|
inline |
◆ thenExpr() [1/2]
SExpr* clang::threadSafety::til::IfThenElse::thenExpr |
( |
| ) |
|
|
inline |
◆ thenExpr() [2/2]
const SExpr* clang::threadSafety::til::IfThenElse::thenExpr |
( |
| ) |
const |
|
inline |
◆ traverse()
template<class V >
V::R_SExpr clang::threadSafety::til::IfThenElse::traverse |
( |
V & |
Vs, |
|
|
typename V::R_Ctx |
Ctx |
|
) |
| |
|
inline |
The documentation for this class was generated from the following file: