clang 17.0.0git
Public Member Functions | List of all members
clang::BackwardDataflowWorklist Struct Reference

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

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

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

Public Member Functions

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

Detailed Description

A worklist implementation for backward dataflow analysis.

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

Definition at line 80 of file DataflowWorklist.h.

Constructor & Destructor Documentation

◆ BackwardDataflowWorklist()

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

Definition at line 82 of file DataflowWorklist.h.

Member Function Documentation

◆ enqueuePredecessors()

void clang::BackwardDataflowWorklist::enqueuePredecessors ( const CFGBlock Block)
inline

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