mirror of
https://github.com/rust-lang/rust.git
synced 2025-10-02 18:27:37 +00:00
95bdb34494
This removes the #[no_sanitize] attribute, which was behind an unstable feature named no_sanitize. Instead, we introduce the sanitize attribute which is more powerful and allows to be extended in the future (instead of just focusing on turning sanitizers off). This also makes sanitize(kernel_address = ..) attribute work with -Zsanitize=address To do it the same as how clang disables address sanitizer, we now disable ASAN on sanitize(kernel_address = "off") and KASAN on sanitize(address = "off"). The same was added to clang in https://reviews.llvm.org/D44981.
77 lines
1.5 KiB
Rust
77 lines
1.5 KiB
Rust
// Checks that only functions with compatible attributes are inlined.
|
|
//@ only-x86_64
|
|
//@ compile-flags: -Cpanic=abort
|
|
|
|
#![crate_type = "lib"]
|
|
#![feature(sanitize)]
|
|
#![feature(c_variadic)]
|
|
|
|
#[inline]
|
|
#[target_feature(enable = "sse2")]
|
|
unsafe fn sse2() {}
|
|
|
|
#[inline]
|
|
fn nop() {}
|
|
|
|
// CHECK-LABEL: fn f0()
|
|
// CHECK: bb0: {
|
|
// CHECK-NEXT: return;
|
|
#[target_feature(enable = "sse2")]
|
|
pub unsafe fn f0() {
|
|
sse2();
|
|
}
|
|
|
|
// CHECK-LABEL: fn f1()
|
|
// CHECK: bb0: {
|
|
// CHECK-NEXT: sse2()
|
|
pub unsafe fn f1() {
|
|
sse2();
|
|
}
|
|
|
|
// CHECK-LABEL: fn f2()
|
|
// CHECK: bb0: {
|
|
// CHECK-NEXT: nop()
|
|
#[target_feature(enable = "avx")]
|
|
pub unsafe fn f2() {
|
|
nop();
|
|
}
|
|
|
|
#[inline]
|
|
#[sanitize(address = "off")]
|
|
pub unsafe fn sanitize_off() {}
|
|
|
|
// CHECK-LABEL: fn inlined_sanitize_off()
|
|
// CHECK: bb0: {
|
|
// CHECK-NEXT: return;
|
|
#[sanitize(address = "off")]
|
|
pub unsafe fn inlined_sanitize_off() {
|
|
sanitize_off();
|
|
}
|
|
|
|
// CHECK-LABEL: fn not_inlined_sanitize_off()
|
|
// CHECK: bb0: {
|
|
// CHECK-NEXT: sanitize_off()
|
|
pub unsafe fn not_inlined_sanitize_off() {
|
|
sanitize_off();
|
|
}
|
|
|
|
// CHECK-LABEL: fn not_inlined_c_variadic()
|
|
// CHECK: bb0: {
|
|
// CHECK-NEXT: StorageLive(_1)
|
|
// CHECK-NEXT: _1 = sum
|
|
pub unsafe fn not_inlined_c_variadic() {
|
|
let _ = sum(4u32, 4u32, 30u32, 200u32, 1000u32);
|
|
}
|
|
|
|
#[inline(always)]
|
|
#[no_mangle]
|
|
unsafe extern "C" fn sum(n: u32, mut vs: ...) -> u32 {
|
|
let mut s = 0;
|
|
let mut i = 0;
|
|
while i != n {
|
|
s += vs.arg::<u32>();
|
|
i += 1;
|
|
}
|
|
s
|
|
}
|