rust/compiler/rustc_mir_transform
bors d627cf07ce Auto merge of #113915 - cjgillot:ssa-call, r=tmiasko
Also consider call and yield as MIR SSA.

The SSA analysis on MIR only considered `Assign` statements as defining a SSA local.
This PR adds assignments as part of a `Call` or `Yield` terminator in that category.

This mainly allows to perform CopyProp on a call return place.

The only subtlety is in the dominance property: the assignment is only complete at the beginning of the target block.
2023-10-10 20:37:55 +00:00
..
src Auto merge of #113915 - cjgillot:ssa-call, r=tmiasko 2023-10-10 20:37:55 +00:00
Cargo.toml Make unconditional_recursion warning detect recursive drops 2023-07-22 14:04:45 +02:00
messages.ftl Don't report any errors in lower_intrinsics. They should have been typecked before. 2023-09-06 09:38:15 +00:00