Rollup of 8 pull requests

[Noratrieb]

Successful merges:

• resolve: Scale back unloading of speculatively loaded crates #121167 (resolve: Scale back unloading of speculatively loaded crates)
• Always inline check in assert_unsafe_precondition with cfg(debug_assertions) #121196 (Always inline check in assert_unsafe_precondition with cfg(debug_assertions))
• Top level error handling #121206 (Top level error handling)
• intrinsics::simd: add missing functions, avoid UB-triggering fast-math #121223 (intrinsics::simd: add missing functions)
• Implement NonZero traits generically. #121241 (Implement NonZero traits generically.)
• Generate getelementptr instead of inttoptr for ptr::invalid #121242 (Generate getelementptr instead of inttoptr for ptr::invalid)
• Remove the "codegen" profile from bootstrap #121278 (Remove the "codegen" profile from bootstrap)
• Rename ConstPropLint to KnownPanicsLint #121286 (Rename ConstPropLint to KnownPanicsLint)

r? @ghost
@rustbot modify labels: rollup

Create a similar rollup

[Noratrieb]

@bors r+ rollup=never p=8

[bors]

📌 Commit 76a78ef has been approved by Nilstrieb

It is now in the queue for this repository.

[bors]

⌛ Testing commit 76a78ef with merge 43b954a...

[rust-log-analyzer]

The job test-various failed! Check out the build log: (web) (plain)

Click to see the possible cause of the failure (guessed by this bot)

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) {
-                   let mut _7: usize;
-                   scope 6 {
-                       let _6: *mut [bool; 0];
-                       scope 7 {
-                           debug ptr => _6;
-                           scope 11 (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 12 {
-                           }
-                       }
-                       }
-                       scope 8 (inlined align_of::<[bool; 0]>) {
-                       }
-                       scope 9 (inlined invalid_mut::<[bool; 0]>) {
-                           debug addr => _7;
-                           scope 10 {
-                       }
-                   }
-               }
-           }
-           }
45       }
46   
47       bb0: {

48           StorageLive(_1);
49           StorageLive(_2);
50           StorageLive(_3);
-           StorageLive(_9);
52           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];
67   
68       bb1: {

71       }
71       }
72   
73       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));
94           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);
98           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 };
101           StorageDead(_2);
102           _0 = const ();
103           drop(_1) -> [return: bb1, unwind unreachable];
104       }
- + }
- + 
- + 
- + 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                         │ ........
118   
119 

thread '[mir-opt] tests/mir-opt/dataflow-const-prop/default_boxed_slice.rs' panicked at src/tools/compiletest/src/runtest.rs:4131:21:
thread '[mir-opt] tests/mir-opt/dataflow-const-prop/default_boxed_slice.rs' panicked at src/tools/compiletest/src/runtest.rs:4131: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

[bors]

💔 Test failed - checks-actions