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§