clang::reachable_code Namespace Reference

Classes
class	Callback
Enumerations
enum	UnreachableKind { UK_Return, UK_Break, UK_Loop_Increment, UK_Other }
	Classifications of unreachable code. More...
Functions
unsigned	ScanReachableFromBlock (const CFGBlock *Start, llvm::BitVector &Reachable)
void	FindUnreachableCode (AnalysisDeclContext &AC, Preprocessor &PP, Callback &CB)

---

Enumeration Type Documentation

enum clang::reachable_code::UnreachableKind

Classifications of unreachable code.

Enumerator:

UK_Return
UK_Break
UK_Loop_Increment
UK_Other

Definition at line 41 of file ReachableCode.h.

---

Function Documentation

void clang::reachable_code::FindUnreachableCode	(	AnalysisDeclContext &	AC,
		Preprocessor &	PP,
		Callback &	CB
	)

Definition at line 637 of file ReachableCode.cpp.

References clang::CFG::BuildOptions::AddEHEdges, clang::CFG::begin(), clang::CFG::end(), clang::CFGBlock::getBlockID(), clang::AnalysisDeclContext::getCFG(), clang::AnalysisDeclContext::getCFGBuildOptions(), clang::CFG::getEntry(), clang::CFG::getNumBlockIDs(), scanMaybeReachableFromBlock(), clang::CFG::try_blocks_begin(), and clang::CFG::try_blocks_end().

Referenced by CheckUnreachable().

unsigned clang::reachable_code::ScanReachableFromBlock	(	const CFGBlock *	Start,
		llvm::BitVector &	Reachable
	)

ScanReachableFromBlock - Mark all blocks reachable from Start. Returns the total number of blocks that were marked reachable.

Definition at line 632 of file ReachableCode.cpp.

References scanFromBlock().

Referenced by CheckFallThrough().