clang
6.0.0
|
Represents a point when we exit a loop. More...
#include "clang/Analysis/ProgramPoint.h"
Public Member Functions | |
LoopExit (const Stmt *LoopStmt, const LocationContext *LC) | |
const Stmt * | getLoopStmt () 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 |
Represents a point when we exit a loop.
When this ProgramPoint is encountered we can be sure that the symbolic execution of the corresponding LoopStmt is finished on the given path. Note: It is possible to encounter a LoopExit element when we haven't even encountered the loop itself. At the current state not all loop exits will result in a LoopExit program point.
Definition at line 664 of file ProgramPoint.h.
|
inline |
Definition at line 666 of file ProgramPoint.h.
|
inline |
Definition at line 669 of file ProgramPoint.h.
Referenced by llvm::DOTGraphTraits< ExplodedNode * >::getNodeLabel().
|
friend |
Definition at line 674 of file ProgramPoint.h.