Generate getelementptr instead of inttoptr for ptr::invalid by joboet · Pull Request #121242 · rust-lang/rust (original) (raw)
test [mir-opt] tests/mir-opt/inline/polymorphic_recursion.rs ... ok
failures:
---- [mir-opt] tests/mir-opt/dataflow-const-prop/default_boxed_slice.rs stdout ----
14 scope 3 {
15 debug ptr => _3;
16 }
- scope 4 (inlined Unique::<[bool; 0]>::dangling) {
- let mut _5: std::ptr::NonNull<[bool; 0]>;
- scope 5 (inlined NonNull::<[bool; 0]>::dangling) {
- scope 6 {
- let _6: *mut [bool; 0];
- scope 7 {
- debug ptr => _6;
- scope 12 (inlined NonNull::<[bool; 0]>::new_unchecked) {
- debug ptr => _6;
- let mut _8: bool;
- let _9: ();
- let mut _10: *mut ();
- let mut _11: *const [bool; 0];
- scope 13 {
- }
- }
- }
- scope 8 (inlined dangling_mut::<[bool; 0]>) {
- let mut _7: usize;
- scope 9 (inlined align_of::<[bool; 0]>) {
- }
- scope 10 (inlined without_provenance_mut::<[bool; 0]>) {
- debug addr => _7;
- scope 11 {
- }
- }
- }
- }
- }
- }
47 }
48
49 bb0: {
50 StorageLive(_1);
51 StorageLive(_2);
52 StorageLive(_3);
- StorageLive(_9);
54 StorageLive(_4);
- StorageLive(_5);
- StorageLive(_6);
- StorageLive(_7);
- - _7 = AlignOf([bool; 0]);
- - _6 = _7 as *mut [bool; 0] (Transmute);
- + _7 = const 1_usize;
- + _6 = const {0x1 as *mut [bool; 0]};
- StorageDead(_7);
- StorageLive(_10);
- StorageLive(_11);
- StorageLive(_8);
- _8 = cfg!(debug_assertions);
- switchInt(move _8) -> [0: bb3, otherwise: bb2];
+ _4 = Unique::<[bool; 0]>::dangling() -> [return: bb2, unwind unreachable];
69
70 bb1: {
73 }
73 }
74
75 bb2: {
- - _10 = _6 as *mut () (PtrToPtr);
- - _9 = NonNull::<T>::new_unchecked::precondition_check(move _10) -> [return: bb3, unwind unreachable];
- + _10 = const {0x1 as *mut ()};
- + _9 = NonNull::<T>::new_unchecked::precondition_check(const {0x1 as *mut ()}) -> [return: bb3, unwind unreachable];
-
- bb3: {
- StorageDead(_8);
- StorageDead(_8);
- - _11 = _6 as *const [bool; 0] (PointerCoercion(MutToConstPointer));
- - _5 = NonNull::<[bool; 0]> { pointer: _11 };
- + _11 = const {0x1 as *const [bool; 0]};
- + _5 = const NonNull::<[bool; 0]> {{ pointer: {0x1 as *const [bool; 0]} }};
- StorageDead(_11);
- StorageDead(_10);
- StorageDead(_6);
- - _4 = Unique::<[bool; 0]> { pointer: move _5, _marker: const PhantomData::<[bool; 0]> };
- + _4 = const Unique::<[bool; 0]> {{ pointer: NonNull::<[bool; 0]> {{ pointer: {0x1 as *const [bool; 0]} }}, _marker: PhantomData::<[bool; 0]> }};
- StorageDead(_5);
- - _3 = move _4 as std::ptr::Unique<[bool]> (PointerCoercion(Unsize));
- + _3 = const Unique::<[bool]> {{ pointer: NonNull::<[bool]> {{ pointer: Indirect { alloc_id: ALLOC0, offset: Size(0 bytes) }: *const [bool] }}, _marker: PhantomData::<[bool]> }};
+ _3 = move _4 as std::ptr::Unique<[bool]> (PointerCoercion(Unsize));
96 StorageDead(_4);
- - _2 = Box::<[bool]>(_3, const std::alloc::Global);
- + _2 = const Box::<[bool]>(Unique::<[bool]> {{ pointer: NonNull::<[bool]> {{ pointer: Indirect { alloc_id: ALLOC1, offset: Size(0 bytes) }: *const [bool] }}, _marker: PhantomData::<[bool]> }}, std::alloc::Global);
- StorageDead(_9);
+ _2 = Box::<[bool]>(_3, const std::alloc::Global);
100 StorageDead(_3);
- - _1 = A { foo: move _2 };
- + _1 = const A {{ foo: Box::<[bool]>(Unique::<[bool]> {{ pointer: NonNull::<[bool]> {{ pointer: Indirect { alloc_id: ALLOC2, offset: Size(0 bytes) }: *const [bool] }}, _marker: PhantomData::<[bool]> }}, std::alloc::Global) }};
+ _1 = A { foo: move _2 };
103 StorageDead(_2);
104 _0 = const ();
105 drop(_1) -> [return: bb1, unwind unreachable];
106 }
- + }
- +
- +
- + ALLOC2 (size: 8, align: 4) {
- + 01 00 00 00 00 00 00 00 │ ........
- + }
- +
- + ALLOC1 (size: 8, align: 4) {
- + 01 00 00 00 00 00 00 00 │ ........
- + }
- +
- + ALLOC0 (size: 8, align: 4) {
- + 01 00 00 00 00 00 00 00 │ ........
120
121
thread '[mir-opt] tests/mir-opt/dataflow-const-prop/default_boxed_slice.rs' panicked at src/tools/compiletest/src/runtest.rs:4141:21:
thread '[mir-opt] tests/mir-opt/dataflow-const-prop/default_boxed_slice.rs' panicked at src/tools/compiletest/src/runtest.rs:4141:21:
Actual MIR output differs from expected MIR output /checkout/tests/mir-opt/dataflow-const-prop/default_boxed_slice.main.GVN.32bit.panic-abort.diff
failures:
[mir-opt] tests/mir-opt/dataflow-const-prop/default_boxed_slice.rs