Module resolver

Source
Expand description

Propagate Qualifs between locals and query the results.

This contains the dataflow analysis used to track Qualifs on complex control-flow graphs.

Structsยง

FlowSensitiveAnalysis ๐Ÿ”’
The dataflow analysis used to propagate qualifs on arbitrary CFGs.
State ๐Ÿ”’
The state for the FlowSensitiveAnalysis dataflow analysis. This domain is likely homogeneous, and has a big size, so we use a bitset that can be sparse (c.f. issue #134404).
TransferFunction ๐Ÿ”’
A Visitor that propagates qualifs between locals. This defines the transfer function of FlowSensitiveAnalysis.