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:

protected Data1
protected Data2

Method Overview

Inherited from CFGElement:

Methods

CFGLoopExit(const clang::Stmt* stmt)

Declared at: clang/include/clang/Analysis/CFG.h:274

Parameters

const clang::Stmt* stmt

CFGLoopExit()

Declared at: clang/include/clang/Analysis/CFG.h:283

const clang::Stmt* getLoopStmt() const

Declared at: clang/include/clang/Analysis/CFG.h:276

static bool isKind(const clang::CFGElement& elem)

Declared at: clang/include/clang/Analysis/CFG.h:285

Parameters

const clang::CFGElement& elem