charon_
lib
0.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
Copy item path
source
Expand description
§
Micro-pass: merge single-origin gotos into their parent to reduce CFG graph size.
Structs
§
Transform