ScopeTree (p.jasmin.2025.06.2.doc.jasmin.jasmin.Jasmin.ScopeTree)

val get_declaration_sites : 
  ('info, 'asm) Prog.pfunc ->
  Prog.Spv.t Utils.Miloc.t

Computes for each instruction the set of variables to declare before it.