charon_lib0.1.45

Module merge_goto_chains

Sections

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

Module Items

Structs

In charon_lib::transform

charon_lib::transform

Module merge_goto_chains

Expand description

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

Structs§

Transform