From cf2dff2b1e3fa55fa5415d524200070d0d7aacfe Mon Sep 17 00:00:00 2001
From: Albert Larsan <74931857+albertlarsan68@users.noreply.github.com>
Date: Thu, 5 Jan 2023 09:13:28 +0100
Subject: Move /src/test to /tests

---
 tests/codegen/noalias-refcell.rs | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 tests/codegen/noalias-refcell.rs

(limited to 'tests/codegen/noalias-refcell.rs')

diff --git a/tests/codegen/noalias-refcell.rs b/tests/codegen/noalias-refcell.rs
new file mode 100644
index 00000000000..dba73937abf
--- /dev/null
+++ b/tests/codegen/noalias-refcell.rs
@@ -0,0 +1,14 @@
+// compile-flags: -O -C no-prepopulate-passes -Z mutable-noalias=yes
+
+#![crate_type = "lib"]
+
+use std::cell::{Ref, RefCell, RefMut};
+
+// Make sure that none of the arguments get a `noalias` attribute, because
+// the `RefCell` might alias writes after either `Ref`/`RefMut` is dropped.
+
+// CHECK-LABEL: @maybe_aliased(
+// CHECK-NOT: noalias
+// CHECK-SAME: %_refcell
+#[no_mangle]
+pub unsafe fn maybe_aliased(_: Ref<'_, i32>, _: RefMut<'_, i32>, _refcell: &RefCell<i32>) {}
-- 
cgit 1.4.1-3-g733a5