diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2025-08-18 05:07:40 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2025-08-18 05:07:40 +0000 |
| commit | 5a3871d7b2521f9c6edbdcbc24d381d6fdef0f6d (patch) | |
| tree | eb7c072ff377c4e688afdcc6a772c8a683cf1367 | |
| parent | d5b31abfa972b42f0f26dd4d70a3b91b908c0b05 (diff) | |
fmt
| -rw-r--r-- | src/tools/miri/src/shims/native_lib/mod.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/tools/miri/src/shims/native_lib/mod.rs b/src/tools/miri/src/shims/native_lib/mod.rs index 36c18379cb8..e2a0bdbd9b4 100644 --- a/src/tools/miri/src/shims/native_lib/mod.rs +++ b/src/tools/miri/src/shims/native_lib/mod.rs @@ -246,7 +246,8 @@ trait EvalContextExtPriv<'tcx>: crate::MiriInterpCxExt<'tcx> { let p_map = alloc.provenance(); for idx in overlap { // If a provenance was read by the foreign code, expose it. - if let Some((prov, _idx)) = p_map.get_byte(Size::from_bytes(idx), this) { + if let Some((prov, _idx)) = p_map.get_byte(Size::from_bytes(idx), this) + { this.expose_provenance(prov)?; } } |
