clang  14.0.0git
Public Member Functions | List of all members
clang::ForwardDataflowWorklist Struct Reference

A worklist implementation for forward dataflow analysis. More...

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

Inheritance diagram for clang::ForwardDataflowWorklist:
Inheritance graph
[legend]
Collaboration diagram for clang::ForwardDataflowWorklist:
Collaboration graph
[legend]

Public Member Functions

 ForwardDataflowWorklist (const CFG &Cfg, AnalysisDeclContext &Ctx)
 
void enqueueSuccessors (const CFGBlock *Block)
 
- Public Member Functions inherited from clang::DataflowWorklistBase< ReversePostOrderCompare, 20 >
 DataflowWorklistBase (const CFG &Cfg, PostOrderCFGView *POV, ReversePostOrderCompare C)
 
const PostOrderCFGViewgetCFGView () const
 
void enqueueBlock (const CFGBlock *Block)
 
const CFGBlockdequeue ()
 

Detailed Description

A worklist implementation for forward dataflow analysis.

The enqueued blocks will be dequeued in reverse post order. The worklist cannot contain the same block multiple times at once.

Definition at line 62 of file DataflowWorklist.h.

Constructor & Destructor Documentation

◆ ForwardDataflowWorklist()

clang::ForwardDataflowWorklist::ForwardDataflowWorklist ( const CFG Cfg,
AnalysisDeclContext Ctx 
)
inline

Definition at line 64 of file DataflowWorklist.h.

References clang::AnalysisDeclContext::getAnalysis().

Member Function Documentation

◆ enqueueSuccessors()

void clang::ForwardDataflowWorklist::enqueueSuccessors ( const CFGBlock Block)
inline

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