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