30 lines
750 B
Rust
30 lines
750 B
Rust
|
// Verifies that no_sanitze attribute can be used to
|
||
|
|
// selectively disable sanitizer instrumentation.
|
||
|
|
//
|
||
|
|
// needs-sanitizer-support
|
||
|
|
// compile-flags: -Zsanitizer=address
|
||
|
|
|
||
|
|
#![crate_type="lib"]
|
||
|
|
#![feature(no_sanitize)]
|
||
|
|
|
||
|
|
// CHECK-LABEL: ; sanitizer_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: ; sanitizer_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
|
||
|
|
}
|