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)
	ScanReachableFromBlock - Mark all blocks reachable from Start.
void	FindUnreachableCode (AnalysisDeclContext &AC, Preprocessor &PP, Callback &CB)

Enumeration Type Documentation

UnreachableKind

enum clang::reachable_code::UnreachableKind

Classifications of unreachable code.

Enumerator
UK_Return
UK_Break
UK_Loop_Increment
UK_Other

Definition at line 40 of file ReachableCode.h.

Function Documentation

FindUnreachableCode()

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

Definition at line 735 of file ReachableCode.cpp.

References clang::CFGBlock::getBlockID(), clang::CFG::getEntry(), clang::CFG::getNumBlockIDs(), scanMaybeReachableFromBlock(), and clang::CFG::try_blocks().

Referenced by CheckUnreachable().

ScanReachableFromBlock()

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 730 of file ReachableCode.cpp.

References scanFromBlock().

Referenced by CheckFallThrough(), and visitReachableThrows().