clang
3.9.0
|
#include <ProgramPoint.h>
Public Member Functions | |
BlockEdge (const CFGBlock *B1, const CFGBlock *B2, const LocationContext *L) | |
const CFGBlock * | getSrc () const |
const CFGBlock * | getDst () 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. More... | |
template<typename T > | |
T | castAs () const |
Convert to the specified ProgramPoint type, asserting that this ProgramPoint is of the desired type. More... | |
template<typename T > | |
Optional< T > | getAs () const |
Convert to the specified ProgramPoint type, returning None if this ProgramPoint is not of the desired type. More... | |
Kind | getKind () const |
bool | isPurgeKind () |
Is this a program point corresponding to purge/removal of dead symbols and bindings. More... | |
const ProgramPointTag * | getTag () const |
const LocationContext * | getLocationContext () const |
unsigned | getHashValue () const |
bool | operator== (const ProgramPoint &RHS) const |
bool | operator!= (const ProgramPoint &RHS) const |
void | Profile (llvm::FoldingSetNodeID &ID) const |
Friends | |
class | ProgramPoint |
Definition at line 471 of file ProgramPoint.h.
|
inline |
Definition at line 473 of file ProgramPoint.h.
|
inline |
Definition at line 483 of file ProgramPoint.h.
References clang::ProgramPoint::getData2().
Referenced by clang::ento::CoreEngine::ExecuteWorkList(), llvm::DOTGraphTraits< ExplodedNode * >::getNodeLabel(), isJumpToFalseBranch(), and clang::ento::ExprEngine::VisitLogicalExpr().
|
inline |
Definition at line 479 of file ProgramPoint.h.
References clang::ProgramPoint::getData1().
Referenced by llvm::DOTGraphTraits< ExplodedNode * >::getNodeLabel(), isJumpToFalseBranch(), and clang::ento::ExprEngine::VisitLogicalExpr().
|
friend |
Definition at line 488 of file ProgramPoint.h.