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

Methods

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()

Declared at: clang/include/clang/Analysis/FlowSensitive/DataflowWorklist.h:42

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

Declared at: clang/include/clang/Analysis/FlowSensitive/DataflowWorklist.h:33