charon_lib::transform

Module merge_goto_chains

Source
Expand description

§Micro-pass: merge single-origin gotos into their parent to reduce CFG graph size.

Structs§

Transform

Enums§

Antecedents 🔒
Set of antecedents of a given block. We only care about block ids if there’s a single antecedent.