Module reconstruct_
boxes
charon_
lib
0.1.96
Module reconstruct_
boxes
Sections
Micro-pass: reconstruct piecewise box allocations using
malloc
and
ShallowInitBox
.
Module Items
Structs
In charon_
lib::
transform
Modules
check_generics
compute_short_names
ctx
duplicate_defaulted_methods
duplicate_return
expand_associated_types
filter_invisible_trait_impls
filter_unreachable_blocks
graphs
hide_marker_traits
index_intermediate_assigns
index_to_function_calls
inline_local_panic_functions
inline_promoted_consts
insert_assign_return_unit
insert_storage_lives
lift_associated_item_clauses
merge_goto_chains
monomorphize
ops_to_function_calls
prettify_cfg
reconstruct_asserts
reconstruct_boxes
recover_body_comments
remove_drop_never
remove_dynamic_checks
remove_nops
remove_read_discriminant
remove_unit_locals
remove_unused_locals
remove_unused_methods
remove_unused_self_clause
reorder_decls
simplify_constants
skip_trait_refs_when_known
ullbc_to_llbc
unbind_item_vars
update_block_indices
Structs
PrintCtxPass
Enums
Pass
Statics
FINAL_CLEANUP_PASSES
INITIAL_CLEANUP_PASSES
LLBC_PASSES
SHARED_FINALIZING_PASSES
ULLBC_PASSES
charon_lib
::
transform
Module
reconstruct_boxes
Copy item path
Settings
Help
Summary
Source
Expand description
§
Micro-pass: reconstruct piecewise box allocations using
malloc
and
ShallowInitBox
.
Structs
§
Transform