Skip to main content

new_promoted_global

charon_lib::transform::simplify_output::simplify_constants

Function new_promoted_global 

Source 
fn new_promoted_global(
    ctx: &mut UllbcStatementTransformCtx<'_>,
    value: ConstantExpr,
    ptr_metadata: ConstantExpr,
) -> GlobalDeclRef
Expand description

Add a global holding value, named like the promoted constants of the current item, and return its place. ptr_metadata is the metadata of pointers to the global.