class DataflowWorklistBase
Declaration
template <typename Comp, unsigned int QueueSize>
class DataflowWorklistBase { /* full declaration omitted */ };
Description
A worklist implementation where the enqueued blocks will be dequeued based on the order defined by 'Comp'.
Declared at: clang/include/clang/Analysis/FlowSensitive/DataflowWorklist.h:22
Templates
- Comp
- unsigned int QueueSize
Member Variables
- private llvm::BitVector EnqueuedBlocks
- private clang::PostOrderCFGView* POV
- private llvm::PriorityQueue< const CFGBlock*, SmallVector<const CFGBlock*, QueueSize>, Comp> WorkList
Method Overview
- public DataflowWorklistBase<Comp, QueueSize>(const clang::CFG & Cfg, clang::PostOrderCFGView * POV, Comp C)
- public const clang::CFGBlock * dequeue()
- public void enqueueBlock(const clang::CFGBlock * Block)
- public const clang::PostOrderCFGView * getCFGView() const
Methods
¶DataflowWorklistBase<Comp, QueueSize>(
const clang::CFG& Cfg,
clang::PostOrderCFGView* POV,
Comp C)
DataflowWorklistBase<Comp, QueueSize>(
const clang::CFG& Cfg,
clang::PostOrderCFGView* POV,
Comp C)
Declared at: clang/include/clang/Analysis/FlowSensitive/DataflowWorklist.h:30
Parameters
- const clang::CFG& Cfg
- clang::PostOrderCFGView* POV
- Comp C
¶const clang::CFGBlock* dequeue()
const clang::CFGBlock* dequeue()
Declared at: clang/include/clang/Analysis/FlowSensitive/DataflowWorklist.h:42
¶void enqueueBlock(const clang::CFGBlock* Block)
void enqueueBlock(const clang::CFGBlock* Block)
Declared at: clang/include/clang/Analysis/FlowSensitive/DataflowWorklist.h:35
Parameters
- const clang::CFGBlock* Block
¶const clang::PostOrderCFGView* getCFGView() const
const clang::PostOrderCFGView* getCFGView() const
Declared at: clang/include/clang/Analysis/FlowSensitive/DataflowWorklist.h:33