From d66a00a7b192f7332288e6386ac99f63f7e1d8ac Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jannis=20Christopher=20K=C3=B6hl?= Date: Sat, 12 Nov 2022 20:05:52 +0100 Subject: [PATCH] Expand upon comment regarding self-assignment --- compiler/rustc_mir_transform/src/dataflow_const_prop.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/rustc_mir_transform/src/dataflow_const_prop.rs b/compiler/rustc_mir_transform/src/dataflow_const_prop.rs index 085977dac836..c1293b3b7b6f 100644 --- a/compiler/rustc_mir_transform/src/dataflow_const_prop.rs +++ b/compiler/rustc_mir_transform/src/dataflow_const_prop.rs @@ -317,7 +317,7 @@ struct CollectAndPatch<'tcx, 'map> { /// For a given MIR location, this stores the values of the operands used by that location. In /// particular, this is before the effect, such that the operands of `_1 = _1 + _2` are - /// properly captured. + /// properly captured. (This may become UB soon, but it is currently emitted even by safe code.) before_effect: FxHashMap<(Location, Place<'tcx>), ScalarTy<'tcx>>, /// Stores the assigned values for assignments where the Rvalue is constant.