72800d3b89
Except for `simd-intrinsic/`, which has a lot of files containing multiple types like `u8x64` which really are better when hand-formatted. There is a surprising amount of two-space indenting in this directory. Non-trivial changes: - `rustfmt::skip` needed in `debug-column.rs` to preserve meaning of the test. - `rustfmt::skip` used in a few places where hand-formatting read more nicely: `enum/enum-match.rs` - Line number adjustments needed for the expected output of `debug-column.rs` and `coroutine-debug.rs`.
30 lines
778 B
Rust
30 lines
778 B
Rust
// Verifies that no_sanitize attribute can be used to
|
|
// selectively disable sanitizer instrumentation.
|
|
//
|
|
//@ needs-sanitizer-address
|
|
//@ compile-flags: -Zsanitizer=address -Ctarget-feature=-crt-static -Copt-level=0
|
|
|
|
#![crate_type = "lib"]
|
|
#![feature(no_sanitize)]
|
|
|
|
// CHECK-LABEL: ; no_sanitize::unsanitized
|
|
// CHECK-NEXT: ; Function Attrs:
|
|
// CHECK-NOT: sanitize_address
|
|
// CHECK: start:
|
|
// CHECK-NOT: call void @__asan_report_load
|
|
// CHECK: }
|
|
#[no_sanitize(address)]
|
|
pub fn unsanitized(b: &mut u8) -> u8 {
|
|
*b
|
|
}
|
|
|
|
// CHECK-LABEL: ; no_sanitize::sanitized
|
|
// CHECK-NEXT: ; Function Attrs:
|
|
// CHECK: sanitize_address
|
|
// CHECK: start:
|
|
// CHECK: call void @__asan_report_load
|
|
// CHECK: }
|
|
pub fn sanitized(b: &mut u8) -> u8 {
|
|
*b
|
|
}
|