clang::WTODataflowWorklist Struct Reference

A worklist implementation for forward dataflow analysis based on a weak topological ordering of the nodes. More...

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

Inheritance diagram for clang::WTODataflowWorklist:

Public Member Functions
	WTODataflowWorklist (const CFG &Cfg, const WTOCompare &Cmp)
void	enqueueSuccessors (const CFGBlock *Block)
Public Member Functions inherited from clang::DataflowWorklistBase< WTOCompare, 20 >
	DataflowWorklistBase (const CFG &Cfg, WTOCompare C)
void	enqueueBlock (const CFGBlock *Block)
const CFGBlock *	dequeue ()

Detailed Description

A worklist implementation for forward dataflow analysis based on a weak topological ordering of the nodes.

The worklist cannot contain the same block multiple times at once.

Definition at line 78 of file DataflowWorklist.h.

Constructor & Destructor Documentation

WTODataflowWorklist()

clang::WTODataflowWorklist::WTODataflowWorklist ( const CFG & Cfg, const WTOCompare & Cmp )

inline

Definition at line 79 of file DataflowWorklist.h.

References clang::DataflowWorklistBase< WTOCompare, 20 >::DataflowWorklistBase().

Member Function Documentation

enqueueSuccessors()

void clang::WTODataflowWorklist::enqueueSuccessors ( const CFGBlock * Block )

inline

Definition at line 82 of file DataflowWorklist.h.

References clang::Block, and clang::DataflowWorklistBase< WTOCompare, 20 >::enqueueBlock().

---

The documentation for this struct was generated from the following file:

• include/clang/Analysis/FlowSensitive/DataflowWorklist.h