pub fn mem_copy_opt( context: &mut Context<'_>, analyses: &AnalysisResults, function: Function, ) -> Result<bool, IrError>