diff options
| author | bors <bors@rust-lang.org> | 2019-11-29 11:35:03 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2019-11-29 11:35:03 +0000 |
| commit | c4375c9dfdd7f31de909f6e9384bac1bf37b44da (patch) | |
| tree | 48ff1fdfe6f3945cc4ae39abd2815042ad52bbc4 /src/test/codegen | |
| parent | fe969f4ec67a5bd317818cbc7a648c5795af15fa (diff) | |
| parent | d0b983307b1d4469396389e54b9d9ab2b5f43c48 (diff) | |
| download | rust-c4375c9dfdd7f31de909f6e9384bac1bf37b44da.tar.gz rust-c4375c9dfdd7f31de909f6e9384bac1bf37b44da.zip | |
Auto merge of #66645 - RalfJung:dereferenceable, r=pnkfelix
remove the 'dereferenceable' attribute from Box Fixes https://github.com/rust-lang/rust/issues/66600 r? @eddyb @rkruppe
Diffstat (limited to 'src/test/codegen')
| -rw-r--r-- | src/test/codegen/function-arguments.rs | 4 |
1 files changed, 3 insertions, 1 deletions
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 |