clang 20.0.0git
|
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) |
Classifications of unreachable code.
Enumerator | |
---|---|
UK_Return | |
UK_Break | |
UK_Loop_Increment | |
UK_Other |
Definition at line 40 of file ReachableCode.h.
void clang::reachable_code::FindUnreachableCode | ( | AnalysisDeclContext & | AC, |
Preprocessor & | PP, | ||
Callback & | CB | ||
) |
Definition at line 733 of file ReachableCode.cpp.
References clang::CFGBlock::getBlockID(), clang::CFG::getEntry(), clang::CFG::getNumBlockIDs(), scanMaybeReachableFromBlock(), and clang::CFG::try_blocks().
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 728 of file ReachableCode.cpp.
References scanFromBlock().
Referenced by CheckFallThrough(), and visitReachableThrows().