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§

Enums§

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