|
clang 23.0.0git
|
Represents the point where the lifetime of an automatic object ends. More...
#include "clang/Analysis/CFG.h"
Public Member Functions | |
| CFGLifetimeEnds (const VarDecl *Var, const Stmt *Stmt) | |
| const VarDecl * | getVarDecl () const |
| Public Member Functions inherited from clang::CFGScopeMarker | |
| LLVM_ATTRIBUTE_RETURNS_NONNULL const Stmt * | getTriggerStmt () const |
| Public Member Functions inherited from clang::CFGElement | |
| template<typename T> | |
| T | castAs () const |
| Convert to the specified CFGElement type, asserting that this CFGElement is of the desired type. | |
| template<typename T> | |
| std::optional< T > | getAs () const |
| Convert to the specified CFGElement type, returning std::nullopt if this CFGElement is not of the desired type. | |
| Kind | getKind () const |
| void | dumpToStream (llvm::raw_ostream &OS, bool TerminateWithNewLine=true) const |
| void | dump () const |
Friends | |
| class | CFGElement |
Additional Inherited Members | |
| Public Types inherited from clang::CFGElement | |
| enum | Kind { Initializer , NewAllocator , LoopExit , FullExprCleanup , ScopeBegin , ScopeEnd , LifetimeEnds , SCOPE_BEGIN = ScopeBegin , SCOPE_END = LifetimeEnds , Statement , Constructor , CXXRecordTypedCall , STMT_BEGIN = Statement , STMT_END = CXXRecordTypedCall , AutomaticObjectDtor , DeleteDtor , BaseDtor , MemberDtor , TemporaryDtor , DTOR_BEGIN = AutomaticObjectDtor , DTOR_END = TemporaryDtor , CleanupFunction } |
| Protected Member Functions inherited from clang::CFGScopeMarker | |
| CFGScopeMarker ()=default | |
| CFGScopeMarker (Kind K, const Stmt *S, const void *Ptr2=nullptr) | |
| Protected Member Functions inherited from clang::CFGElement | |
| CFGElement (Kind kind, const void *Ptr1, const void *Ptr2=nullptr) | |
| CFGElement ()=default | |
| Protected Attributes inherited from clang::CFGElement | |
| llvm::PointerIntPair< const void *, 2 > | Data1 |
| llvm::PointerIntPair< const void *, 2 > | Data2 |
Represents the point where the lifetime of an automatic object ends.
Definition at line 323 of file CFG.h.
References clang::CFGScopeMarker::CFGScopeMarker(), and clang::CFGElement::LifetimeEnds.
|
inline |
Definition at line 326 of file CFG.h.
References clang::CFGElement::Data2.
Referenced by clang::dataflow::builtinTransfer(), print_elem(), and clang::ento::ExprEngine::processCFGElement().
|
friend |
Definition at line 331 of file CFG.h.
References CFGElement, and clang::CFGElement::LifetimeEnds.
Referenced by CFGElement.