clang::BackwardDataflowWorklist Struct Reference

A worklist implementation for backward dataflow analysis. More...

#include "clang/Analysis/FlowSensitive/DataflowWorklist.h"

Inheritance diagram for clang::BackwardDataflowWorklist:

Public Member Functions
	BackwardDataflowWorklist (const CFG &Cfg, AnalysisDeclContext &Ctx)
void	enqueuePredecessors (const CFGBlock *Block)
Public Member Functions inherited from clang::DataflowWorklistBase< PostOrderCFGView::BlockOrderCompare, 20 >
	DataflowWorklistBase (const CFG &Cfg, PostOrderCFGView::BlockOrderCompare C)
void	enqueueBlock (const CFGBlock *Block)
const CFGBlock *	dequeue ()

Detailed 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.

Definition at line 91 of file DataflowWorklist.h.

Constructor & Destructor Documentation

BackwardDataflowWorklist()

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

inline

Definition at line 93 of file DataflowWorklist.h.

Member Function Documentation

enqueuePredecessors()

void clang::BackwardDataflowWorklist::enqueuePredecessors ( const CFGBlock *  Block )

inline

Definition at line 97 of file DataflowWorklist.h.

References clang::Block, and clang::DataflowWorklistBase< PostOrderCFGView::BlockOrderCompare, 20 >::enqueueBlock().

Referenced by clang::LiveVariables::computeLiveness().

---

The documentation for this struct was generated from the following file:

• include/clang/Analysis/FlowSensitive/DataflowWorklist.h