clang::CFG::BuildOptions Class Reference

#include "clang/Analysis/CFG.h"

Public Types
using	ForcedBlkExprs = llvm::DenseMap<const Stmt *, const CFGBlock *>

Public Member Functions
	BuildOptions ()=default
bool	alwaysAdd (const Stmt *stmt) const
BuildOptions &	setAlwaysAdd (Stmt::StmtClass stmtClass, bool val=true)
BuildOptions &	setAllAlwaysAdd ()

Public Attributes
ForcedBlkExprs **	forcedBlkExprs = nullptr
CFGCallback *	Observer = nullptr
bool	PruneTriviallyFalseEdges = true
bool	AddEHEdges = false
bool	AddInitializers = false
bool	AddImplicitDtors = false
bool	AddLifetime = false
bool	AddParameterLifetimes = false
bool	AddLoopExit = false
bool	AddTemporaryDtors = false
bool	AddScopes = false
bool	AddStaticInitBranches = false
bool	AddCXXNewAllocator = false
bool	AddCXXDefaultInitExprInCtors = false
bool	AddCXXDefaultInitExprInAggregates = false
bool	AddRichCXXConstructors = false
bool	MarkElidedCXXConstructors = false
bool	AddVirtualBaseBranches = false
bool	OmitImplicitValueInitializers = false
bool	AssumeReachableDefaultInSwitchStatements = false

Detailed Description

Definition at line 1277 of file CFG.h.

Member Typedef Documentation

ForcedBlkExprs

using clang::CFG::BuildOptions::ForcedBlkExprs = llvm::DenseMap<const Stmt *, const CFGBlock *>

Definition at line 1283 of file CFG.h.

Constructor & Destructor Documentation

BuildOptions()

clang::CFG::BuildOptions::BuildOptions ( )

default

Referenced by setAllAlwaysAdd(), and setAlwaysAdd().

Member Function Documentation

alwaysAdd()

bool clang::CFG::BuildOptions::alwaysAdd ( const Stmt * stmt ) const

inline

Definition at line 1312 of file CFG.h.

References clang::ast_matchers::stmt.

setAllAlwaysAdd()

BuildOptions & clang::CFG::BuildOptions::setAllAlwaysAdd ( )

inline

Definition at line 1321 of file CFG.h.

References BuildOptions().

Referenced by clang::dataflow::AdornedCFG::build(), clang::sema::AnalysisBasedWarnings::IssueWarnings(), and LifetimeSafetyTUAnalysis().

setAlwaysAdd()

BuildOptions & clang::CFG::BuildOptions::setAlwaysAdd ( Stmt::StmtClass stmtClass, bool val = true )

inline

Definition at line 1316 of file CFG.h.

References BuildOptions().

Referenced by clang::sema::AnalysisBasedWarnings::IssueWarnings().

Member Data Documentation

AddCXXDefaultInitExprInAggregates

bool clang::CFG::BuildOptions::AddCXXDefaultInitExprInAggregates = false

Definition at line 1303 of file CFG.h.

AddCXXDefaultInitExprInCtors

bool clang::CFG::BuildOptions::AddCXXDefaultInitExprInCtors = false

Definition at line 1302 of file CFG.h.

Referenced by clang::dataflow::AdornedCFG::build(), clang::sema::AnalysisBasedWarnings::IssueWarnings(), clang::sema::AnalysisBasedWarnings::issueWarningsForRegisteredVarDecl(), and LifetimeSafetyTUAnalysis().

AddCXXNewAllocator

bool clang::CFG::BuildOptions::AddCXXNewAllocator = false

Definition at line 1301 of file CFG.h.

Referenced by clang::sema::AnalysisBasedWarnings::IssueWarnings(), and clang::sema::AnalysisBasedWarnings::issueWarningsForRegisteredVarDecl().

AddEHEdges

bool clang::CFG::BuildOptions::AddEHEdges = false

Definition at line 1288 of file CFG.h.

Referenced by clang::reachable_code::FindUnreachableCode(), clang::sema::AnalysisBasedWarnings::IssueWarnings(), and clang::sema::AnalysisBasedWarnings::issueWarningsForRegisteredVarDecl().

