|
clang 23.0.0git
|
#include "clang/Analysis/Analyses/ThreadSafetyTIL.h"
Public Member Functions | |
| ValueType | valueType () const |
| template<class T> | |
| const LiteralT< T > & | as () const |
| template<class T> | |
| LiteralT< T > & | as () |
| template<class V> | |
| V::R_SExpr | traverse (V &Vs, typename V::R_Ctx Ctx) |
| template<class C> | |
| C::CType | compare (const Literal *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) |
Protected Member Functions | |
| Literal (ValueType VT) | |
| Protected Member Functions inherited from clang::threadSafety::til::SExpr | |
| SExpr (TIL_Opcode Op) | |
| SExpr (const SExpr &E) | |
| SExpr & | operator= (const SExpr &)=delete |
Additional Inherited Members | |
| 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 |
Definition at line 459 of file ThreadSafetyTIL.h.
|
inlineprotected |
Definition at line 461 of file ThreadSafetyTIL.h.
References clang::threadSafety::til::SExpr::SExpr().
Referenced by compare(), clang::threadSafety::til::LiteralT< T >::LiteralT(), and clang::threadSafety::til::LiteralT< T >::LiteralT().
|
inline |
Definition at line 472 of file ThreadSafetyTIL.h.
References clang::threadSafety::til::ValueType::getValueType().
|
inline |
Definition at line 468 of file ThreadSafetyTIL.h.
References clang::threadSafety::til::ValueType::getValueType().
Referenced by compare(), clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printLiteral(), and traverse().
Definition at line 464 of file ThreadSafetyTIL.h.
References clang::threadSafety::til::SExpr::opcode(), and clang::threadSafety::til::SExpr::SExpr().
| C::CType clang::threadSafety::til::Literal::compare | ( | const Literal * | E, |
| C & | Cmp ) const |
Definition at line 525 of file ThreadSafetyTIL.h.
References as(), clang::threadSafety::til::ValueType::Base, clang::threadSafety::til::ValueType::BT_Bool, clang::threadSafety::til::ValueType::BT_Char, clang::threadSafety::til::ValueType::BT_NullPointer, clang::threadSafety::til::ValueType::BT_SInt, clang::threadSafety::til::ValueType::BT_String, clang::threadSafety::til::ValueType::BT_UInt, clang::C, Cmp, and Literal().
| V::R_SExpr clang::threadSafety::til::Literal::traverse | ( | V & | Vs, |
| typename V::R_Ctx | Ctx ) |
Definition at line 506 of file ThreadSafetyTIL.h.
References as(), clang::threadSafety::til::ValueType::BT_Bool, clang::threadSafety::til::ValueType::BT_Char, clang::threadSafety::til::ValueType::BT_NullPointer, clang::threadSafety::til::ValueType::BT_SInt, clang::threadSafety::til::ValueType::BT_String, clang::threadSafety::til::ValueType::BT_UInt, and V.
|
inline |
Definition at line 466 of file ThreadSafetyTIL.h.
Referenced by clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printLiteral().