Module resolver

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.