888332fee4
Transition unsupported naked functions future incompatibility lint into an error: * Naked functions must contain a single inline assembly block. Introduced as future incompatibility lint in 1.50 #79653. Change into an error fixes a soundness issue described in #32489. * Naked functions must not use any forms of inline attribute. Introduced as future incompatibility lint in 1.56 #87652.
32 lines
825 B
Rust
32 lines
825 B
Rust
// compile-flags: -C no-prepopulate-passes
|
|
// needs-asm-support
|
|
// only-x86_64
|
|
|
|
#![crate_type = "lib"]
|
|
#![feature(naked_functions)]
|
|
use std::arch::asm;
|
|
|
|
// CHECK: Function Attrs: naked
|
|
// CHECK-NEXT: define{{.*}}void @naked_empty()
|
|
#[no_mangle]
|
|
#[naked]
|
|
pub unsafe extern "C" fn naked_empty() {
|
|
// CHECK-NEXT: {{.+}}:
|
|
// CHECK-NEXT: call void asm
|
|
// CHECK-NEXT: unreachable
|
|
asm!("ret",
|
|
options(noreturn));
|
|
}
|
|
|
|
// CHECK: Function Attrs: naked
|
|
// CHECK-NEXT: define{{.*}}i{{[0-9]+}} @naked_with_args_and_return(i64 %a, i64 %b)
|
|
#[no_mangle]
|
|
#[naked]
|
|
pub unsafe extern "C" fn naked_with_args_and_return(a: isize, b: isize) -> isize {
|
|
// CHECK-NEXT: {{.+}}:
|
|
// CHECK-NEXT: call void asm
|
|
// CHECK-NEXT: unreachable
|
|
asm!("lea rax, [rdi + rsi]",
|
|
"ret",
|
|
options(noreturn));
|
|
}
|