// needs-sanitizer-support
// only-linux
// only-x86_64
-// revisions:ASAN ASAN-RECOVER MSAN MSAN-RECOVER
+// revisions:ASAN ASAN-RECOVER MSAN MSAN-RECOVER MSAN-RECOVER-LTO
+// no-prefer-dynamic
//
-//[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] 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
+//[MSAN-RECOVER-LTO] compile-flags: -Zsanitizer=memory -Zsanitizer-recover=memory -C lto=fat
+//
+// MSAN-NOT: @__msan_keep_going
+// MSAN-RECOVER: @__msan_keep_going = weak_odr {{.*}} constant i32 1
+// MSAN-RECOVER-LTO: @__msan_keep_going = weak_odr {{.*}} constant i32 1
-// ASAN-LABEL: define i32 @penguin(
+// ASAN-LABEL: define i32 @penguin(
+// ASAN: call void @__asan_report_load4(i64 %0)
+// ASAN: unreachable
+// ASAN: }
+//
// ASAN-RECOVER-LABEL: define i32 @penguin(
-// MSAN-LABEL: define i32 @penguin(
+// ASAN-RECOVER: call void @__asan_report_load4_noabort(
+// ASAN-RECOVER-NOT: unreachable
+// ASAN: }
+//
+// MSAN-LABEL: define i32 @penguin(
+// MSAN: call void @__msan_warning_noreturn()
+// MSAN: unreachable
+// MSAN: }
+//
// MSAN-RECOVER-LABEL: define i32 @penguin(
+// MSAN-RECOVER: call void @__msan_warning()
+// MSAN-RECOVER-NOT: unreachable
+// MSAN-RECOVER: }
+//
+// MSAN-RECOVER-LTO-LABEL: define i32 @penguin(
+// MSAN-RECOVER-LTO: call void @__msan_warning()
+// MSAN-RECOVER-LTO-NOT: unreachable
+// MSAN-RECOVER-LTO: }
+//
#[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
}
+
+fn main() {}