Commit 91b85f6
authored
Rollup merge of rust-lang#156513 - RalfJung:miri, r=RalfJung
miri subtree update
Unblocks rust-lang#156493.
---
Subtree update of `miri` to rust-lang/miri@f273082.
Created using https://github.com/rust-lang/josh-sync.
r? @ghost39 files changed
Lines changed: 2121 additions & 876 deletions
File tree
- src
- bootstrap/src/utils
- tools/miri
- bench-cargo-miri
- backtraces
- serde1
- serde2
- cargo-miri
- ci
- miri-script
- src
- alloc_addresses
- concurrency
- intrinsics
- shims
- unix
- macos
- windows
- x86
- tests
- deps
- pass-dep
- libc
- tokio
- pass
- shims
- env
- x86
Large diffs are not rendered by default.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
3 | 3 | | |
4 | 4 | | |
5 | 5 | | |
| 6 | + | |
| 7 | + | |
6 | 8 | | |
7 | 9 | | |
8 | 10 | | |
| 11 | + | |
9 | 12 | | |
10 | 13 | | |
11 | 14 | | |
| |||
25 | 28 | | |
26 | 29 | | |
27 | 30 | | |
| 31 | + | |
28 | 32 | | |
29 | 33 | | |
30 | 34 | | |
31 | 35 | | |
| 36 | + | |
| 37 | + | |
32 | 38 | | |
| 39 | + | |
33 | 40 | | |
34 | 41 | | |
35 | 42 | | |
36 | 43 | | |
37 | 44 | | |
38 | 45 | | |
| 46 | + | |
39 | 47 | | |
40 | 48 | | |
41 | 49 | | |
| 50 | + | |
42 | 51 | | |
| 52 | + | |
43 | 53 | | |
44 | 54 | | |
45 | 55 | | |
| 56 | + | |
46 | 57 | | |
47 | 58 | | |
48 | 59 | | |
| |||
58 | 69 | | |
59 | 70 | | |
60 | 71 | | |
| 72 | + | |
61 | 73 | | |
62 | 74 | | |
63 | 75 | | |
| 76 | + | |
| 77 | + | |
| 78 | + | |
64 | 79 | | |
| 80 | + | |
| 81 | + | |
| 82 | + | |
| 83 | + | |
65 | 84 | | |
66 | 85 | | |
67 | 86 | | |
| |||
0 commit comments