Represents the point where a loop ends. More...
#include "clang/Analysis/CFG.h"
Inheritance diagram for clang::CFGLoopExit:
Collaboration diagram for clang::CFGLoopExit:
Public Member Functions | |
| CFGLoopExit (const Stmt *stmt) | |
| const Stmt * | getLoopStmt () const |
 Public Member Functions inherited from clang::CFGElement | |
| 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 |
Friends | |
| class | CFGElement |
Additional Inherited Members | |
| Public Types inherited from clang::CFGElement | |
| 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 } |
| Protected Member Functions inherited from clang::CFGElement | |
| CFGElement (Kind kind, const void *Ptr1, const void *Ptr2=nullptr) | |
| CFGElement ()=default | |
| Protected Attributes inherited from clang::CFGElement | |
| llvm::PointerIntPair< void *, 2 > | Data1 |
| llvm::PointerIntPair< void *, 2 > | Data2 |
Detailed Description
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.
Constructor & Destructor Documentation
◆ CFGLoopExit()
|
inlineexplicit |
Member Function Documentation
◆ getLoopStmt()
|
inline |
Definition at line 270 of file CFG.h.
References clang::CFGElement::Data1.
Referenced by clang::ento::ExprEngine::processCFGElement().
Friends And Related Function Documentation
◆ CFGElement
|
friend |
The documentation for this class was generated from the following file:
- include/clang/Analysis/CFG.h
