mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Workaround issue 112651.

Browse Source
This commit is contained in:
Camille GILLOT 2023-07-01 14:57:29 +00:00
parent 6dfa053697
commit 3311536740
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
compiler/rustc_mir_transform/src/gvn.rs
View File

@ -96,7 +96,11 @@ fn propagate_ssa<'tcx>(tcx: TyCtxt<'tcx>, body: &mut Body<'tcx>) {
for (local, rvalue, _) in ssa.assignments(body) {
let value = state.insert_rvalue(rvalue).or_else(|| state.new_opaque()).unwrap();
state.assign(local, value);
// FIXME(#112651) `rvalue` may have a subtype to `local`. We can only mark `local` as
// reusable if we have an exact type match.
if state.local_decls[local].ty == rvalue.ty(state.local_decls, tcx) {
state.assign(local, value);
}
}
// Stop creating opaques during replacement as it is useless.