update Miri · rust-lang/rust@a05dd06

Commit

update Miri

Browse files

RalfJung committed May 17, 2021

1 parent 3e99439 commit a05dd06

src/tools/miri

Submodule miri updated 42 files

+1 −2		benches/helpers/miri_helper.rs
+57 −35		cargo-miri/bin.rs
+1 −1		cargo-miri/build.rs
+1 −1		rust-version
+2 −1		rustfmt.toml
+46 −33		src/bin/miri.rs
+40 −30		src/diagnostics.rs
+9 −5		src/eval.rs
+95 −29		src/helpers.rs
+1 −1		src/intptrcast.rs
+9 −13		src/lib.rs
+24 −34		src/machine.rs
+10 −3		src/range_map.rs
+32 −24		src/shims/backtrace.rs
+2 −1		src/shims/dlsym.rs
+70 −35		src/shims/env.rs
+23 −8		src/shims/foreign_items.rs
+149 −287		src/shims/intrinsics.rs
+2 −2		src/shims/mod.rs
+41 −27		src/shims/os_str.rs
+9 −12		src/shims/panic.rs
+1 −1		src/shims/posix/foreign_items.rs
+189 −108		src/shims/posix/fs.rs
+2 −3		src/shims/posix/linux/dlsym.rs
+24 −16		src/shims/posix/linux/foreign_items.rs
+1 −1		src/shims/posix/linux/mod.rs
+24 −7		src/shims/posix/linux/sync.rs
+1 −2		src/shims/posix/macos/foreign_items.rs
+1 −1		src/shims/posix/macos/mod.rs
+1 −1		src/shims/posix/mod.rs
+27 −22		src/shims/posix/sync.rs
+5 −8		src/shims/posix/thread.rs
+28 −12		src/shims/time.rs
+29 −19		src/shims/tls.rs
+1 −2		src/shims/windows/dlsym.rs
+41 −19		src/shims/windows/foreign_items.rs
+1 −1		src/shims/windows/mod.rs
+12 −26		src/shims/windows/sync.rs
+40 −18		src/stacked_borrows.rs
+17 −30		src/sync.rs
+29 −15		src/thread.rs
+1 −6		src/vector_clock.rs

Please sign in to comment.