Function creusot_contracts::std::intrinsics::volatile_store

pub unsafe extern "rust-intrinsic" fn volatile_store<T>(
    dst: *mut T,
    val: T,
)

🔬This is a nightly-only experimental API. (core_intrinsics)

Performs a volatile store to the dst pointer.

The stabilized version of this intrinsic is core::ptr::write_volatile.