Skip to content

Commit 17c6c59

Browse files
committed
Mark InOut operands as used in RWU table with write_place
1 parent fd193f2 commit 17c6c59

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

compiler/rustc_passes/src/liveness.rs

+2-2
Original file line numberDiff line numberDiff line change
@@ -1174,7 +1174,7 @@ impl<'a, 'tcx> Liveness<'a, 'tcx> {
11741174
}
11751175
}
11761176
hir::InlineAsmOperand::InOut { expr, .. } => {
1177-
succ = self.write_place(expr, succ, ACC_READ | ACC_WRITE);
1177+
succ = self.write_place(expr, succ, ACC_READ | ACC_WRITE | ACC_USE);
11781178
}
11791179
hir::InlineAsmOperand::SplitInOut { out_expr, .. } => {
11801180
if let Some(expr) = out_expr {
@@ -1199,7 +1199,7 @@ impl<'a, 'tcx> Liveness<'a, 'tcx> {
11991199
}
12001200
}
12011201
hir::InlineAsmOperand::InOut { expr, .. } => {
1202-
succ = self.propagate_through_expr(expr, succ);
1202+
succ = self.propagate_through_place_components(expr, succ);
12031203
}
12041204
hir::InlineAsmOperand::SplitInOut { in_expr, out_expr, .. } => {
12051205
if let Some(expr) = out_expr {

0 commit comments

Comments
 (0)