diff options
Diffstat (limited to 'src/test/codegen/noalias-rwlockreadguard.rs')
| -rw-r--r-- | src/test/codegen/noalias-rwlockreadguard.rs | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/src/test/codegen/noalias-rwlockreadguard.rs b/src/test/codegen/noalias-rwlockreadguard.rs deleted file mode 100644 index 7f7b46c85..000000000 --- a/src/test/codegen/noalias-rwlockreadguard.rs +++ /dev/null @@ -1,14 +0,0 @@ -// compile-flags: -O -C no-prepopulate-passes -Z mutable-noalias=yes - -#![crate_type = "lib"] - -use std::sync::{RwLock, RwLockReadGuard}; - -// Make sure that `RwLockReadGuard` does not get a `noalias` attribute, because -// the `RwLock` might alias writes after it is dropped. - -// CHECK-LABEL: @maybe_aliased( -// CHECK-NOT: noalias -// CHECK-SAME: %_data -#[no_mangle] -pub unsafe fn maybe_aliased(_: RwLockReadGuard<'_, i32>, _data: &RwLock<i32>) {} |