1 // Verifies that no_sanitize attribute prevents inlining when
2 // given sanitizer is enabled, but has no effect on inlining otherwise.
4 // needs-sanitizer-support
7 // revisions: ASAN LSAN
9 //[ASAN] compile-flags: -Zsanitizer=address -C opt-level=3 -Z mir-opt-level=3
10 //[LSAN] compile-flags: -Zsanitizer=leak -C opt-level=3 -Z mir-opt-level=3
13 #![feature(no_sanitize)]
15 // ASAN-LABEL: define void @test
16 // ASAN: tail call fastcc void @random_inline
19 // LSAN-LABEL: define void @test
23 pub fn test(n: &mut u32) {
27 #[no_sanitize(address)]
30 pub fn random_inline(n: &mut u32) {