clang::CFGReverseBlockReachabilityAnalysis Class Reference

#include "clang/Analysis/Analyses/CFGReachabilityAnalysis.h"

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 31 of file CFGReachabilityAnalysis.h.

Constructor & Destructor Documentation

CFGReverseBlockReachabilityAnalysis()

CFGReverseBlockReachabilityAnalysis::CFGReverseBlockReachabilityAnalysis

(

const CFG &

cfg

)

Definition at line 22 of file CFGReachabilityAnalysis.cpp.

Member Function Documentation

isReachable()

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

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

Definition at line 26 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:

• include/clang/Analysis/Analyses/CFGReachabilityAnalysis.h
• lib/Analysis/CFGReachabilityAnalysis.cpp