Showing content from https://clang.llvm.org/doxygen/classclang_1_1LoopExit.html below:
clang: clang::LoopExit Class Reference
Represents a point when we exit a loop. More...
#include "clang/Analysis/ProgramPoint.h"
Inheritance diagram for clang::LoopExit:
Additional Inherited Members Public Types inherited from clang::ProgramPoint enum Kind {
BlockEdgeKind , BlockEntranceKind , BlockExitKind , PreStmtKind ,
PreStmtPurgeDeadSymbolsKind , PostStmtPurgeDeadSymbolsKind , PostStmtKind , PreLoadKind ,
PostLoadKind , PreStoreKind , PostStoreKind , PostConditionKind ,
PostLValueKind , PostAllocatorCallKind , MinPostStmtKind = PostStmtKind , MaxPostStmtKind = PostAllocatorCallKind ,
PostInitializerKind , CallEnterKind , CallExitBeginKind , CallExitEndKind ,
FunctionExitKind , PreImplicitCallKind , PostImplicitCallKind , MinImplicitCallKind = PreImplicitCallKind ,
MaxImplicitCallKind = PostImplicitCallKind , LoopExitKind , EpsilonKind
} Static Public Member Functions inherited from clang::ProgramPoint static ProgramPoint getProgramPoint (const Stmt *S, ProgramPoint::Kind K, const LocationContext *LC, const ProgramPointTag *tag) Protected Member Functions inherited from clang::ProgramPoint ProgramPoint ()=default ProgramPoint (const void *P, Kind k, const LocationContext *l, const ProgramPointTag *tag=nullptr, CFGBlock::ConstCFGElementRef ElemRef={nullptr, 0}) ProgramPoint (const void *P1, const void *P2, Kind k, const LocationContext *l, const ProgramPointTag *tag=nullptr, CFGBlock::ConstCFGElementRef ElemRef={nullptr, 0}) const void * getData1 () const const void * getData2 () const void setData2 (const void *d) CFGBlock::ConstCFGElementRef getElementRef () const Detailed Description
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 711 of file ProgramPoint.h.
Constructor & Destructor Documentation ◆ LoopExit() Member Function Documentation ◆ getLoopStmt() const Stmt * clang::LoopExit::getLoopStmt ( ) const inline Friends And Related Function Documentation ◆ ProgramPoint
The documentation for this class was generated from the following file:
RetroSearch is an open source project built by @garambo
| Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4