]>
Commit | Line | Data |
---|---|---|
a1dfa0c6 | 1 | error[E0080]: it is undefined behavior to use this value |
f035d41b | 2 | --> $DIR/ub-ref.rs:6:1 |
0bf4aa26 XL |
3 | | |
4 | LL | const UNALIGNED: &u16 = unsafe { mem::transmute(&[0u8; 4]) }; | |
74b04a01 | 5 | | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered an unaligned reference (required 2 byte alignment but found 1) |
0bf4aa26 | 6 | | |
e1599b0c | 7 | = note: The rules on what exactly is undefined behavior aren't clear, so this check might be overzealous. Please open an issue on the rustc repository if you believe it should not be considered undefined behavior. |
0bf4aa26 | 8 | |
a1dfa0c6 | 9 | error[E0080]: it is undefined behavior to use this value |
f035d41b | 10 | --> $DIR/ub-ref.rs:10:1 |
0bf4aa26 | 11 | | |
74b04a01 XL |
12 | LL | const UNALIGNED_BOX: Box<u16> = unsafe { mem::transmute(&[0u8; 4]) }; |
13 | | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered an unaligned box (required 2 byte alignment but found 1) | |
14 | | | |
15 | = note: The rules on what exactly is undefined behavior aren't clear, so this check might be overzealous. Please open an issue on the rustc repository if you believe it should not be considered undefined behavior. | |
16 | ||
17 | error[E0080]: it is undefined behavior to use this value | |
f035d41b | 18 | --> $DIR/ub-ref.rs:14:1 |
74b04a01 | 19 | | |
0bf4aa26 | 20 | LL | const NULL: &u16 = unsafe { mem::transmute(0usize) }; |
74b04a01 XL |
21 | | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered a NULL reference |
22 | | | |
23 | = note: The rules on what exactly is undefined behavior aren't clear, so this check might be overzealous. Please open an issue on the rustc repository if you believe it should not be considered undefined behavior. | |
24 | ||
25 | error[E0080]: it is undefined behavior to use this value | |
f035d41b | 26 | --> $DIR/ub-ref.rs:17:1 |
74b04a01 XL |
27 | | |
28 | LL | const NULL_BOX: Box<u16> = unsafe { mem::transmute(0usize) }; | |
29 | | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered a NULL box | |
0bf4aa26 | 30 | | |
e1599b0c | 31 | = note: The rules on what exactly is undefined behavior aren't clear, so this check might be overzealous. Please open an issue on the rustc repository if you believe it should not be considered undefined behavior. |
0bf4aa26 | 32 | |
a1dfa0c6 | 33 | error[E0080]: it is undefined behavior to use this value |
f035d41b | 34 | --> $DIR/ub-ref.rs:23:1 |
0bf4aa26 XL |
35 | | |
36 | LL | const REF_AS_USIZE: usize = unsafe { mem::transmute(&0) }; | |
1b1a35ee | 37 | | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered pointer to alloc14, but expected initialized plain (non-pointer) bytes |
0bf4aa26 | 38 | | |
e1599b0c | 39 | = note: The rules on what exactly is undefined behavior aren't clear, so this check might be overzealous. Please open an issue on the rustc repository if you believe it should not be considered undefined behavior. |
0bf4aa26 | 40 | |
a1dfa0c6 | 41 | error[E0080]: it is undefined behavior to use this value |
f035d41b | 42 | --> $DIR/ub-ref.rs:26:1 |
0bf4aa26 XL |
43 | | |
44 | LL | const REF_AS_USIZE_SLICE: &[usize] = &[unsafe { mem::transmute(&0) }]; | |
a1dfa0c6 | 45 | | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered a pointer at .<deref>, but expected plain (non-pointer) bytes |
0bf4aa26 | 46 | | |
e1599b0c | 47 | = note: The rules on what exactly is undefined behavior aren't clear, so this check might be overzealous. Please open an issue on the rustc repository if you believe it should not be considered undefined behavior. |
0bf4aa26 | 48 | |
a1dfa0c6 | 49 | error[E0080]: it is undefined behavior to use this value |
f035d41b | 50 | --> $DIR/ub-ref.rs:29:1 |
74b04a01 XL |
51 | | |
52 | LL | const REF_AS_USIZE_BOX_SLICE: Box<[usize]> = unsafe { mem::transmute::<&[usize], _>(&[mem::transmute(&0)]) }; | |
53 | | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered a pointer at .<deref>, but expected plain (non-pointer) bytes | |
54 | | | |
55 | = note: The rules on what exactly is undefined behavior aren't clear, so this check might be overzealous. Please open an issue on the rustc repository if you believe it should not be considered undefined behavior. | |
56 | ||
57 | error[E0080]: it is undefined behavior to use this value | |
f035d41b | 58 | --> $DIR/ub-ref.rs:32:1 |
0bf4aa26 XL |
59 | | |
60 | LL | const USIZE_AS_REF: &'static u8 = unsafe { mem::transmute(1337usize) }; | |
74b04a01 XL |
61 | | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered a dangling reference (created from integer) |
62 | | | |
63 | = note: The rules on what exactly is undefined behavior aren't clear, so this check might be overzealous. Please open an issue on the rustc repository if you believe it should not be considered undefined behavior. | |
64 | ||
65 | error[E0080]: it is undefined behavior to use this value | |
f035d41b | 66 | --> $DIR/ub-ref.rs:35:1 |
74b04a01 XL |
67 | | |
68 | LL | const USIZE_AS_BOX: Box<u8> = unsafe { mem::transmute(1337usize) }; | |
69 | | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered a dangling box (created from integer) | |
0bf4aa26 | 70 | | |
e1599b0c | 71 | = note: The rules on what exactly is undefined behavior aren't clear, so this check might be overzealous. Please open an issue on the rustc repository if you believe it should not be considered undefined behavior. |
0bf4aa26 | 72 | |
74b04a01 | 73 | error: aborting due to 9 previous errors |
0bf4aa26 XL |
74 | |
75 | For more information about this error, try `rustc --explain E0080`. |