mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Use no_core for KCFI tests to exercise them in CI

Browse Source
This commit is contained in:
Tomasz Miąsko 2023-09-10 00:00:00 +00:00
parent 3ebb5629d1
commit ce19bc3964
2 changed files with 28 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
tests/codegen/sanitizer/kcfi-add-kcfi-flag.rs
View File

@ -1,9 +1,20 @@
// Verifies that "kcfi" module flag is added. // Verifies that "kcfi" module flag is added.
// //
// needs-sanitizer-kcfi // revisions: aarch64 x86_64
// [aarch64] compile-flags: --target aarch64-unknown-none
// [aarch64] needs-llvm-components: aarch64
// [x86_64] compile-flags: --target x86_64-unknown-none
// [x86_64] needs-llvm-components: x86
// compile-flags: -Ctarget-feature=-crt-static -Zsanitizer=kcfi // compile-flags: -Ctarget-feature=-crt-static -Zsanitizer=kcfi
#![feature(no_core, lang_items)]
#![crate_type="lib"] #![crate_type="lib"]
#![no_core]
#[lang="sized"]
trait Sized { }
#[lang="copy"]
trait Copy { }
pub fn foo() { pub fn foo() {
} }

21
tests/ui/sanitize/cfg.rs
View File

@ -1,15 +1,15 @@
// Verifies that when compiling with -Zsanitizer=option, // Verifies that when compiling with -Zsanitizer=option,
// the `#[cfg(sanitize = "option")]` attribute is configured. // the `#[cfg(sanitize = "option")]` attribute is configured.
// needs-sanitizer-support
// check-pass // check-pass
// revisions: address cfi kcfi leak memory thread // revisions: address cfi kcfi leak memory thread
//[address]needs-sanitizer-address //[address]needs-sanitizer-address
//[address]compile-flags: -Zsanitizer=address --cfg address //[address]compile-flags: -Zsanitizer=address --cfg address
//[cfi]needs-sanitizer-cfi //[cfi]needs-sanitizer-cfi
//[cfi]compile-flags: -Zsanitizer=cfi --cfg cfi -Clto //[cfi]compile-flags: -Zsanitizer=cfi --cfg cfi
//[kcfi]needs-sanitizer-kcfi //[cfi]compile-flags: -Clto -Ccodegen-units=1 -Ctarget-feature=-crt-static
//[kcfi]compile-flags: -Zsanitizer=kcfi --cfg kcfi //[kcfi]needs-llvm-components: x86
//[kcfi]compile-flags: -Zsanitizer=kcfi --cfg kcfi --target x86_64-unknown-none
//[leak]needs-sanitizer-leak //[leak]needs-sanitizer-leak
//[leak]compile-flags: -Zsanitizer=leak --cfg leak //[leak]compile-flags: -Zsanitizer=leak --cfg leak
//[memory]needs-sanitizer-memory //[memory]needs-sanitizer-memory
@ -17,7 +17,14 @@
//[thread]needs-sanitizer-thread //[thread]needs-sanitizer-thread
//[thread]compile-flags: -Zsanitizer=thread --cfg thread //[thread]compile-flags: -Zsanitizer=thread --cfg thread
#![feature(cfg_sanitize)] #![feature(cfg_sanitize, no_core, lang_items)]
#![crate_type="lib"]
#![no_core]
#[lang="sized"]
trait Sized { }
#[lang="copy"]
trait Copy { }
#[cfg(all(sanitize = "address", address))] #[cfg(all(sanitize = "address", address))]
fn main() {} fn main() {}
@ -36,3 +43,7 @@ fn main() {}
#[cfg(all(sanitize = "thread", thread))] #[cfg(all(sanitize = "thread", thread))]
fn main() {} fn main() {}
pub fn check() {
main();
}