AddImplicitDtors

bool clang::CFG::BuildOptions::AddImplicitDtors = false

Definition at line 1290 of file CFG.h.

Referenced by clang::dataflow::AdornedCFG::build(), clang::sema::AnalysisBasedWarnings::IssueWarnings(), and clang::sema::AnalysisBasedWarnings::issueWarningsForRegisteredVarDecl().

AddInitializers

bool clang::CFG::BuildOptions::AddInitializers = false

Definition at line 1289 of file CFG.h.

Referenced by clang::dataflow::AdornedCFG::build(), clang::sema::AnalysisBasedWarnings::IssueWarnings(), clang::sema::AnalysisBasedWarnings::issueWarningsForRegisteredVarDecl(), and LifetimeSafetyTUAnalysis().

AddLifetime

bool clang::CFG::BuildOptions::AddLifetime = false

Definition at line 1291 of file CFG.h.

Referenced by clang::dataflow::AdornedCFG::build(), clang::sema::AnalysisBasedWarnings::IssueWarnings(), and LifetimeSafetyTUAnalysis().

AddLoopExit

bool clang::CFG::BuildOptions::AddLoopExit = false

Definition at line 1297 of file CFG.h.

AddParameterLifetimes

bool clang::CFG::BuildOptions::AddParameterLifetimes = false

Definition at line 1296 of file CFG.h.

Referenced by clang::dataflow::AdornedCFG::build(), clang::sema::AnalysisBasedWarnings::IssueWarnings(), and LifetimeSafetyTUAnalysis().

AddRichCXXConstructors

bool clang::CFG::BuildOptions::AddRichCXXConstructors = false

Definition at line 1304 of file CFG.h.

AddScopes

bool clang::CFG::BuildOptions::AddScopes = false

Definition at line 1299 of file CFG.h.

AddStaticInitBranches

bool clang::CFG::BuildOptions::AddStaticInitBranches = false

Definition at line 1300 of file CFG.h.

AddTemporaryDtors

bool clang::CFG::BuildOptions::AddTemporaryDtors = false

Definition at line 1298 of file CFG.h.

Referenced by clang::dataflow::AdornedCFG::build(), clang::sema::AnalysisBasedWarnings::IssueWarnings(), and clang::sema::AnalysisBasedWarnings::issueWarningsForRegisteredVarDecl().

AddVirtualBaseBranches

bool clang::CFG::BuildOptions::AddVirtualBaseBranches = false

Definition at line 1306 of file CFG.h.

AssumeReachableDefaultInSwitchStatements

bool clang::CFG::BuildOptions::AssumeReachableDefaultInSwitchStatements = false

Definition at line 1308 of file CFG.h.

forcedBlkExprs

ForcedBlkExprs** clang::CFG::BuildOptions::forcedBlkExprs = nullptr

Definition at line 1285 of file CFG.h.

MarkElidedCXXConstructors

bool clang::CFG::BuildOptions::MarkElidedCXXConstructors = false

Definition at line 1305 of file CFG.h.

Observer

CFGCallback* clang::CFG::BuildOptions::Observer = nullptr

Definition at line 1286 of file CFG.h.

Referenced by clang::AnalysisDeclContext::getCFG(), clang::AnalysisDeclContext::getUnoptimizedCFG(), and clang::sema::AnalysisBasedWarnings::IssueWarnings().

OmitImplicitValueInitializers

bool clang::CFG::BuildOptions::OmitImplicitValueInitializers = false

Definition at line 1307 of file CFG.h.

PruneTriviallyFalseEdges

bool clang::CFG::BuildOptions::PruneTriviallyFalseEdges = true

Definition at line 1287 of file CFG.h.

Referenced by clang::dataflow::AdornedCFG::build(), clang::sema::AnalysisBasedWarnings::IssueWarnings(), clang::sema::AnalysisBasedWarnings::issueWarningsForRegisteredVarDecl(), and LifetimeSafetyTUAnalysis().

---

The documentation for this class was generated from the following file:

• include/clang/Analysis/CFG.h