diff options
| author | Ralf Jung <post@ralfj.de> | 2024-08-31 17:03:03 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-09-10 10:25:22 +0200 |
| commit | a8889052261e23444cfde46b7aba16115625a7d6 (patch) | |
| tree | a1574ec1d755df413ca16bc8e0a657835c041eef /compiler/rustc_const_eval/src/interpret/memory.rs | |
| parent | 304b7f801bab31233680879ca4fb6eb294706a59 (diff) | |
| download | rust-a8889052261e23444cfde46b7aba16115625a7d6.tar.gz rust-a8889052261e23444cfde46b7aba16115625a7d6.zip | |
miri: treat non-memory local variables properly for data race detection
Diffstat (limited to 'compiler/rustc_const_eval/src/interpret/memory.rs')
| -rw-r--r-- | compiler/rustc_const_eval/src/interpret/memory.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/compiler/rustc_const_eval/src/interpret/memory.rs b/compiler/rustc_const_eval/src/interpret/memory.rs index d87588496c0..a65637f4978 100644 --- a/compiler/rustc_const_eval/src/interpret/memory.rs +++ b/compiler/rustc_const_eval/src/interpret/memory.rs @@ -1030,6 +1030,10 @@ impl<'tcx, M: Machine<'tcx>> InterpCx<'tcx, M> { ); res } + + pub(super) fn validation_in_progress(&self) -> bool { + self.memory.validation_in_progress + } } #[doc(hidden)] |