From 9728cc4e26c936e17a107ceeccf029bde4e7e1f0 Mon Sep 17 00:00:00 2001 From: woppopo Date: Sat, 29 Jan 2022 19:13:23 +0900 Subject: Document about some behaviors of `const_(de)allocate` and add some tests. --- .../const-eval/heap/alloc_intrinsic_zero_sized.rs | 16 ++++++++++++++++ .../const-eval/heap/dealloc_intrinsic_zero_sized.rs | 17 +++++++++++++++++ 2 files changed, 33 insertions(+) create mode 100644 src/test/ui/consts/const-eval/heap/alloc_intrinsic_zero_sized.rs create mode 100644 src/test/ui/consts/const-eval/heap/dealloc_intrinsic_zero_sized.rs (limited to 'src') diff --git a/src/test/ui/consts/const-eval/heap/alloc_intrinsic_zero_sized.rs b/src/test/ui/consts/const-eval/heap/alloc_intrinsic_zero_sized.rs new file mode 100644 index 00000000000..407e69d41a0 --- /dev/null +++ b/src/test/ui/consts/const-eval/heap/alloc_intrinsic_zero_sized.rs @@ -0,0 +1,16 @@ +// run-pass +#![feature(core_intrinsics)] +#![feature(const_heap)] +#![feature(inline_const)] + +use std::intrinsics; + +struct ZST; + +fn main() { + const { + unsafe { + let _ = intrinsics::const_allocate(0, 0) as *mut ZST; + } + } +} diff --git a/src/test/ui/consts/const-eval/heap/dealloc_intrinsic_zero_sized.rs b/src/test/ui/consts/const-eval/heap/dealloc_intrinsic_zero_sized.rs new file mode 100644 index 00000000000..84fb4d2ea87 --- /dev/null +++ b/src/test/ui/consts/const-eval/heap/dealloc_intrinsic_zero_sized.rs @@ -0,0 +1,17 @@ +// run-pass +#![feature(core_intrinsics)] +#![feature(const_heap)] +#![feature(inline_const)] + +use std::intrinsics; + +fn main() { + const { + unsafe { + let ptr1 = intrinsics::const_allocate(0, 0); + let ptr2 = intrinsics::const_allocate(0, 0); + intrinsics::const_deallocate(ptr1, 0, 0); + intrinsics::const_deallocate(ptr2, 0, 0); + } + } +} -- cgit 1.4.1-3-g733a5