File tree
17 files changed
+347
-145
lines changed- src/tools/miri
- cargo-miri
- src
- miri-script/src
- src
- bin
- shims
- windows
- x86
- tests
- pass/shims
17 files changed
+347
-145
lines changedLines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
3364 | 3364 |
| |
3365 | 3365 |
| |
3366 | 3366 |
| |
3367 |
| - | |
| 3367 | + | |
3368 | 3368 |
| |
3369 |
| - | |
| 3369 | + | |
3370 | 3370 |
| |
3371 | 3371 |
| |
3372 | 3372 |
| |
|
Lines changed: 17 additions & 21 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
451 | 451 |
| |
452 | 452 |
| |
453 | 453 |
| |
454 |
| - | |
| 454 | + | |
| 455 | + | |
455 | 456 |
| |
456 | 457 |
| |
457 | 458 |
| |
458 | 459 |
| |
459 | 460 |
| |
460 | 461 |
| |
461 |
| - | |
462 |
| - | |
463 |
| - | |
464 |
| - | |
465 |
| - | |
466 |
| - | |
467 |
| - | |
468 |
| - | |
469 |
| - | |
470 |
| - | |
471 |
| - | |
472 |
| - | |
| 462 | + | |
| 463 | + | |
| 464 | + | |
| 465 | + | |
| 466 | + | |
| 467 | + | |
| 468 | + | |
| 469 | + | |
473 | 470 |
| |
474 | 471 |
| |
475 |
| - | |
476 |
| - | |
477 |
| - | |
478 |
| - | |
479 |
| - | |
480 |
| - | |
481 |
| - | |
| 472 | + | |
| 473 | + | |
| 474 | + | |
| 475 | + | |
| 476 | + | |
| 477 | + | |
482 | 478 |
| |
483 |
| - | |
| 479 | + | |
484 | 480 |
| |
485 | 481 |
| |
486 | 482 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
194 | 194 |
| |
195 | 195 |
| |
196 | 196 |
| |
197 |
| - | |
| 197 | + | |
198 | 198 |
| |
199 |
| - | |
| 199 | + | |
200 | 200 |
| |
201 | 201 |
| |
202 | 202 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
18 | 18 |
| |
19 | 19 |
| |
20 | 20 |
| |
21 |
| - | |
| 21 | + | |
22 | 22 |
| |
23 | 23 |
| |
24 | 24 |
| |
|
Lines changed: 19 additions & 7 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
172 | 172 |
| |
173 | 173 |
| |
174 | 174 |
| |
175 |
| - | |
176 |
| - | |
177 | 175 |
| |
178 | 176 |
| |
179 | 177 |
| |
| |||
200 | 198 |
| |
201 | 199 |
| |
202 | 200 |
| |
203 |
| - | |
204 |
| - | |
205 |
| - | |
206 |
| - | |
| 201 | + | |
207 | 202 |
| |
208 | 203 |
| |
209 | 204 |
| |
| |||
212 | 207 |
| |
213 | 208 |
| |
214 | 209 |
| |
215 |
| - | |
| 210 | + | |
| 211 | + | |
| 212 | + | |
| 213 | + | |
216 | 214 |
| |
217 | 215 |
| |
218 | 216 |
| |
219 | 217 |
| |
220 | 218 |
| |
221 | 219 |
| |
222 | 220 |
| |
| 221 | + | |
| 222 | + | |
223 | 223 |
| |
224 | 224 |
| |
225 | 225 |
| |
| |||
412 | 412 |
| |
413 | 413 |
| |
414 | 414 |
| |
| 415 | + | |
| 416 | + | |
| 417 | + | |
| 418 | + | |
| 419 | + | |
| 420 | + | |
415 | 421 |
| |
416 | 422 |
| |
417 | 423 |
| |
| |||
574 | 580 |
| |
575 | 581 |
| |
576 | 582 |
| |
| 583 | + | |
| 584 | + | |
| 585 | + | |
| 586 | + | |
| 587 | + | |
| 588 | + | |
577 | 589 |
| |
578 | 590 |
| |
579 | 591 |
| |
|
Lines changed: 11 additions & 7 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
| 5 | + | |
5 | 6 |
| |
6 | 7 |
| |
7 | 8 |
| |
| |||
20 | 21 |
| |
21 | 22 |
| |
22 | 23 |
| |
23 |
| - | |
24 |
| - | |
| 24 | + | |
| 25 | + | |
| 26 | + | |
25 | 27 |
| |
26 |
| - | |
| 28 | + | |
27 | 29 |
| |
28 | 30 |
| |
29 | 31 |
| |
| |||
57 | 59 |
| |
58 | 60 |
| |
59 | 61 |
| |
60 |
| - | |
61 |
| - | |
| 62 | + | |
| 63 | + | |
62 | 64 |
| |
63 | 65 |
| |
64 | 66 |
| |
| |||
505 | 507 |
| |
506 | 508 |
| |
507 | 509 |
| |
508 |
| - | |
509 |
| - | |
| 510 | + | |
| 511 | + | |
| 512 | + | |
| 513 | + | |
510 | 514 |
| |
511 | 515 |
| |
512 | 516 |
| |
|
Lines changed: 0 additions & 19 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
282 | 282 |
| |
283 | 283 |
| |
284 | 284 |
| |
285 |
| - | |
286 |
| - | |
287 |
| - | |
288 |
| - | |
289 |
| - | |
290 |
| - | |
291 |
| - | |
292 |
| - | |
293 |
| - | |
294 |
| - | |
295 |
| - | |
296 |
| - | |
297 |
| - | |
298 |
| - | |
299 |
| - | |
300 |
| - | |
301 |
| - | |
302 |
| - | |
303 |
| - | |
304 | 285 |
| |
305 | 286 |
| |
306 | 287 |
| |
|
Lines changed: 40 additions & 16 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
83 | 83 |
| |
84 | 84 |
| |
85 | 85 |
| |
| 86 | + | |
| 87 | + | |
| 88 | + | |
| 89 | + | |
| 90 | + | |
| 91 | + | |
| 92 | + | |
| 93 | + | |
| 94 | + | |
| 95 | + | |
| 96 | + | |
86 | 97 |
| |
87 | 98 |
| |
88 | 99 |
| |
| |||
749 | 760 |
| |
750 | 761 |
| |
751 | 762 |
| |
752 |
| - | |
753 |
| - | |
754 |
| - | |
755 |
| - | |
756 |
| - | |
757 |
| - | |
758 |
| - | |
759 |
| - | |
760 |
| - | |
761 |
| - | |
762 |
| - | |
763 |
| - | |
764 |
| - | |
765 |
| - | |
| 763 | + | |
| 764 | + | |
| 765 | + | |
| 766 | + | |
| 767 | + | |
| 768 | + | |
766 | 769 |
| |
767 | 770 |
| |
768 | 771 |
| |
| |||
786 | 789 |
| |
787 | 790 |
| |
788 | 791 |
| |
789 |
| - | |
790 |
| - | |
| 792 | + | |
| 793 | + | |
| 794 | + | |
| 795 | + | |
| 796 | + | |
| 797 | + | |
| 798 | + | |
| 799 | + | |
791 | 800 |
| |
792 | 801 |
| |
793 | 802 |
| |
| |||
1344 | 1353 |
| |
1345 | 1354 |
| |
1346 | 1355 |
| |
| 1356 | + | |
| 1357 | + | |
| 1358 | + | |
| 1359 | + | |
| 1360 | + | |
| 1361 | + | |
| 1362 | + | |
| 1363 | + | |
| 1364 | + | |
| 1365 | + | |
| 1366 | + | |
| 1367 | + | |
| 1368 | + | |
| 1369 | + | |
| 1370 | + |
Lines changed: 1 addition & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
13 | 13 |
| |
14 | 14 |
| |
15 | 15 |
| |
| 16 | + | |
16 | 17 |
| |
17 | 18 |
| |
18 | 19 |
| |
|
Lines changed: 7 additions & 18 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
9 | 9 |
| |
10 | 10 |
| |
11 | 11 |
| |
12 |
| - | |
13 |
| - | |
14 |
| - | |
15 |
| - | |
16 |
| - | |
17 |
| - | |
18 |
| - | |
19 |
| - | |
20 |
| - | |
21 |
| - | |
22 |
| - | |
23 |
| - | |
24 |
| - | |
25 |
| - | |
26 |
| - | |
| 12 | + | |
27 | 13 |
| |
28 | 14 |
| |
29 | 15 |
| |
| |||
164 | 150 |
| |
165 | 151 |
| |
166 | 152 |
| |
167 |
| - | |
| 153 | + | |
| 154 | + | |
168 | 155 |
| |
169 | 156 |
| |
170 | 157 |
| |
| |||
375 | 362 |
| |
376 | 363 |
| |
377 | 364 |
| |
378 |
| - | |
| 365 | + | |
| 366 | + | |
379 | 367 |
| |
380 | 368 |
| |
381 |
| - | |
| 369 | + | |
| 370 | + | |
382 | 371 |
| |
383 | 372 |
| |
384 | 373 |
| |
|
0 commit comments