clang 20.0.0git
Classes | Enumerations | Functions
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

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 
)

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

References scanFromBlock().

Referenced by CheckFallThrough(), and visitReachableThrows().