This repository was archived by the owner on May 28, 2025. It is now read-only.
Commit 92652ed
committed
Auto merge of rust-lang#122993 - RalfJung:default-sysroot, r=<try>
give rustc_driver users a chance to overwrite the default sysroot
and then use that in Miri.
This lets us get rid of an annoying arg-patching hack, and may help with rust-lang/miri#3404.
Unfortunately the computation of `real_rust_source_base_dir` depended on knowing the default sysroot, so I had to move that around a bit. I have no idea how all this `Session` and `Options` stuff works so I hope this makes sense.File tree
6 files changed
+75
-73
lines changed- compiler
- rustc_interface/src
- rustc_metadata/src/rmeta
- rustc_session/src
- src/tools/miri/src/bin
6 files changed
+75
-73
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
642 | 642 | | |
643 | 643 | | |
644 | 644 | | |
645 | | - | |
646 | | - | |
647 | | - | |
648 | | - | |
649 | 645 | | |
650 | 646 | | |
651 | 647 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
30 | 30 | | |
31 | 31 | | |
32 | 32 | | |
33 | | - | |
| 33 | + | |
34 | 34 | | |
35 | 35 | | |
36 | 36 | | |
| |||
1589 | 1589 | | |
1590 | 1590 | | |
1591 | 1591 | | |
1592 | | - | |
| 1592 | + | |
| 1593 | + | |
| 1594 | + | |
| 1595 | + | |
| 1596 | + | |
1593 | 1597 | | |
1594 | 1598 | | |
1595 | | - | |
| 1599 | + | |
1596 | 1600 | | |
1597 | 1601 | | |
1598 | 1602 | | |
| |||
1604 | 1608 | | |
1605 | 1609 | | |
1606 | 1610 | | |
| 1611 | + | |
1607 | 1612 | | |
1608 | 1613 | | |
1609 | 1614 | | |
1610 | 1615 | | |
1611 | 1616 | | |
1612 | 1617 | | |
1613 | 1618 | | |
1614 | | - | |
1615 | | - | |
| 1619 | + | |
| 1620 | + | |
| 1621 | + | |
| 1622 | + | |
| 1623 | + | |
| 1624 | + | |
| 1625 | + | |
| 1626 | + | |
| 1627 | + | |
| 1628 | + | |
1616 | 1629 | | |
1617 | 1630 | | |
1618 | 1631 | | |
1619 | 1632 | | |
1620 | 1633 | | |
1621 | | - | |
| 1634 | + | |
1622 | 1635 | | |
1623 | 1636 | | |
1624 | 1637 | | |
1625 | | - | |
| 1638 | + | |
1626 | 1639 | | |
1627 | 1640 | | |
1628 | 1641 | | |
| |||
1713 | 1726 | | |
1714 | 1727 | | |
1715 | 1728 | | |
1716 | | - | |
| 1729 | + | |
1717 | 1730 | | |
1718 | 1731 | | |
1719 | 1732 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
8 | 8 | | |
9 | 9 | | |
10 | 10 | | |
11 | | - | |
| 11 | + | |
12 | 12 | | |
13 | 13 | | |
14 | 14 | | |
| |||
1066 | 1066 | | |
1067 | 1067 | | |
1068 | 1068 | | |
1069 | | - | |
1070 | 1069 | | |
1071 | 1070 | | |
1072 | 1071 | | |
| |||
2780 | 2779 | | |
2781 | 2780 | | |
2782 | 2781 | | |
2783 | | - | |
| 2782 | + | |
2784 | 2783 | | |
2785 | 2784 | | |
2786 | 2785 | | |
| |||
2823 | 2822 | | |
2824 | 2823 | | |
2825 | 2824 | | |
2826 | | - | |
2827 | | - | |
2828 | | - | |
2829 | | - | |
2830 | | - | |
2831 | | - | |
2832 | | - | |
2833 | | - | |
2834 | | - | |
2835 | | - | |
2836 | | - | |
2837 | | - | |
2838 | | - | |
2839 | | - | |
2840 | | - | |
2841 | | - | |
2842 | | - | |
2843 | | - | |
2844 | | - | |
2845 | | - | |
2846 | 2825 | | |
2847 | 2826 | | |
2848 | 2827 | | |
| |||
2868 | 2847 | | |
2869 | 2848 | | |
2870 | 2849 | | |
2871 | | - | |
| 2850 | + | |
2872 | 2851 | | |
2873 | 2852 | | |
2874 | 2853 | | |
| |||
2889 | 2868 | | |
2890 | 2869 | | |
2891 | 2870 | | |
2892 | | - | |
2893 | 2871 | | |
2894 | 2872 | | |
2895 | 2873 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
197 | 197 | | |
198 | 198 | | |
199 | 199 | | |
200 | | - | |
201 | | - | |
202 | | - | |
203 | | - | |
204 | | - | |
205 | | - | |
206 | | - | |
207 | | - | |
208 | 200 | | |
209 | 201 | | |
210 | 202 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
616 | 616 | | |
617 | 617 | | |
618 | 618 | | |
| 619 | + | |
| 620 | + | |
| 621 | + | |
| 622 | + | |
| 623 | + | |
| 624 | + | |
| 625 | + | |
| 626 | + | |
| 627 | + | |
| 628 | + | |
| 629 | + | |
| 630 | + | |
| 631 | + | |
| 632 | + | |
| 633 | + | |
| 634 | + | |
| 635 | + | |
| 636 | + | |
| 637 | + | |
| 638 | + | |
| 639 | + | |
| 640 | + | |
| 641 | + | |
| 642 | + | |
| 643 | + | |
| 644 | + | |
619 | 645 | | |
620 | 646 | | |
621 | 647 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
45 | 45 | | |
46 | 46 | | |
47 | 47 | | |
| 48 | + | |
| 49 | + | |
| 50 | + | |
| 51 | + | |
| 52 | + | |
| 53 | + | |
| 54 | + | |
| 55 | + | |
| 56 | + | |
48 | 57 | | |
49 | 58 | | |
50 | 59 | | |
51 | 60 | | |
| 61 | + | |
| 62 | + | |
| 63 | + | |
| 64 | + | |
| 65 | + | |
| 66 | + | |
| 67 | + | |
| 68 | + | |
| 69 | + | |
| 70 | + | |
| 71 | + | |
| 72 | + | |
52 | 73 | | |
53 | 74 | | |
| 75 | + | |
54 | 76 | | |
55 | 77 | | |
56 | 78 | | |
| |||
130 | 152 | | |
131 | 153 | | |
132 | 154 | | |
| 155 | + | |
| 156 | + | |
| 157 | + | |
133 | 158 | | |
134 | 159 | | |
135 | 160 | | |
| |||
201 | 226 | | |
202 | 227 | | |
203 | 228 | | |
204 | | - | |
205 | | - | |
206 | | - | |
207 | | - | |
208 | | - | |
209 | | - | |
210 | | - | |
211 | | - | |
212 | | - | |
213 | 229 | | |
214 | 230 | | |
215 | 231 | | |
| |||
271 | 287 | | |
272 | 288 | | |
273 | 289 | | |
274 | | - | |
275 | | - | |
276 | | - | |
277 | | - | |
278 | | - | |
279 | | - | |
280 | | - | |
281 | | - | |
282 | | - | |
283 | | - | |
284 | | - | |
285 | | - | |
286 | | - | |
287 | | - | |
288 | | - | |
289 | | - | |
290 | | - | |
291 | | - | |
292 | | - | |
293 | 290 | | |
294 | 291 | | |
295 | 292 | | |
| |||
0 commit comments