class CFGReverseBlockReachabilityAnalysis

Declaration

class CFGReverseBlockReachabilityAnalysis { /* full declaration omitted */ };

Declared at: clang/include/clang/Analysis/Analyses/CFGReachabilityAnalysis.h:31

Member Variables

private clang::CFGReverseBlockReachabilityAnalysis:: ReachableSet analyzed
private clang::CFGReverseBlockReachabilityAnalysis:: ReachableMap reachable

Method Overview

Methods

CFGReverseBlockReachabilityAnalysis(
    const clang::CFG& cfg)

Declared at: clang/include/clang/Analysis/Analyses/CFGReachabilityAnalysis.h:39

Parameters

const clang::CFG& cfg

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

Description

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

Declared at: clang/include/clang/Analysis/Analyses/CFGReachabilityAnalysis.h:42

Parameters

const clang::CFGBlock* Src
const clang::CFGBlock* Dst

void mapReachability(const clang::CFGBlock* Dst)

Declared at: clang/include/clang/Analysis/Analyses/CFGReachabilityAnalysis.h:45

Parameters

const clang::CFGBlock* Dst