mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Rebless.

Browse Source
This commit is contained in:
Camille GILLOT 2023-10-16 18:36:47 +00:00
parent 669b99d35e
commit 0eb958a89b
15 changed files with 45 additions and 45 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
tests/mir-opt/const_allocation.main.ConstProp.after.32bit.mir
View File

@ -18,19 +18,19 @@ fn main() -> () {
}
ALLOC0 (static: FOO, size: 8, align: 4) {
╾─ALLOC1──╼ 03 00 00 00 │ ╾──╼....
╾─ALLOC1─╼ 03 00 00 00 │ ╾──╼....
}
ALLOC1 (size: 48, align: 4) {
0x00 │ 00 00 00 00 __ __ __ __ ╾─ALLOC2──╼ 00 00 00 00 │ ....░░░░╾──╼....
0x10 │ 00 00 00 00 __ __ __ __ ╾─ALLOC3──╼ 02 00 00 00 │ ....░░░░╾──╼....
0x20 │ 01 00 00 00 2a 00 00 00 ╾─ALLOC4──╼ 03 00 00 00 │ ....*...╾──╼....
0x10 │ 00 00 00 00 __ __ __ __ ╾─ALLOC3─╼ 02 00 00 00 │ ....░░░░╾──╼....
0x20 │ 01 00 00 00 2a 00 00 00 ╾─ALLOC4─╼ 03 00 00 00 │ ....*...╾──╼....
}
ALLOC2 (size: 0, align: 4) {}
ALLOC3 (size: 16, align: 4) {
╾─ALLOC5──╼ 03 00 00 00 ╾─ALLOC6──╼ 03 00 00 00 │ ╾──╼....╾──╼....
╾─ALLOC5──╼ 03 00 00 00 ╾─ALLOC6─╼ 03 00 00 00 │ ╾──╼....╾──╼....
}
ALLOC5 (size: 3, align: 1) {
@ -42,8 +42,8 @@ ALLOC6 (size: 3, align: 1) {
}
ALLOC4 (size: 24, align: 4) {
0x00 │ ╾─ALLOC7──╼ 03 00 00 00 ╾─ALLOC8──╼ 03 00 00 00 │ ╾──╼....╾──╼....
0x10 │ ╾─ALLOC9──╼ 04 00 00 00 │ ╾──╼....
0x00 │ ╾─ALLOC7─╼ 03 00 00 00 ╾─ALLOC8─╼ 03 00 00 00 │ ╾──╼....╾──╼....
0x10 │ ╾─ALLOC9─╼ 04 00 00 00 │ ╾──╼....
}
ALLOC7 (size: 3, align: 1) {

14
tests/mir-opt/const_allocation.main.ConstProp.after.64bit.mir
View File

@ -18,14 +18,14 @@ fn main() -> () {
}
ALLOC0 (static: FOO, size: 16, align: 8) {
╾───────ALLOC1────────╼ 03 00 00 00 00 00 00 00 │ ╾──────╼........
╾───────ALLOC1───────╼ 03 00 00 00 00 00 00 00 │ ╾──────╼........
}
ALLOC1 (size: 72, align: 8) {
0x00 │ 00 00 00 00 __ __ __ __ ╾───────ALLOC2────────╼ │ ....░░░░╾──────╼
0x10 │ 00 00 00 00 00 00 00 00 00 00 00 00 __ __ __ __ │ ............░░░░
0x20 │ ╾───────ALLOC3────────╼ 02 00 00 00 00 00 00 00 │ ╾──────╼........
0x30 │ 01 00 00 00 2a 00 00 00 ╾───────ALLOC4────────╼ │ ....*...╾──────╼
0x20 │ ╾───────ALLOC3───────╼ 02 00 00 00 00 00 00 00 │ ╾──────╼........
0x30 │ 01 00 00 00 2a 00 00 00 ╾───────ALLOC4───────╼ │ ....*...╾──────╼
0x40 │ 03 00 00 00 00 00 00 00 │ ........
}
@ -33,7 +33,7 @@ ALLOC2 (size: 0, align: 8) {}
ALLOC3 (size: 32, align: 8) {
0x00 │ ╾───────ALLOC5────────╼ 03 00 00 00 00 00 00 00 │ ╾──────╼........
0x10 │ ╾───────ALLOC6────────╼ 03 00 00 00 00 00 00 00 │ ╾──────╼........
0x10 │ ╾───────ALLOC6───────╼ 03 00 00 00 00 00 00 00 │ ╾──────╼........
}
ALLOC5 (size: 3, align: 1) {
@ -45,9 +45,9 @@ ALLOC6 (size: 3, align: 1) {
}
ALLOC4 (size: 48, align: 8) {
0x00 │ ╾───────ALLOC7────────╼ 03 00 00 00 00 00 00 00 │ ╾──────╼........
0x10 │ ╾───────ALLOC8────────╼ 03 00 00 00 00 00 00 00 │ ╾──────╼........
0x20 │ ╾───────ALLOC9────────╼ 04 00 00 00 00 00 00 00 │ ╾──────╼........
0x00 │ ╾───────ALLOC7───────╼ 03 00 00 00 00 00 00 00 │ ╾──────╼........
0x10 │ ╾───────ALLOC8───────╼ 03 00 00 00 00 00 00 00 │ ╾──────╼........
0x20 │ ╾───────ALLOC9───────╼ 04 00 00 00 00 00 00 00 │ ╾──────╼........
}
ALLOC7 (size: 3, align: 1) {

12
tests/mir-opt/const_allocation2.main.ConstProp.after.32bit.mir
View File

@ -18,19 +18,19 @@ fn main() -> () {
}
ALLOC0 (static: FOO, size: 8, align: 4) {
╾─ALLOC1──╼ 03 00 00 00 │ ╾──╼....
╾─ALLOC1─╼ 03 00 00 00 │ ╾──╼....
}
ALLOC1 (size: 48, align: 4) {
0x00 │ 00 00 00 00 __ __ __ __ ╾─ALLOC2──╼ 00 00 00 00 │ ....░░░░╾──╼....
0x10 │ 00 00 00 00 __ __ __ __ ╾─ALLOC3──╼ 02 00 00 00 │ ....░░░░╾──╼....
0x20 │ 01 00 00 00 2a 00 00 00 ╾─ALLOC4──╼ 03 00 00 00 │ ....*...╾──╼....
0x00 │ 00 00 00 00 __ __ __ __ ╾─ALLOC2─╼ 00 00 00 00 │ ....░░░░╾──╼....
0x10 │ 00 00 00 00 __ __ __ __ ╾─ALLOC3─╼ 02 00 00 00 │ ....░░░░╾──╼....
0x20 │ 01 00 00 00 2a 00 00 00 ╾─ALLOC4─╼ 03 00 00 00 │ ....*...╾──╼....
}
ALLOC2 (size: 0, align: 4) {}
ALLOC3 (size: 8, align: 4) {
╾─ALLOC5──╼ ╾─ALLOC6──╼ │ ╾──╼╾──╼
╾─ALLOC5─╼ ╾─ALLOC6─╼ │ ╾──╼╾──╼
}
ALLOC5 (size: 1, align: 1) {
@ -42,7 +42,7 @@ ALLOC6 (size: 1, align: 1) {
}
ALLOC4 (size: 12, align: 4) {
╾─A7+0x3──╼ ╾─ALLOC8──╼ ╾─A9+0x2──╼ │ ╾──╼╾──╼╾──╼
╾─A7+0x3─╼ ╾─ALLOC8─╼ ╾─A9+0x2─╼ │ ╾──╼╾──╼╾──╼
}
ALLOC7 (size: 4, align: 1) {

14
tests/mir-opt/const_allocation2.main.ConstProp.after.64bit.mir
View File

@ -18,21 +18,21 @@ fn main() -> () {
}
ALLOC0 (static: FOO, size: 16, align: 8) {
╾───────ALLOC1────────╼ 03 00 00 00 00 00 00 00 │ ╾──────╼........
╾───────ALLOC1───────╼ 03 00 00 00 00 00 00 00 │ ╾──────╼........
}
ALLOC1 (size: 72, align: 8) {
0x00 │ 00 00 00 00 __ __ __ __ ╾───────ALLOC2────────╼ │ ....░░░░╾──────╼
0x00 │ 00 00 00 00 __ __ __ __ ╾───────ALLOC2───────╼ │ ....░░░░╾──────╼
0x10 │ 00 00 00 00 00 00 00 00 00 00 00 00 __ __ __ __ │ ............░░░░
0x20 │ ╾───────ALLOC3────────╼ 02 00 00 00 00 00 00 00 │ ╾──────╼........
0x30 │ 01 00 00 00 2a 00 00 00 ╾───────ALLOC4────────╼ │ ....*...╾──────╼
0x20 │ ╾───────ALLOC3───────╼ 02 00 00 00 00 00 00 00 │ ╾──────╼........
0x30 │ 01 00 00 00 2a 00 00 00 ╾───────ALLOC4───────╼ │ ....*...╾──────╼
0x40 │ 03 00 00 00 00 00 00 00 │ ........
}
ALLOC2 (size: 0, align: 8) {}
ALLOC3 (size: 16, align: 8) {
╾───────ALLOC5────────╼ ╾───────ALLOC6────────╼ │ ╾──────╼╾──────╼
╾───────ALLOC5───────╼ ╾───────ALLOC6───────╼ │ ╾──────╼╾──────╼
}
ALLOC5 (size: 1, align: 1) {
@ -44,8 +44,8 @@ ALLOC6 (size: 1, align: 1) {
}
ALLOC4 (size: 24, align: 8) {
0x00 │ ╾─────ALLOC7+0x3──────╼ ╾───────ALLOC8────────╼ │ ╾──────╼╾──────╼
0x10 │ ╾─────ALLOC9+0x2──────╼ │ ╾──────╼
0x00 │ ╾─────ALLOC7+0x3─────╼ ╾───────ALLOC8───────╼ │ ╾──────╼╾──────╼
0x10 │ ╾─────ALLOC9+0x2─────╼ │ ╾──────╼
}
ALLOC7 (size: 4, align: 1) {

4
tests/mir-opt/const_allocation3.main.ConstProp.after.32bit.mir
View File

@ -18,7 +18,7 @@ fn main() -> () {
}
ALLOC0 (static: FOO, size: 4, align: 4) {
╾─ALLOC1──╼ │ ╾──╼
╾─ALLOC1─╼ │ ╾──╼
}
ALLOC1 (size: 168, align: 1) {
@ -31,7 +31,7 @@ ALLOC1 (size: 168, align: 1) {
0x60 │ 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 │ ................
0x70 │ 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 │ ................
0x80 │ 00 00 00 00 00 00 00 00 00 00 ╾─ALLOC3──╼ 00 00 │ ..........╾──╼..
0x90 │ ╾A4+0x63──╼ 00 00 00 00 00 00 00 00 00 00 00 00 │ ╾──╼............
0x90 │ ╾A4+0x63─╼ 00 00 00 00 00 00 00 00 00 00 00 00 │ ╾──╼............
0xa0 │ 00 00 00 00 00 00 00 00 │ ........
}

4
tests/mir-opt/const_allocation3.main.ConstProp.after.64bit.mir
View File

@ -18,7 +18,7 @@ fn main() -> () {
}
ALLOC0 (static: FOO, size: 8, align: 8) {
╾───────ALLOC1────────╼ │ ╾──────╼
╾───────ALLOC1───────╼ │ ╾──────╼
}
ALLOC1 (size: 180, align: 1) {
@ -31,7 +31,7 @@ ALLOC1 (size: 180, align: 1) {
0x60 │ 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 │ ................
0x70 │ 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 │ ................
0x80 │ 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ╾──── │ ..............╾─
0x90 │ ─────ALLOC3─────╼ 00 00 ╾────ALLOC4+0x63──────╼ │ ─────╼..╾──────╼
0x90 │ ─────ALLOC3─────╼ 00 00 ╾────ALLOC4+0x63─────╼ │ ─────╼..╾──────╼
0xa0 │ 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 │ ................
0xb0 │ 00 00 00 00 │ ....
}

2
tests/mir-opt/dataflow-const-prop/enum.statics.DataflowConstProp.32bit.diff
View File

@ -113,7 +113,7 @@
}
ALLOC1 (static: RC, size: 4, align: 4) {
╾─ALLOC2──╼ │ ╾──╼
╾─ALLOC2─╼ │ ╾──╼
}
ALLOC2 (size: 8, align: 4) {

2
tests/mir-opt/dataflow-const-prop/enum.statics.DataflowConstProp.64bit.diff
View File

@ -113,7 +113,7 @@
}
ALLOC1 (static: RC, size: 8, align: 8) {
╾───────ALLOC2────────╼ │ ╾──────╼
╾───────ALLOC2───────╼ │ ╾──────╼
}
ALLOC2 (size: 8, align: 4) {

2
tests/mir-opt/dataflow-const-prop/struct.main.DataflowConstProp.32bit.diff
View File

@ -120,7 +120,7 @@
}
ALLOC0 (static: STAT, size: 4, align: 4) {
╾─ALLOC1──╼ │ ╾──╼
╾─ALLOC1─╼ │ ╾──╼
}
ALLOC1 (size: 16, align: 4) {

2
tests/mir-opt/dataflow-const-prop/struct.main.DataflowConstProp.64bit.diff
View File

@ -120,7 +120,7 @@
}
ALLOC0 (static: STAT, size: 8, align: 8) {
╾───────ALLOC1────────╼ │ ╾──────╼
╾───────ALLOC1───────╼ │ ╾──────╼
}
ALLOC1 (size: 16, align: 4) {

2
tests/ui/consts/const-eval/raw-bytes.32bit.stderr
View File

@ -556,7 +556,7 @@ LL | pub static S7: &[u16] = unsafe {
|
= 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.
= note: the raw bytes of the constant (size: 8, align: 4) {
╾A31+0x2──╼ 04 00 00 00 │ ╾──╼....
╾A31+0x2─╼ 04 00 00 00 │ ╾──╼....
}
error[E0080]: it is undefined behavior to use this value

8
tests/ui/consts/const-eval/ub-incorrect-vtable.32bit.stderr
View File

@ -17,7 +17,7 @@ LL | const INVALID_VTABLE_SIZE: &dyn Trait =
|
= 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.
= note: the raw bytes of the constant (size: 8, align: 4) {
╾─ALLOC3──╼ ╾─ALLOC2──╼ │ ╾──╼╾──╼
╾─ALLOC3─╼ ╾─ALLOC2─╼ │ ╾──╼╾──╼
}
error[E0080]: it is undefined behavior to use this value
@ -28,7 +28,7 @@ LL | const INVALID_VTABLE_ALIGNMENT_UB: W<&dyn Trait> =
|
= 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.
= note: the raw bytes of the constant (size: 8, align: 4) {
╾─ALLOC5──╼ ╾─ALLOC4──╼ │ ╾──╼╾──╼
╾─ALLOC5─╼ ╾─ALLOC4─╼ │ ╾──╼╾──╼
}
error[E0080]: it is undefined behavior to use this value
@ -39,7 +39,7 @@ LL | const INVALID_VTABLE_SIZE_UB: W<&dyn Trait> =
|
= 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.
= note: the raw bytes of the constant (size: 8, align: 4) {
╾─ALLOC7──╼ ╾─ALLOC6──╼ │ ╾──╼╾──╼
╾─ALLOC7─╼ ╾─ALLOC6─╼ │ ╾──╼╾──╼
}
error[E0080]: it is undefined behavior to use this value
@ -50,7 +50,7 @@ LL | const INVALID_VTABLE_UB: W<&dyn Trait> =
|
= 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.
= note: the raw bytes of the constant (size: 8, align: 4) {
╾─ALLOC9──╼ ╾─ALLOC8──╼ │ ╾──╼╾──╼
╾─ALLOC9─╼ ╾─ALLOC8─╼ │ ╾──╼╾──╼
}
error[E0080]: it is undefined behavior to use this value

8
tests/ui/consts/const-eval/ub-incorrect-vtable.64bit.stderr
View File

@ -17,7 +17,7 @@ LL | const INVALID_VTABLE_SIZE: &dyn Trait =
|
= 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.
= note: the raw bytes of the constant (size: 16, align: 8) {
╾───────ALLOC3────────╼ ╾───────ALLOC2────────╼ │ ╾──────╼╾──────╼
╾───────ALLOC3───────╼ ╾───────ALLOC2───────╼ │ ╾──────╼╾──────╼
}
error[E0080]: it is undefined behavior to use this value
@ -28,7 +28,7 @@ LL | const INVALID_VTABLE_ALIGNMENT_UB: W<&dyn Trait> =
|
= 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.
= note: the raw bytes of the constant (size: 16, align: 8) {
╾───────ALLOC5────────╼ ╾───────ALLOC4────────╼ │ ╾──────╼╾──────╼
╾───────ALLOC5───────╼ ╾───────ALLOC4───────╼ │ ╾──────╼╾──────╼
}
error[E0080]: it is undefined behavior to use this value
@ -39,7 +39,7 @@ LL | const INVALID_VTABLE_SIZE_UB: W<&dyn Trait> =
|
= 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.
= note: the raw bytes of the constant (size: 16, align: 8) {
╾───────ALLOC7────────╼ ╾───────ALLOC6────────╼ │ ╾──────╼╾──────╼
╾───────ALLOC7───────╼ ╾───────ALLOC6───────╼ │ ╾──────╼╾──────╼
}
error[E0080]: it is undefined behavior to use this value
@ -50,7 +50,7 @@ LL | const INVALID_VTABLE_UB: W<&dyn Trait> =
|
= 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.
= note: the raw bytes of the constant (size: 16, align: 8) {
╾───────ALLOC9────────╼ ╾───────ALLOC8────────╼ │ ╾──────╼╾──────╼
╾───────ALLOC9───────╼ ╾───────ALLOC8───────╼ │ ╾──────╼╾──────╼
}
error[E0080]: it is undefined behavior to use this value

2
tests/ui/consts/miri_unleashed/mutable_references_err.32bit.stderr
View File

@ -28,7 +28,7 @@ LL | const BLUNT: &mut i32 = &mut 42;
|
= 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.
= note: the raw bytes of the constant (size: 4, align: 4) {
╾─ALLOC3──╼ │ ╾──╼
╾─ALLOC3─╼ │ ╾──╼
}
warning: skipping const checks

2
tests/ui/consts/miri_unleashed/mutable_references_err.64bit.stderr
View File

@ -28,7 +28,7 @@ LL | const BLUNT: &mut i32 = &mut 42;
|
= 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.
= note: the raw bytes of the constant (size: 8, align: 8) {
╾───────ALLOC3────────╼ │ ╾──────╼
╾───────ALLOC3───────╼ │ ╾──────╼
}
warning: skipping const checks