An if-then-else expression. More...
#include "clang/Analysis/Analyses/ThreadSafetyTIL.h"
Public Member Functions | |
| 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 |
 Public Member Functions inherited from clang::threadSafety::til::SExpr | |
| 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. | |
| void | operator delete (void *)=delete |
| SExpr objects cannot be deleted. | |
| unsigned | id () const |
| Returns the instruction ID for this expression. | |
| BasicBlock * | block () const |
| Returns the block, if this is an instruction in a basic block, otherwise returns null. | |
| void | setID (BasicBlock *B, unsigned id) |
| Set the basic block and instruction ID for this expression. | |
Static Public Member Functions | |
| static bool | classof (const SExpr *E) |
Additional Inherited Members | |
| Protected Member Functions inherited from clang::threadSafety::til::SExpr | |
| SExpr (TIL_Opcode Op) | |
| SExpr (const SExpr &E) | |
| SExpr & | operator= (const SExpr &)=delete |
| Protected Attributes inherited from clang::threadSafety::til::SExpr | |
| const TIL_Opcode | Opcode |
| unsigned char | Reserved = 0 |
| unsigned short | Flags = 0 |
| unsigned | SExprID = 0 |
| BasicBlock * | Block = nullptr |
Detailed Description
An if-then-else expression.
This is a pseduo-term; it will be lowered to a branch in a CFG.
Definition at line 1819 of file ThreadSafetyTIL.h.
Constructor & Destructor Documentation
◆ IfThenElse() [1/2]
Definition at line 1821 of file ThreadSafetyTIL.h.
◆ IfThenElse() [2/2]
|
inline |
Definition at line 1823 of file ThreadSafetyTIL.h.
Member Function Documentation
◆ classof()
Definition at line 1826 of file ThreadSafetyTIL.h.
References clang::threadSafety::til::SExpr::opcode().
◆ compare()
|
inline |
Definition at line 1846 of file ThreadSafetyTIL.h.
References condition(), elseExpr(), and thenExpr().
◆ condition() [1/2]
|
inline |
Definition at line 1828 of file ThreadSafetyTIL.h.
Referenced by compare(), and clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printIfThenElse().
◆ condition() [2/2]
|
inline |
Definition at line 1829 of file ThreadSafetyTIL.h.
◆ elseExpr() [1/2]
|
inline |
Definition at line 1834 of file ThreadSafetyTIL.h.
Referenced by compare(), and clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printIfThenElse().
◆ elseExpr() [2/2]
|
inline |
Definition at line 1835 of file ThreadSafetyTIL.h.
◆ thenExpr() [1/2]
|
inline |
Definition at line 1831 of file ThreadSafetyTIL.h.
Referenced by compare(), and clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printIfThenElse().
◆ thenExpr() [2/2]
|
inline |
Definition at line 1832 of file ThreadSafetyTIL.h.
◆ traverse()
|
inline |
Definition at line 1838 of file ThreadSafetyTIL.h.
References clang::ast_matchers::Ne.
The documentation for this class was generated from the following file:
- include/clang/Analysis/Analyses/ThreadSafetyTIL.h
