File tree
5 files changed
+16
-13
lines changed- src/tools/miri
- src
- shims
- intrinsics
- unix
- tests/pass
5 files changed
+16
-13
lines changedDiff for: src/tools/miri/src/helpers.rs
+8
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1188 | 1188 |
| |
1189 | 1189 |
| |
1190 | 1190 |
| |
| 1191 | + | |
| 1192 | + | |
| 1193 | + | |
| 1194 | + | |
| 1195 | + | |
| 1196 | + | |
| 1197 | + | |
| 1198 | + |
Diff for: src/tools/miri/src/machine.rs
-5
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
768 | 768 |
| |
769 | 769 |
| |
770 | 770 |
| |
771 |
| - | |
772 |
| - | |
773 |
| - | |
774 |
| - | |
775 |
| - | |
776 | 771 |
| |
777 | 772 |
| |
778 | 773 |
| |
|
+5-3
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
4 | 4 |
| |
5 | 5 |
| |
6 | 6 |
| |
| 7 | + | |
| 8 | + | |
| 9 | + | |
7 | 10 |
| |
8 |
| - | |
9 | 11 |
| |
10 | 12 |
| |
11 | 13 |
| |
| |||
411 | 413 |
| |
412 | 414 |
| |
413 | 415 |
| |
414 |
| - | |
| 416 | + | |
415 | 417 |
| |
416 | 418 |
| |
417 | 419 |
| |
| |||
457 | 459 |
| |
458 | 460 |
| |
459 | 461 |
| |
460 |
| - | |
| 462 | + | |
461 | 463 |
| |
462 | 464 |
| |
463 | 465 |
| |
|
Diff for: src/tools/miri/src/shims/unix/mem.rs
+3-3
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
7 | 7 |
| |
8 | 8 |
| |
9 | 9 |
| |
10 |
| - | |
| 10 | + | |
11 | 11 |
| |
12 | 12 |
| |
13 | 13 |
| |
| |||
89 | 89 |
| |
90 | 90 |
| |
91 | 91 |
| |
92 |
| - | |
| 92 | + | |
93 | 93 |
| |
94 | 94 |
| |
95 | 95 |
| |
| |||
123 | 123 |
| |
124 | 124 |
| |
125 | 125 |
| |
126 |
| - | |
| 126 | + | |
127 | 127 |
| |
128 | 128 |
| |
129 | 129 |
| |
|
-2
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
253 | 253 |
| |
254 | 254 |
| |
255 | 255 |
| |
256 |
| - | |
257 |
| - | |
258 | 256 |
| |
259 | 257 |
| |
260 | 258 |
| |
|
0 commit comments