[][src]Module bytecode::reaching_def_analysis

Structs

ReachingDefAnnotation

The annotation for reaching definitions. For each code position, we have a map of local indices to the set of definitions reaching the code position.

ReachingDefProcessor

Enums

Def

The reaching definitions we are capturing. Currently we only aliases (assignment).

Functions

format_reaching_def_annotation

Format a reaching definition annotation.