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
..
compilation-result.rs	Split out the stable part of smir into its own crate to prevent accidental usage of forever unstable things	2023-09-25 14:38:27 +00:00
crate-info.rs	Auto merge of #113915 - cjgillot:ssa-call, r=tmiasko	2023-10-10 20:37:55 +00:00