clang 22.0.0git
|
Represents a point when we start the call exit sequence (for inlined call). More...
#include "clang/Analysis/ProgramPoint.h"
Public Member Functions | |
CallExitBegin (const StackFrameContext *L, const ReturnStmt *RS) | |
const ReturnStmt * | getReturnStmt () const |
Public Member Functions inherited from clang::ProgramPoint | |
std::optional< SourceLocation > | getSourceLocation () const |
ProgramPoint | withTag (const ProgramPointTag *tag) const |
Create a new ProgramPoint object that is the same as the original except for using the specified tag value. | |
template<typename T> | |
T | castAs () const |
Convert to the specified ProgramPoint type, asserting that this ProgramPoint is of the desired type. | |
template<typename T> | |
std::optional< T > | getAs () const |
Convert to the specified ProgramPoint type, returning std::nullopt if this ProgramPoint is not of the desired type. | |
Kind | getKind () const |
bool | isPurgeKind () |
Is this a program point corresponding to purge/removal of dead symbols and bindings. | |
const ProgramPointTag * | getTag () const |
const LocationContext * | getLocationContext () const |
const StackFrameContext * | getStackFrame () const |
unsigned | getHashValue () const |
bool | operator== (const ProgramPoint &RHS) const |
bool | operator!= (const ProgramPoint &RHS) const |
void | Profile (llvm::FoldingSetNodeID &ID) const |
void | printJson (llvm::raw_ostream &Out, const char *NL="\n") const |
LLVM_DUMP_METHOD void | dump () const |
Friends | |
class | ProgramPoint |
A ProgramPoint identifies a location in the CFG by pointing to a specific Fact. |
Represents a point when we start the call exit sequence (for inlined call).
The call exit is simulated with a sequence of nodes, which occur between CallExitBegin and CallExitEnd. The following operations occur between the two program points:
Definition at line 676 of file ProgramPoint.h.
|
inline |
Definition at line 679 of file ProgramPoint.h.
References clang::ProgramPoint::CallExitBeginKind, clang::nullptr, and ProgramPoint.
|
inline |
Definition at line 682 of file ProgramPoint.h.
References clang::ProgramPoint::getData1().
|
friend |
A ProgramPoint identifies a location in the CFG by pointing to a specific Fact.
identified by a lifetime-related event (Fact).
A ProgramPoint has "after" semantics: it represents the location immediately after its corresponding Fact.
Definition at line 687 of file ProgramPoint.h.
References clang::ProgramPoint::CallExitBeginKind, and ProgramPoint.
Referenced by CallExitBegin(), and ProgramPoint.