diff options
| author | Jannis Christopher Köhl <mail@koehl.dev> | 2022-10-12 23:46:31 +0200 |
|---|---|---|
| committer | Jannis Christopher Köhl <mail@koehl.dev> | 2022-11-07 10:35:22 +0100 |
| commit | aaa35b3e48b768315a5f53b8523435f27b708d25 (patch) | |
| tree | b2e6157a71c5d8d2da3388563e794753ebd8e2d7 /compiler/rustc_mir_dataflow/src | |
| parent | 5696d06e2282b5570bfe75c16eceacd8b34ddf99 (diff) | |
| download | rust-aaa35b3e48b768315a5f53b8523435f27b708d25.tar.gz rust-aaa35b3e48b768315a5f53b8523435f27b708d25.zip | |
Add comment for the current retag situation
Diffstat (limited to 'compiler/rustc_mir_dataflow/src')
| -rw-r--r-- | compiler/rustc_mir_dataflow/src/value_analysis.rs | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/compiler/rustc_mir_dataflow/src/value_analysis.rs b/compiler/rustc_mir_dataflow/src/value_analysis.rs index 9ae87418bc8..116a8b7bd40 100644 --- a/compiler/rustc_mir_dataflow/src/value_analysis.rs +++ b/compiler/rustc_mir_dataflow/src/value_analysis.rs @@ -114,8 +114,13 @@ pub trait ValueAnalysis<'tcx> { // (A2) state.flood_with(place.as_ref(), self.map(), Self::Value::bottom()); } + StatementKind::Retag(..) => { + // A retag modifies the provenance of references. Currently references are only + // tracked if `-Zunsound-mir-opts` is given, but this might change in the future. + // However, it is still unclear how retags should be handled: + // https://github.com/rust-lang/rust/pull/101168#discussion_r985304895 + } StatementKind::Nop - | StatementKind::Retag(..) | StatementKind::FakeRead(..) | StatementKind::Coverage(..) | StatementKind::AscribeUserType(..) => (), |