clang 22.0.0git
|
#include "clang/Analysis/ProgramPoint.h"
Public Member Functions | |
BlockEdge (const CFGBlock *B1, const CFGBlock *B2, const LocationContext *L) | |
const CFGBlock * | getSrc () const |
const CFGBlock * | getDst () 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. |
Definition at line 508 of file ProgramPoint.h.
|
inline |
Definition at line 510 of file ProgramPoint.h.
References clang::ProgramPoint::BlockEdgeKind, and ProgramPoint.
|
inline |
Definition at line 520 of file ProgramPoint.h.
References clang::ProgramPoint::getData2().
Referenced by clang::ento::CoreEngine::ExecuteWorkList(), isJumpToFalseBranch(), clang::ProgramPoint::printJson(), and clang::ento::ExprEngine::VisitLogicalExpr().
|
inline |
Definition at line 516 of file ProgramPoint.h.
References clang::ProgramPoint::getData1().
Referenced by isJumpToFalseBranch(), clang::ProgramPoint::printJson(), and clang::ento::ExprEngine::VisitLogicalExpr().
|
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 525 of file ProgramPoint.h.
References clang::ProgramPoint::BlockEdgeKind, and ProgramPoint.
Referenced by BlockEdge(), and ProgramPoint.