Module Backend.StarvationGlobalAnalysis

val whole_program_analysis : unit -> unit