File tree
31 files changed
+484
-455
lines changed- compiler/rustc_const_eval/src
- const_eval
- interpret
- src/tools/miri/src
- shims
- unix
- android
- freebsd
- linux
- linux_like
- macos
- solarish
- wasi
- windows
- x86
31 files changed
+484
-455
lines changedOriginal file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 | 3 |
| |
| 4 | + | |
4 | 5 |
| |
5 | 6 |
| |
6 | 7 |
| |
| 8 | + | |
7 | 9 |
| |
8 | 10 |
| |
9 | 11 |
| |
| |||
86 | 88 |
| |
87 | 89 |
| |
88 | 90 |
| |
89 |
| - | |
| 91 | + | |
90 | 92 |
| |
91 | 93 |
| |
92 | 94 |
| |
|
+3-2
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
| 5 | + | |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
| |||
14 | 14 |
| |
15 | 15 |
| |
16 | 16 |
| |
| 17 | + | |
17 | 18 |
| |
18 | 19 |
| |
19 | 20 |
| |
| |||
339 | 340 |
| |
340 | 341 |
| |
341 | 342 |
| |
342 |
| - | |
| 343 | + | |
343 | 344 |
| |
344 | 345 |
| |
345 | 346 |
| |
|
+2-2
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
519 | 519 |
| |
520 | 520 |
| |
521 | 521 |
| |
522 |
| - | |
| 522 | + | |
523 | 523 |
| |
524 | 524 |
| |
525 | 525 |
| |
| |||
570 | 570 |
| |
571 | 571 |
| |
572 | 572 |
| |
573 |
| - | |
| 573 | + | |
574 | 574 |
| |
575 | 575 |
| |
576 | 576 |
| |
|
+5-4
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
9 |
| - | |
| 9 | + | |
10 | 10 |
| |
11 | 11 |
| |
12 | 12 |
| |
| |||
15 | 15 |
| |
16 | 16 |
| |
17 | 17 |
| |
| 18 | + | |
18 | 19 |
| |
19 | 20 |
| |
20 | 21 |
| |
| |||
201 | 202 |
| |
202 | 203 |
| |
203 | 204 |
| |
204 |
| - | |
| 205 | + | |
205 | 206 |
| |
206 | 207 |
| |
207 | 208 |
| |
| |||
213 | 214 |
| |
214 | 215 |
| |
215 | 216 |
| |
216 |
| - | |
| 217 | + | |
217 | 218 |
| |
218 | 219 |
| |
219 | 220 |
| |
| |||
656 | 657 |
| |
657 | 658 |
| |
658 | 659 |
| |
659 |
| - | |
| 660 | + | |
660 | 661 |
| |
661 | 662 |
| |
662 | 663 |
| |
|
Diff for: src/tools/miri/src/helpers.rs
+9-10
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
19 | 19 |
| |
20 | 20 |
| |
21 | 21 |
| |
| 22 | + | |
22 | 23 |
| |
23 | 24 |
| |
24 | 25 |
| |
| |||
914 | 915 |
| |
915 | 916 |
| |
916 | 917 |
| |
917 |
| - | |
918 |
| - | |
| 918 | + | |
| 919 | + | |
919 | 920 |
| |
920 |
| - | |
921 |
| - | |
922 |
| - | |
923 |
| - | |
| 921 | + | |
| 922 | + | |
924 | 923 |
| |
925 | 924 |
| |
926 | 925 |
| |
| |||
950 | 949 |
| |
951 | 950 |
| |
952 | 951 |
| |
953 |
| - | |
954 |
| - | |
| 952 | + | |
| 953 | + | |
955 | 954 |
| |
956 | 955 |
| |
957 | 956 |
| |
| |||
975 | 974 |
| |
976 | 975 |
| |
977 | 976 |
| |
978 |
| - | |
979 |
| - | |
| 977 | + | |
| 978 | + | |
980 | 979 |
| |
981 | 980 |
| |
982 | 981 |
| |
|
Diff for: src/tools/miri/src/machine.rs
+3-2
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
13 | 13 |
| |
14 | 14 |
| |
15 | 15 |
| |
| 16 | + | |
16 | 17 |
| |
17 | 18 |
| |
18 | 19 |
| |
| |||
1010 | 1011 |
| |
1011 | 1012 |
| |
1012 | 1013 |
| |
1013 |
| - | |
| 1014 | + | |
1014 | 1015 |
| |
1015 | 1016 |
| |
1016 | 1017 |
| |
| |||
1037 | 1038 |
| |
1038 | 1039 |
| |
1039 | 1040 |
| |
1040 |
| - | |
| 1041 | + | |
1041 | 1042 |
| |
1042 | 1043 |
| |
1043 | 1044 |
| |
|
Diff for: src/tools/miri/src/shims/backtrace.rs
+11-10
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 |
| - | |
| 1 | + | |
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
| 5 | + | |
5 | 6 |
| |
6 | 7 |
| |
7 | 8 |
| |
| |||
10 | 11 |
| |
11 | 12 |
| |
12 | 13 |
| |
13 |
| - | |
| 14 | + | |
14 | 15 |
| |
15 | 16 |
| |
16 | 17 |
| |
17 | 18 |
| |
18 | 19 |
| |
19 |
| - | |
| 20 | + | |
20 | 21 |
| |
21 | 22 |
| |
22 | 23 |
| |
| |||
30 | 31 |
| |
31 | 32 |
| |
32 | 33 |
| |
33 |
| - | |
| 34 | + | |
34 | 35 |
| |
35 | 36 |
| |
36 | 37 |
| |
| |||
71 | 72 |
| |
72 | 73 |
| |
73 | 74 |
| |
74 |
| - | |
| 75 | + | |
75 | 76 |
| |
76 | 77 |
| |
77 | 78 |
| |
| |||
86 | 87 |
| |
87 | 88 |
| |
88 | 89 |
| |
89 |
| - | |
| 90 | + | |
90 | 91 |
| |
91 | 92 |
| |
92 | 93 |
| |
| |||
136 | 137 |
| |
137 | 138 |
| |
138 | 139 |
| |
139 |
| - | |
| 140 | + | |
140 | 141 |
| |
141 | 142 |
| |
142 | 143 |
| |
143 | 144 |
| |
144 | 145 |
| |
145 |
| - | |
| 146 | + | |
146 | 147 |
| |
147 | 148 |
| |
148 | 149 |
| |
| |||
207 | 208 |
| |
208 | 209 |
| |
209 | 210 |
| |
210 |
| - | |
| 211 | + | |
211 | 212 |
| |
212 | 213 |
| |
213 | 214 |
| |
214 | 215 |
| |
215 | 216 |
| |
216 | 217 |
| |
217 |
| - | |
| 218 | + | |
218 | 219 |
| |
219 | 220 |
| |
220 | 221 |
| |
|
0 commit comments