clang  6.0.0svn
Public Member Functions | List of all members
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'. More...
 

Detailed Description

Definition at line 32 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 25 of file CFGReachabilityAnalysis.cpp.

References clang::CFGBlock::getBlockID(), clang::CFGBlock::pred_begin(), and clang::CFGBlock::pred_end().

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


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