From be079117f068af74a133dcaaae33ed495f035cc2 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Fri, 22 Nov 2019 22:04:22 +0100
Subject: remove the 'dereferenceable' attribute from Box

---
 src/test/codegen/function-arguments.rs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/test/codegen/function-arguments.rs')

diff --git a/src/test/codegen/function-arguments.rs b/src/test/codegen/function-arguments.rs
index 7e1791cd4f2..5c9aa48c0a5 100644
--- a/src/test/codegen/function-arguments.rs
+++ b/src/test/codegen/function-arguments.rs
@@ -65,7 +65,9 @@ pub fn indirect_struct(_: S) {
 pub fn borrowed_struct(_: &S) {
 }
 
-// CHECK: noalias align 4 dereferenceable(4) i32* @_box(i32* noalias align 4 dereferenceable(4) %x)
+// `Box` can get deallocated during execution of the function, so it should
+// not get `dereferenceable`.
+// CHECK: noalias nonnull align 4 i32* @_box(i32* noalias nonnull align 4 %x)
 #[no_mangle]
 pub fn _box(x: Box<i32>) -> Box<i32> {
   x
-- 
cgit 1.4.1-3-g733a5