Function creusot_contracts::std::intrinsics::atomic_singlethreadfence_release

pub unsafe extern "rust-intrinsic" fn atomic_singlethreadfence_release()

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

A compiler-only memory barrier.

Memory accesses will never be reordered across this barrier by the compiler, but no instructions will be emitted for it. This is appropriate for operations on the same thread that may be preempted, such as when interacting with signal handlers.

The stabilized version of this intrinsic is available in atomic::compiler_fence by passing Ordering::Release as the order.