class CFGLoopExit
Declaration
class CFGLoopExit : public CFGElement { /* full declaration omitted */ };
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.
Declared at: clang/include/clang/Analysis/CFG.h:272
Inherits from: CFGElement
Member Variables
Inherited from CFGElement:
Method Overview
- public CFGLoopExit(const clang::Stmt * stmt)
- private CFGLoopExit()
- public const clang::Stmt * getLoopStmt() const
- private static bool isKind(const clang::CFGElement & elem)
Inherited from CFGElement:
Methods
¶CFGLoopExit(const clang::Stmt* stmt)
CFGLoopExit(const clang::Stmt* stmt)
Declared at: clang/include/clang/Analysis/CFG.h:274
Parameters
- const clang::Stmt* stmt
¶CFGLoopExit()
CFGLoopExit()
Declared at: clang/include/clang/Analysis/CFG.h:283
¶const clang::Stmt* getLoopStmt() const
const clang::Stmt* getLoopStmt() const
Declared at: clang/include/clang/Analysis/CFG.h:276
¶static bool isKind(const clang::CFGElement& elem)
static bool isKind(const clang::CFGElement& elem)
Declared at: clang/include/clang/Analysis/CFG.h:285
Parameters
- const clang::CFGElement& elem