Function data_drop 

pub(super) unsafe fn data_drop(
    store_modules: &AddrVec<ModuleAddr, ModuleInst<'_>>,
    store_data: &mut AddrVec<DataAddr, DataInst>,
    current_module: ModuleAddr,
    data_idx: DataIdx,
)

Safety

1. The module address current_module must be valid in store_modules for some module instance module_inst.
2. The data index data_idx must be valid in module_inst for some data address data_addr.
3. data_addr must be valid in store_data.