diff options
| author | Ralf Jung <post@ralfj.de> | 2025-04-03 07:01:29 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-04-03 07:01:29 +0000 |
| commit | 1bfaa165ca0348cbdce0ffdefbc504f854159b1e (patch) | |
| tree | ff1ecd1a95b849916543478f8750ea23f09f4a40 /src | |
| parent | 5103bdeb29d7aa4d7ad4d811893c76baa8a98ab7 (diff) | |
| parent | 28d1844a259ce02e0d790d6d4e0a8de45b604dd5 (diff) | |
| download | rust-1bfaa165ca0348cbdce0ffdefbc504f854159b1e.tar.gz rust-1bfaa165ca0348cbdce0ffdefbc504f854159b1e.zip | |
Merge pull request #4246 from RalfJung/freeze-sensitive-comment
visit_freeze_sensitive: add comment
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/miri/src/helpers.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/tools/miri/src/helpers.rs b/src/tools/miri/src/helpers.rs index 29ed94a2e4a..b4098ca0750 100644 --- a/src/tools/miri/src/helpers.rs +++ b/src/tools/miri/src/helpers.rs @@ -602,6 +602,9 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> { // We want to not actually read from memory for this visit. So, before // walking this value, we have to make sure it is not a // `Variants::Multiple`. + // FIXME: the current logic here is layout-dependent, so enums with + // multiple variants where all but 1 are uninhabited will be recursed into. + // Is that truly what we want? match v.layout.variants { Variants::Multiple { .. } => { // A multi-variant enum, or coroutine, or so. |