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()
|
inline |
Definition at line 93 of file DataflowWorklist.h.
Member Function Documentation
◆ enqueuePredecessors()
|
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
