Matthias Krüger 988137c040

Rollup merge of #135377 - compiler-errors:impossible-step, r=oli-obk ...

Make MIR cleanup for functions with impossible predicates into a real MIR pass

It's a bit jarring to see the body of a function with an impossible-to-satisfy where clause suddenly go to a single `unreachable` terminator when looking at the MIR dump output in order, and I discovered it's because we manually replace the body outside of a MIR pass.

Let's make it into a fully flegded MIR pass so it's more clear what it's doing and when it's being applied.

2025-01-12 12:07:58 +01:00

..

coroutine

Re-export more rustc_span::symbol things from rustc_span.

2024-12-18 13:38:53 +11:00

coverage

rename BitSet to DenseBitSet

2025-01-11 11:34:01 +00:00

inline

…

shim

mir: require is_cleanup when creating BasicBlockData

2024-12-18 20:43:54 +08:00

abort_unwinding_calls.rs

…

add_call_guards.rs

…

add_moves_for_packed_drops.rs

…

add_retag.rs

…

add_subtyping_projections.rs

…

check_alignment.rs

…

check_const_item_mutation.rs

…

check_packed_ref.rs

…

check_undefined_transmutes.rs

…

cleanup_post_borrowck.rs

…

copy_prop.rs

rename BitSet to DenseBitSet

2025-01-11 11:34:01 +00:00

coroutine.rs

rename BitSet to DenseBitSet

2025-01-11 11:34:01 +00:00

cost_checker.rs

…

cross_crate_inline.rs

mir_transform: implement forced inlining

2025-01-10 18:37:54 +00:00

ctfe_limit.rs

…

dataflow_const_prop.rs

Auto merge of #134625 - compiler-errors:unsafe-binders-ty, r=oli-obk

2024-12-24 00:51:51 +00:00

dead_store_elimination.rs

rename BitSet to DenseBitSet

2025-01-11 11:34:01 +00:00

deduce_param_attrs.rs

rename BitSet to DenseBitSet

2025-01-11 11:34:01 +00:00

deduplicate_blocks.rs

…

deref_separator.rs

…

dest_prop.rs

rename BitSet to DenseBitSet

2025-01-11 11:34:01 +00:00

dump_mir.rs

…

early_otherwise_branch.rs

mir-opt: Do not handle the cleanup BB in the EarlyOtherwiseBranch

2024-12-18 20:43:55 +08:00

elaborate_box_derefs.rs

Transmute from NonNull to pointer when elaborating a box deref (MCP807)

2025-01-06 18:43:40 -08:00

elaborate_drops.rs

rename BitSet to DenseBitSet

2025-01-11 11:34:01 +00:00

errors.rs

mir_transform: implement forced inlining

2025-01-10 18:37:54 +00:00

ffi_unwind_calls.rs

…

function_item_references.rs

Re-export more rustc_span::symbol things from rustc_span.

2024-12-18 13:38:53 +11:00

gvn.rs

rename BitSet to DenseBitSet

2025-01-11 11:34:01 +00:00

impossible_predicates.rs

Make MIR cleanup for functions with impossible predicates into a real MIR pass

2025-01-11 20:50:39 +00:00

inline.rs

rename BitSet to DenseBitSet

2025-01-11 11:34:01 +00:00

instsimplify.rs

[mir-opt] simplify Repeats that don't actually repeat the operand

2025-01-11 15:56:53 -08:00

jump_threading.rs

rename BitSet to DenseBitSet

2025-01-11 11:34:01 +00:00

known_panics_lint.rs

rename BitSet to DenseBitSet

2025-01-11 11:34:01 +00:00

large_enums.rs

make no-variant types a dedicated Variants variant

2024-12-18 11:01:54 +01:00

lib.rs

Make MIR cleanup for functions with impossible predicates into a real MIR pass

2025-01-11 20:50:39 +00:00

lint_tail_expr_drop_order.rs

remove more redundant into() conversions

2025-01-10 07:08:28 +01:00

lint.rs

rename BitSet to DenseBitSet

2025-01-11 11:34:01 +00:00

lower_intrinsics.rs

Re-export more rustc_span::symbol things from rustc_span.

2024-12-18 13:38:53 +11:00

lower_slice_len.rs

…

match_branches.rs

MatchBranchSimplification: Consider empty-unreachable otherwise branch

2024-12-27 10:57:46 +00:00

mentioned_items.rs

…

multiple_return_terminators.rs

rename BitSet to DenseBitSet

2025-01-11 11:34:01 +00:00

nrvo.rs

rename BitSet to DenseBitSet

2025-01-11 11:34:01 +00:00

pass_manager.rs

mir_transform: implement forced inlining

2025-01-10 18:37:54 +00:00

post_analysis_normalize.rs

rebase

2024-11-23 13:52:57 +01:00

post_drop_elaboration.rs

…

prettify.rs

rename BitSet to DenseBitSet

2025-01-11 11:34:01 +00:00

promote_consts.rs

Delete Rvalue::Len

2024-12-22 06:12:39 -08:00

ref_prop.rs

rename BitSet to DenseBitSet

2025-01-11 11:34:01 +00:00

remove_noop_landing_pads.rs

rename BitSet to DenseBitSet

2025-01-11 11:34:01 +00:00

remove_place_mention.rs

…

remove_storage_markers.rs

…

remove_uninit_drops.rs

Change ChunkedBitSet<MovePathIndex>s to MixedBitSet.

2024-12-05 20:07:26 +11:00

remove_unneeded_drops.rs

Remove -Zfuel.

2024-11-26 10:45:21 +00:00

remove_zsts.rs

Address PR feedback

2025-01-11 15:56:58 -08:00

required_consts.rs

…

sanity_check.rs

…

shim.rs

inline: force inlining shims

2025-01-10 18:37:55 +00:00

simplify_branches.rs

…

simplify_comparison_integral.rs

…

simplify.rs

…

single_use_consts.rs

rename BitSet to DenseBitSet

2025-01-11 11:34:01 +00:00

sroa.rs

rename BitSet to DenseBitSet

2025-01-11 11:34:01 +00:00

ssa.rs

rename BitSet to DenseBitSet

2025-01-11 11:34:01 +00:00

strip_debuginfo.rs

We don't need NonNull::as_ptr debuginfo

2024-12-10 01:29:43 -08:00

unreachable_enum_branching.rs

make no-variant types a dedicated Variants variant

2024-12-18 11:01:54 +01:00

unreachable_prop.rs

Remove -Zfuel.

2024-11-26 10:45:21 +00:00

validate.rs

rename BitSet to DenseBitSet

2025-01-11 11:34:01 +00:00