clang::BackwardDataflowWorklist Struct Reference

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

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

Inheritance diagram for clang::BackwardDataflowWorklist:

Collaboration 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 *POV, PostOrderCFGView::BlockOrderCompare C)
const PostOrderCFGView *	getCFGView () const
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 80 of file DataflowWorklist.h.

Constructor & Destructor Documentation

BackwardDataflowWorklist()

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

inline

Definition at line 82 of file DataflowWorklist.h.

Member Function Documentation

enqueuePredecessors()

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

inline

Definition at line 87 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