clang 20.0.0git
|
Simple arithmetic unary operations, e.g. More...
#include "clang/Analysis/Analyses/ThreadSafetyTIL.h"
Public Member Functions | |
UnaryOp (TIL_UnaryOpcode Op, SExpr *E) | |
UnaryOp (const UnaryOp &U, SExpr *E) | |
TIL_UnaryOpcode | unaryOpcode () const |
SExpr * | expr () |
const SExpr * | expr () const |
template<class V > | |
V::R_SExpr | traverse (V &Vs, typename V::R_Ctx Ctx) |
template<class C > | |
C::CType | compare (const UnaryOp *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 |
Simple arithmetic unary operations, e.g.
negate and not. These operations have no side-effects.
Definition at line 1175 of file ThreadSafetyTIL.h.
|
inline |
Definition at line 1177 of file ThreadSafetyTIL.h.
References clang::threadSafety::til::SExpr::Flags.
Definition at line 1181 of file ThreadSafetyTIL.h.
References clang::threadSafety::til::SExpr::Flags.
Definition at line 1183 of file ThreadSafetyTIL.h.
References E.
|
inline |
Definition at line 1199 of file ThreadSafetyTIL.h.
References E, expr(), and unaryOpcode().
|
inline |
Definition at line 1189 of file ThreadSafetyTIL.h.
Referenced by compare().
|
inline |
Definition at line 1190 of file ThreadSafetyTIL.h.
|
inline |
Definition at line 1193 of file ThreadSafetyTIL.h.
References clang::ast_matchers::Ne.
|
inline |
Definition at line 1185 of file ThreadSafetyTIL.h.
References clang::threadSafety::til::SExpr::Flags.
Referenced by compare().