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
Collaboration diagram for clang::BackwardDataflowWorklist:
Collaboration graph

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 

Definition at line 82 of file DataflowWorklist.h.

Member Function Documentation

◆ enqueuePredecessors()

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

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