Merge pull request #496 from RalfJung/unreachable

This commit is contained in:
Amanieu d'Antras 2022-10-10 19:03:38 +01:00 committed by GitHub
commit bcd6313307
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -72,7 +72,10 @@ mod asymmetric;
/// impossible to reach by Rust users, unless `compiler-builtins` public division functions or
/// `core/std::unchecked_div/rem` are directly used without a zero check in front.
fn zero_div_fn() -> ! {
unsafe { core::hint::unreachable_unchecked() }
// Calling the intrinsic directly, to avoid the `assert_unsafe_precondition` that cannot be used
// here because it involves non-`inline` functions
// (https://github.com/rust-lang/compiler-builtins/issues/491).
unsafe { core::intrinsics::unreachable() }
}
const USE_LZ: bool = {