Function memory32_atomic_check_notify 

pub(crate) fn memory32_atomic_check_notify(
    mem: &VMMemoryDefinition,
    dst: u32,
) -> Result<(), Trap>

Check the bounds and alignment of a memory.atomic.notify address.

Errors

Returns a Trap error if the memory range is out of bounds or not 32-bit aligned.