charon_
lib
0.1.88
In charon_
lib::
transform::
ullbc_
to_
llbc
Structs
BlockInfo
BlockWithRank
BlocksInfo
CfgInfo
ExitInfo
FilteredLoopParents
LoopExitCandidateInfo
Transform
Enums
GotoKind
Functions
block_is_error
block_is_switch
build_cfg_info
build_cfg_partial_info_edges
can_reach_outer_exit
compute_loop_exit_candidates
compute_loop_exits
compute_loop_switch_exits
compute_switch_exits
compute_switch_exits_explore
filter_loop_parents
get_goto_kind
is_terminal
is_terminal_explore
is_terminal_explore_block
list_reachable
loop_entry_is_reachable_from_inner
make_ord_block_id
opt_block_unwrap_or_nop
register_children_as_loop_exit_candidates
translate_block
translate_body
translate_body_aux
translate_child_block
translate_statement
translate_terminator
Type Aliases
Cfg
FlowBlockId
OrdBlockId
charon_lib
::
transform
::
ullbc_to_llbc
Function
translate_statement
Copy item path
Settings
Help
Summary
Source
fn translate_statement(st: &
Statement
) ->
Option
<
Statement
>