Rollup merge of #149409 - cezarbbb:stable_ssp, r=SparrowLii

Test the coexistence of 'stack-protector' and 'safe-stack'

This is a test to detect the coexistence of 'stack-protector' and 'safe-stack', and it's a supplement to pr rust-lang/rust#147115 . After the solution to issue rust-lang/rust#149340, I rewrote a version using minicore to circumvent the 'abi_mismatch' error.

r? `@SparrowLii` (Do you have time to review it?)
This commit is contained in:
Stuart Cook 2025-11-29 21:12:26 +11:00 committed by GitHub
commit 4e3b7a1e31
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -0,0 +1,54 @@
//@ add-minicore
//@ revisions: all strong none safestack safestack_strong safestack_all
//@ assembly-output: emit-asm
//@ only-x86_64-unknown-linux-gnu
//@ [all] compile-flags: -Z stack-protector=all
//@ [strong] compile-flags: -Z stack-protector=strong
//@ [none] compile-flags: -Z stack-protector=none
//@ [safestack] compile-flags: -Z stack-protector=none -Z sanitizer=safestack
//@ [safestack_strong] compile-flags: -Z stack-protector=strong -Z sanitizer=safestack
//@ [safestack_all] compile-flags: -Z stack-protector=all -Z sanitizer=safestack
//@ compile-flags: -C opt-level=2 -Z merge-functions=disabled --target x86_64-unknown-linux-gnu
//@ needs-llvm-components: x86
#![feature(unsized_fn_params)]
#![crate_type = "lib"]
#![feature(no_core)]
#![no_core]
#![no_std]
extern crate minicore;
use minicore::*;
extern "C" {
fn test4spss(p: *mut u8);
}
// CHECK-LABEL: test1{{:|\[}}
#[no_mangle]
pub unsafe fn test1(x: *mut u8) -> u8 {
let mut buf: [u8; 64] = [0; 64];
let p = &mut buf as *mut [u8; 64] as *mut u8;
*p = 42;
test4spss(p);
*x = *p;
*p
// none-NOT: __stack_chk_fail
// strong: __stack_chk_fail
// all: __stack_chk_fail
// safestack: __safestack_unsafe_stack_ptr
// safestack-NOT: __stack_chk_fail
// safestack_strong: __safestack_unsafe_stack_ptr
// safestack_strong: __stack_chk_fail
// safestack_all: __safestack_unsafe_stack_ptr
// safestack_all: __stack_chk_fail
}