fn verify_args_inorder_at(builder: &CCFGBuilder, call_node: SSARef) -> Result<(), String> {
        let mut errors = Vec::new();
        let args = builder.args_inorder(call_node);
        for arg in args {
            if let Err(debug) = builder.ssa.node_data(arg) {
                let err = format!("{:?}", debug);
                errors.push(err);
            }
        }
        if errors.len() > 0 {
            Err(errors.join(Self::DELIM))
        } else {
            Ok(())
        }
    }
// All argument node exist in SSAStorage
All argument node exist in SSAStorage
All argument node exist in SSAStorage
fn verify_args_inorder_at(builder: &CCFGBuilder, call_node: SSARef) -> Result<(), String> {
        let mut errors = Vec::new();
        let args = builder.args_inorder(call_node);
        for arg in args {
            if let Err(debug) = builder.ssa.node_data(arg) {
                let err = format!("{:?}", debug);
                errors.push(err);
            }
        }
        if errors.len() > 0 {
            Err(errors.join(Self::DELIM))
        } else {
            Ok(())
        }
    }
fn verify_args_inorder_at ( builder : & CCFGBuilder , call_node : SSARef ) -> Result < ( ) , String > { let mut errors = Vec :: new ( ) ; let args = builder . args_inorder ( call_node ) ; for arg in args { if let Err ( debug ) = builder . ssa . node_data ( arg ) { let err = format ! ( " " debug ) ; errors . push ( err ) ; } } if errors . len ( ) > 0 { Err ( errors . join ( Self :: DELIM ) ) } else { Ok ( ( ) ) } }
All argument node exist in SSAStorage
All argument node exist in SSAStorage
builder
&CCFGBuilder
call_node
SSARef
builder
&CCFGBuilder
call_node
SSARef