remove_useless_jump_blocks
charon_
lib
0.1.165
In charon_
lib::
transform::
control_
flow::
ullbc_
to_
llbc
charon_lib
::
transform
::
control_flow
::
ullbc_to_llbc
Function
remove_
useless_
jump_
blocks
Copy item path
Source
fn remove_useless_jump_blocks(body: &mut
ExprBody
)