struct BackwardDataflowWorklist

Declaration

struct BackwardDataflowWorklist : public DataflowWorklistBase { /* full declaration omitted */ };

Description

A worklist implementation for backward dataflow analysis. The enqueued block will be dequeued in post order. The worklist cannot contain the same block multiple times at once.

Declared at: clang/include/clang/Analysis/FlowSensitive/DataflowWorklist.h:80

Inherits from: DataflowWorklistBase

Method Overview

Methods

BackwardDataflowWorklist(
    const clang::CFG& Cfg,
    clang::AnalysisDeclContext& Ctx)

Declared at: clang/include/clang/Analysis/FlowSensitive/DataflowWorklist.h:82

Parameters

const clang::CFG& Cfg
clang::AnalysisDeclContext& Ctx

void enqueuePredecessors(
    const clang::CFGBlock* Block)

Declared at: clang/include/clang/Analysis/FlowSensitive/DataflowWorklist.h:87

Parameters

const clang::CFGBlock* Block