diff options
| author | Ralf Jung <post@ralfj.de> | 2019-11-22 22:04:22 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2019-11-22 22:04:22 +0100 |
| commit | be079117f068af74a133dcaaae33ed495f035cc2 (patch) | |
| tree | 6cf2ac7b24b26ec58da4a6fc14a600f72f33c328 /src/test/codegen/function-arguments.rs | |
| parent | 083b5a0a1bb3b2ee0873697ebf37e88d85faa3e5 (diff) | |
| download | rust-be079117f068af74a133dcaaae33ed495f035cc2.tar.gz rust-be079117f068af74a133dcaaae33ed495f035cc2.zip | |
remove the 'dereferenceable' attribute from Box
Diffstat (limited to 'src/test/codegen/function-arguments.rs')
| -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 |