struct ForwardDataflowWorklist

Declaration

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

Description

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

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

Inherits from: DataflowWorklistBase

Method Overview

• public ForwardDataflowWorklist(const clang::CFG & Cfg, clang::PostOrderCFGView * POV)
• public ForwardDataflowWorklist(const clang::CFG & Cfg, clang::AnalysisDeclContext & Ctx)
• public void enqueueSuccessors(const clang::CFGBlock * Block)

Methods

¶ForwardDataflowWorklist(
    const clang::CFG& Cfg,
    clang::PostOrderCFGView* POV)

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

Parameters

const clang::CFG& Cfg

clang::PostOrderCFGView* POV

¶ForwardDataflowWorklist(
    const clang::CFG& Cfg,
    clang::AnalysisDeclContext& Ctx)

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

Parameters

const clang::CFG& Cfg

clang::AnalysisDeclContext& Ctx

¶void enqueueSuccessors(
    const clang::CFGBlock* Block)

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

Parameters

const clang::CFGBlock* Block