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 capture aliases (assignment).

Functions

• format_reaching_def_annotation
  Format a reaching definition annotation.