blob: 708b954e84aeae95b429ef35dc545e2f17152bac (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
// stderr-per-bitwidth
// ignore-debug (the debug assertions change the error)
use std::alloc::Layout;
// ok
const LAYOUT_VALID: Layout = unsafe { Layout::from_size_align_unchecked(0x1000, 0x08) };
// not ok, since alignment needs to be non-zero.
const LAYOUT_INVALID_ZERO: Layout = unsafe { Layout::from_size_align_unchecked(0x1000, 0x00) };
//~^ ERROR it is undefined behavior to use this value
// not ok, since alignment needs to be a power of two.
const LAYOUT_INVALID_THREE: Layout = unsafe { Layout::from_size_align_unchecked(9, 3) };
//~^ ERROR it is undefined behavior to use this value
fn main() {}
|
