clang 17.0.0git
|
A worklist implementation for backward dataflow analysis. More...
#include "clang/Analysis/FlowSensitive/DataflowWorklist.h"
Public Member Functions | |
BackwardDataflowWorklist (const CFG &Cfg, AnalysisDeclContext &Ctx) | |
void | enqueuePredecessors (const CFGBlock *Block) |
![]() | |
DataflowWorklistBase (const CFG &Cfg, PostOrderCFGView *POV, PostOrderCFGView::BlockOrderCompare C) | |
const PostOrderCFGView * | getCFGView () const |
void | enqueueBlock (const CFGBlock *Block) |
const CFGBlock * | dequeue () |
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.
|
inline |
Definition at line 82 of file DataflowWorklist.h.
|
inline |
Definition at line 87 of file DataflowWorklist.h.
References clang::Block, and clang::DataflowWorklistBase< PostOrderCFGView::BlockOrderCompare, 20 >::enqueueBlock().
Referenced by clang::LiveVariables::computeLiveness().