clang
15.0.0git
|
Represents the point where a loop ends. More...
#include "clang/Analysis/CFG.h"
Public Member Functions | |
CFGLoopExit (const Stmt *stmt) | |
const Stmt * | getLoopStmt () const |
![]() | |
template<typename T > | |
T | castAs () const |
Convert to the specified CFGElement type, asserting that this CFGElement is of the desired type. More... | |
template<typename T > | |
Optional< T > | getAs () const |
Convert to the specified CFGElement type, returning None if this CFGElement is not of the desired type. More... | |
Kind | getKind () const |
void | dumpToStream (llvm::raw_ostream &OS) const |
void | dump () const |
Friends | |
class | CFGElement |
Additional Inherited Members | |
![]() | |
enum | Kind { Initializer, ScopeBegin, ScopeEnd, NewAllocator, LifetimeEnds, LoopExit, Statement, Constructor, CXXRecordTypedCall, STMT_BEGIN = Statement, STMT_END = CXXRecordTypedCall, AutomaticObjectDtor, DeleteDtor, BaseDtor, MemberDtor, TemporaryDtor, DTOR_BEGIN = AutomaticObjectDtor, DTOR_END = TemporaryDtor } |
![]() | |
CFGElement (Kind kind, const void *Ptr1, const void *Ptr2=nullptr) | |
CFGElement ()=default | |
![]() | |
llvm::PointerIntPair< void *, 2 > | Data1 |
llvm::PointerIntPair< void *, 2 > | Data2 |
Represents the point where a loop ends.
This element is is only produced when building the CFG for the static analyzer and hidden behind the 'cfg-loopexit' analyzer config flag.
Note: a loop exit element can be reached even when the loop body was never entered.
|
inlineexplicit |
|
inline |
Definition at line 275 of file CFG.h.
References clang::CFGElement::Data1.
Referenced by clang::ento::ExprEngine::processCFGElement().
|
friend |