Module charon_lib::transform::merge_goto_chains

source ·
Expand description

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

Structs§