We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent a961810 commit 38ad909Copy full SHA for 38ad909
src/tools/miri/src/concurrency/thread.rs
@@ -863,7 +863,8 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
863
}
864
let alloc = this.ctfe_query(|tcx| tcx.eval_static_initializer(def_id))?;
865
// We make a full copy of this allocation.
866
- let mut alloc = alloc.inner().adjust_from_tcx(&this.tcx, |ptr| this.global_root_pointer(ptr))?;
+ let mut alloc =
867
+ alloc.inner().adjust_from_tcx(&this.tcx, |ptr| this.global_root_pointer(ptr))?;
868
// This allocation will be deallocated when the thread dies, so it is not in read-only memory.
869
alloc.mutability = Mutability::Mut;
870
// Create a fresh allocation with this content.
0 commit comments