Treat InOut variables like other input variables

oliviacrain · oliviacrain · commit fd193f2d7f7e · 2020-10-17T16:37:46.000-05:00
diff --git a/compiler/rustc_passes/src/liveness.rs b/compiler/rustc_passes/src/liveness.rs
@@ -1174,7 +1174,7 @@ impl<'a, 'tcx> Liveness<'a, 'tcx> {
                             }
                         }
                         hir::InlineAsmOperand::InOut { expr, .. } => {
-                            succ = self.write_place(expr, succ, ACC_READ | ACC_WRITE | ACC_USE);
+                            succ = self.write_place(expr, succ, ACC_READ | ACC_WRITE);
                         }
                         hir::InlineAsmOperand::SplitInOut { out_expr, .. } => {
                             if let Some(expr) = out_expr {
@@ -1199,7 +1199,7 @@ impl<'a, 'tcx> Liveness<'a, 'tcx> {
                             }
                         }
                         hir::InlineAsmOperand::InOut { expr, .. } => {
-                            succ = self.propagate_through_place_components(expr, succ);
+                            succ = self.propagate_through_expr(expr, succ);
                         }
                         hir::InlineAsmOperand::SplitInOut { in_expr, out_expr, .. } => {
                             if let Some(expr) = out_expr {

Original file line number	Diff line number	Diff line change
`@@ -1174,7 +1174,7 @@ impl<'a, 'tcx> Liveness<'a, 'tcx> {`
`1174`	`1174`	`}`
`1175`	`1175`	`}`
`1176`	`1176`	`hir::InlineAsmOperand::InOut { expr, .. } => {`
`1177`		`- succ = self.write_place(expr, succ, ACC_READ \| ACC_WRITE \| ACC_USE);`
	`1177`	`+ succ = self.write_place(expr, succ, ACC_READ \| ACC_WRITE);`
`1178`	`1178`	`}`
`1179`	`1179`	`hir::InlineAsmOperand::SplitInOut { out_expr, .. } => {`
`1180`	`1180`	`if let Some(expr) = out_expr {`
`@@ -1199,7 +1199,7 @@ impl<'a, 'tcx> Liveness<'a, 'tcx> {`
`1199`	`1199`	`}`
`1200`	`1200`	`}`
`1201`	`1201`	`hir::InlineAsmOperand::InOut { expr, .. } => {`
`1202`		`- succ = self.propagate_through_place_components(expr, succ);`
	`1202`	`+ succ = self.propagate_through_expr(expr, succ);`
`1203`	`1203`	`}`
`1204`	`1204`	`hir::InlineAsmOperand::SplitInOut { in_expr, out_expr, .. } => {`
`1205`	`1205`	`if let Some(expr) = out_expr {`