invoke the unreachable intrinsic, not the stable wrapper

This commit is contained in:
Ralf Jung 2022-10-09 14:58:18 +02:00
parent 924453eea6
commit 6267545315

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 = {