// Verifies that AddressSanitizer and MemorySanitizer
// recovery mode can be enabled with -Zsanitizer-recover.
//
// needs-sanitizer-support
// only-linux
// only-x86_64
// revisions:ASAN ASAN-RECOVER MSAN MSAN-RECOVER
//
//[ASAN]         compile-flags: -Zsanitizer=address
//[ASAN-RECOVER] compile-flags: -Zsanitizer=address -Zsanitizer-recover=address
//[MSAN]         compile-flags: -Zsanitizer=memory
//[MSAN-RECOVER] compile-flags: -Zsanitizer=memory  -Zsanitizer-recover=memory

#![crate_type="lib"]

// ASAN-LABEL:         define i32 @penguin(
// ASAN-RECOVER-LABEL: define i32 @penguin(
// MSAN-LABEL:         define i32 @penguin(
// MSAN-RECOVER-LABEL: define i32 @penguin(
#[no_mangle]
pub fn penguin(p: &mut i32) -> i32 {
    // ASAN:             call void @__asan_report_load4(i64 %0)
    // ASAN:             unreachable
    //
    // ASAN-RECOVER:     call void @__asan_report_load4_noabort(
    // ASAN-RECOVER-NOT: unreachable
    //
    // MSAN:             call void @__msan_warning_noreturn()
    // MSAN:             unreachable
    //
    // MSAN-RECOVER:     call void @__msan_warning()
    // MSAN-RECOVER-NOT: unreachable
    *p
}