-
Notifications
You must be signed in to change notification settings - Fork 13k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Auto merge of #94437 - RalfJung:miri, r=RalfJung
update Miri Fixes #94318 r? `@ghost`
- Loading branch information
Showing
1 changed file
with
1 addition
and
1 deletion.
There are no files selected for viewing
Submodule miri
updated
16 files
+3 −0 | README.md | |
+1 −1 | rust-version | |
+10 −0 | src/bin/miri.rs | |
+64 −2 | src/diagnostics.rs | |
+12 −0 | src/eval.rs | |
+1 −1 | src/lib.rs | |
+4 −0 | src/machine.rs | |
+36 −3 | src/shims/intrinsics.rs | |
+14 −0 | tests/compile-fail/intrinsics/simd-reduce-invalid-bool.rs | |
+0 −8 | tests/compile-fail/validity/execute_memory.rs | |
+0 −10 | tests/compile-fail/validity/fn_ptr_offset.rs | |
+5 −0 | tests/compile-fail/validity/invalid_fnptr_null.rs | |
+1 −1 | tests/compile-fail/validity/invalid_fnptr_uninit.rs | |
+12 −0 | tests/run-pass/function_pointers.rs | |
+13 −0 | tests/run-pass/issue-94371.rs | |
+23 −4 | tests/run-pass/portable-simd.rs |