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
- public BackwardDataflowWorklist(const clang::CFG & Cfg, clang::AnalysisDeclContext & Ctx)
- public void enqueuePredecessors(const clang::CFGBlock * Block)
Methods
¶BackwardDataflowWorklist(
const clang::CFG& Cfg,
clang::AnalysisDeclContext& Ctx)
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)
void enqueuePredecessors(
const clang::CFGBlock* Block)
Declared at: clang/include/clang/Analysis/FlowSensitive/DataflowWorklist.h:87
Parameters
- const clang::CFGBlock* Block