clang::CFGReverseBlockReachabilityAnalysis Class Reference

#include <CFGReachabilityAnalysis.h>

List of all members.

Public Member Functions
	CFGReverseBlockReachabilityAnalysis (const CFG &cfg)
bool	isReachable (const CFGBlock *Src, const CFGBlock *Dst)
	Returns true if the block 'Dst' can be reached from block 'Src'.

---

Detailed Description

Definition at line 32 of file CFGReachabilityAnalysis.h.

---

Constructor & Destructor Documentation

CFGReverseBlockReachabilityAnalysis::CFGReverseBlockReachabilityAnalysis

(

const CFG &

cfg

)

Definition at line 22 of file CFGReachabilityAnalysis.cpp.

---

Member Function Documentation

bool CFGReverseBlockReachabilityAnalysis::isReachable	(	const CFGBlock *	Src,
		const CFGBlock *	Dst
	)

Returns true if the block 'Dst' can be reached from block 'Src'.

Definition at line 25 of file CFGReachabilityAnalysis.cpp.

References clang::CFGBlock::getBlockID().

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

---

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

• CFGReachabilityAnalysis.h
• CFGReachabilityAnalysis.cpp