Function creusot_contracts::std::intrinsics::abort

pub extern "rust-intrinsic" fn abort() -> !

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

Aborts the execution of the process.

Note that, unlike most intrinsics, this is safe to call; it does not require an unsafe block. Therefore, implementations must not require the user to uphold any safety invariants.

std::process::abort is to be preferred if possible, as its behavior is more user-friendly and more stable.

The current implementation of intrinsics::abort is to invoke an invalid instruction, on most platforms. On Unix, the process will probably terminate with a signal like SIGABRT, SIGILL, SIGTRAP, SIGSEGV or SIGBUS. The precise behaviour is not guaranteed and not stable.