This repository was archived by the owner on May 28, 2025. It is now read-only.
File tree
2 files changed
+46
-5
lines changed- src/tools/miri
- src/shims/unix/linux
- tests/pass-dep/libc
2 files changed
+46
-5
lines changedLines changed: 8 additions & 5 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
51 | 51 |
| |
52 | 52 |
| |
53 | 53 |
| |
| 54 | + | |
| 55 | + | |
| 56 | + | |
54 | 57 |
| |
55 | 58 |
| |
56 | 59 |
| |
| |||
61 | 64 |
| |
62 | 65 |
| |
63 | 66 |
| |
64 |
| - | |
65 |
| - | |
| 67 | + | |
| 68 | + | |
66 | 69 |
| |
67 | 70 |
| |
68 | 71 |
| |
| |||
343 | 346 |
| |
344 | 347 |
| |
345 | 348 |
| |
346 |
| - | |
| 349 | + | |
347 | 350 |
| |
348 | 351 |
| |
349 | 352 |
| |
| |||
553 | 556 |
| |
554 | 557 |
| |
555 | 558 |
| |
556 |
| - | |
557 | 559 |
| |
558 | 560 |
| |
559 |
| - | |
| 561 | + | |
560 | 562 |
| |
561 | 563 |
| |
| 564 | + | |
562 | 565 |
| |
563 | 566 |
| |
564 | 567 |
| |
|
Lines changed: 38 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
23 | 23 |
| |
24 | 24 |
| |
25 | 25 |
| |
| 26 | + | |
26 | 27 |
| |
27 | 28 |
| |
28 | 29 |
| |
| |||
683 | 684 |
| |
684 | 685 |
| |
685 | 686 |
| |
| 687 | + | |
| 688 | + | |
| 689 | + | |
| 690 | + | |
| 691 | + | |
| 692 | + | |
| 693 | + | |
| 694 | + | |
| 695 | + | |
| 696 | + | |
| 697 | + | |
| 698 | + | |
| 699 | + | |
| 700 | + | |
| 701 | + | |
| 702 | + | |
| 703 | + | |
| 704 | + | |
| 705 | + | |
| 706 | + | |
| 707 | + | |
| 708 | + | |
| 709 | + | |
| 710 | + | |
| 711 | + | |
| 712 | + | |
| 713 | + | |
| 714 | + | |
| 715 | + | |
| 716 | + | |
| 717 | + | |
| 718 | + | |
| 719 | + | |
| 720 | + | |
| 721 | + | |
| 722 | + | |
| 723 | + |
0 commit comments