charon_lib::transform::insert_ptr_metadata

Function compute_place_metadata

Source 
pub fn compute_place_metadata<T: BodyTransformCtxWithParams>(
    ctx: &mut T,
    place: &Place,
) -> Operand
Expand description

Emit statements that compute the metadata of the given place. Returns an operand containing the metadata value.