File tree
9 files changed
+54
-33
lines changed- compiler
- rustc_const_eval/src/interpret
- intrinsics
- rustc_middle/src/mir/interpret
- src/tools/miri/src
- shims
9 files changed
+54
-33
lines changedLines changed: 4 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
78 | 78 |
| |
79 | 79 |
| |
80 | 80 |
| |
| 81 | + | |
| 82 | + | |
81 | 83 |
| |
82 | 84 |
| |
| 85 | + | |
83 | 86 |
| |
84 | 87 |
| |
85 | 88 |
| |
86 | 89 |
| |
87 |
| - | |
| 90 | + | |
88 | 91 |
| |
89 | 92 |
| |
90 | 93 |
| |
| |||
95 | 98 |
| |
96 | 99 |
| |
97 | 100 |
| |
98 |
| - | |
99 |
| - | |
100 | 101 |
| |
101 | 102 |
| |
102 | 103 |
| |
|
Lines changed: 3 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
291 | 291 |
| |
292 | 292 |
| |
293 | 293 |
| |
294 |
| - | |
| 294 | + | |
295 | 295 |
| |
296 | 296 |
| |
297 | 297 |
| |
| |||
505 | 505 |
| |
506 | 506 |
| |
507 | 507 |
| |
508 |
| - | |
509 |
| - | |
| 508 | + | |
| 509 | + | |
510 | 510 |
| |
511 | 511 |
| |
512 | 512 |
| |
|
Lines changed: 5 additions & 7 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
171 | 171 |
| |
172 | 172 |
| |
173 | 173 |
| |
174 |
| - | |
| 174 | + | |
175 | 175 |
| |
176 | 176 |
| |
177 | 177 |
| |
| |||
200 | 200 |
| |
201 | 201 |
| |
202 | 202 |
| |
203 |
| - | |
204 |
| - | |
| 203 | + | |
205 | 204 |
| |
206 | 205 |
| |
207 | 206 |
| |
| |||
210 | 209 |
| |
211 | 210 |
| |
212 | 211 |
| |
213 |
| - | |
| 212 | + | |
214 | 213 |
| |
215 |
| - | |
216 |
| - | |
| 214 | + | |
217 | 215 |
| |
218 | 216 |
| |
219 | 217 |
| |
| |||
230 | 228 |
| |
231 | 229 |
| |
232 | 230 |
| |
233 |
| - | |
| 231 | + | |
234 | 232 |
| |
235 | 233 |
| |
236 | 234 |
| |
|
Lines changed: 3 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
754 | 754 |
| |
755 | 755 |
| |
756 | 756 |
| |
757 |
| - | |
758 |
| - | |
| 757 | + | |
| 758 | + | |
759 | 759 |
| |
760 | 760 |
| |
761 | 761 |
| |
| |||
764 | 764 |
| |
765 | 765 |
| |
766 | 766 |
| |
767 |
| - | |
| 767 | + | |
768 | 768 |
| |
769 | 769 |
| |
770 | 770 |
| |
|
Lines changed: 6 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
430 | 430 |
| |
431 | 431 |
| |
432 | 432 |
| |
433 |
| - | |
| 433 | + | |
434 | 434 |
| |
| 435 | + | |
| 436 | + | |
435 | 437 |
| |
436 | 438 |
| |
437 | 439 |
| |
| |||
447 | 449 |
| |
448 | 450 |
| |
449 | 451 |
| |
| 452 | + | |
| 453 | + | |
| 454 | + | |
450 | 455 |
| |
451 | 456 |
| |
452 | 457 |
| |
|
Lines changed: 26 additions & 9 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
162 | 162 |
| |
163 | 163 |
| |
164 | 164 |
| |
165 |
| - | |
| 165 | + | |
| 166 | + | |
| 167 | + | |
| 168 | + | |
166 | 169 |
| |
167 | 170 |
| |
168 | 171 |
| |
169 |
| - | |
| 172 | + | |
170 | 173 |
| |
171 | 174 |
| |
172 | 175 |
| |
| |||
181 | 184 |
| |
182 | 185 |
| |
183 | 186 |
| |
184 |
| - | |
| 187 | + | |
| 188 | + | |
| 189 | + | |
| 190 | + | |
185 | 191 |
| |
186 | 192 |
| |
187 | 193 |
| |
| |||
197 | 203 |
| |
198 | 204 |
| |
199 | 205 |
| |
200 |
| - | |
| 206 | + | |
| 207 | + | |
| 208 | + | |
| 209 | + | |
| 210 | + | |
| 211 | + | |
| 212 | + | |
201 | 213 |
| |
202 | 214 |
| |
203 | 215 |
| |
204 | 216 |
| |
205 | 217 |
| |
206 | 218 |
| |
207 |
| - | |
| 219 | + | |
208 | 220 |
| |
209 | 221 |
| |
210 | 222 |
| |
211 |
| - | |
| 223 | + | |
| 224 | + | |
| 225 | + | |
| 226 | + | |
212 | 227 |
| |
213 |
| - | |
| 228 | + | |
214 | 229 |
| |
215 | 230 |
| |
216 | 231 |
| |
217 |
| - | |
| 232 | + | |
218 | 233 |
| |
219 | 234 |
| |
220 | 235 |
| |
| |||
232 | 247 |
| |
233 | 248 |
| |
234 | 249 |
| |
235 |
| - | |
| 250 | + | |
| 251 | + | |
| 252 | + | |
236 | 253 |
| |
237 | 254 |
| |
238 | 255 |
| |
|
Lines changed: 4 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
971 | 971 |
| |
972 | 972 |
| |
973 | 973 |
| |
974 |
| - | |
| 974 | + | |
975 | 975 |
| |
976 | 976 |
| |
977 | 977 |
| |
| |||
985 | 985 |
| |
986 | 986 |
| |
987 | 987 |
| |
988 |
| - | |
| 988 | + | |
989 | 989 |
| |
990 | 990 |
| |
991 | 991 |
| |
992 | 992 |
| |
993 | 993 |
| |
994 | 994 |
| |
995 |
| - | |
| 995 | + | |
996 | 996 |
| |
997 | 997 |
| |
998 |
| - | |
| 998 | + | |
999 | 999 |
| |
1000 | 1000 |
| |
1001 | 1001 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
190 | 190 |
| |
191 | 191 |
| |
192 | 192 |
| |
193 |
| - | |
| 193 | + | |
194 | 194 |
| |
195 |
| - | |
| 195 | + | |
196 | 196 |
| |
197 | 197 |
| |
198 | 198 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
172 | 172 |
| |
173 | 173 |
| |
174 | 174 |
| |
175 |
| - | |
| 175 | + | |
176 | 176 |
| |
177 | 177 |
| |
178 | 178 |
| |
|
0 commit comments