Method process

crates/move-stackless-bytecode/src/loop_analysis.rs:76–100

(
        &self,
        targets: &mut FunctionTargetsHolder,
        func_env: &FunctionEnv,
        data: FunctionData,
        _scc_opt: Option<&[FunctionEnv]>,
    )

impl FunctionTargetProcessor for LoopAnalysisProcessor {
    fn process(
        &self,
        targets: &mut FunctionTargetsHolder,
        func_env: &FunctionEnv,
        data: FunctionData,
        _scc_opt: Option<&[FunctionEnv]>,
    ) -> FunctionData {
        if func_env.is_native()
            || data
                .annotations
                .get::<VerificationInfo>()
                .map(|info| info.reachable)
                .unwrap_or(false)
        {
            return data;
        }
        let loop_annotation = Self::build_loop_annotation(targets, func_env, &data);
        // println!("before {}:", self.name());
        // println!("{}", FunctionTarget::new(func_env, &data));
        // let result = Self::transform(func_env, data, &loop_annotation);
        // println!("after {}:", self.name());
        // println!("{}", FunctionTarget::new(func_env, &result));
        // result
        Self::transform(targets, func_env, data, &loop_annotation)
    }

    fn name(&self) -> String {
        "loop_analysis".to_string()