File tree
7 files changed
+77
-119
lines changed- compiler
- rustc_driver/src
- rustc_interface/src
- src/tools/miri/src/bin
7 files changed
+77
-119
lines changedLines changed: 31 additions & 49 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
26 | 26 |
| |
27 | 27 |
| |
28 | 28 |
| |
| 29 | + | |
29 | 30 |
| |
30 | 31 |
| |
31 | 32 |
| |
| |||
262 | 263 |
| |
263 | 264 |
| |
264 | 265 |
| |
265 |
| - | |
266 |
| - | |
267 |
| - | |
268 |
| - | |
| 266 | + | |
| 267 | + | |
269 | 268 |
| |
270 | 269 |
| |
271 | 270 |
| |
| |||
288 | 287 |
| |
289 | 288 |
| |
290 | 289 |
| |
291 |
| - | |
292 |
| - | |
293 |
| - | |
294 |
| - | |
295 |
| - | |
296 |
| - | |
297 |
| - | |
298 |
| - | |
299 |
| - | |
300 |
| - | |
301 |
| - | |
302 |
| - | |
| 290 | + | |
| 291 | + | |
| 292 | + | |
| 293 | + | |
| 294 | + | |
| 295 | + | |
| 296 | + | |
| 297 | + | |
| 298 | + | |
| 299 | + | |
303 | 300 |
| |
304 | 301 |
| |
305 | 302 |
| |
| |||
315 | 312 |
| |
316 | 313 |
| |
317 | 314 |
| |
318 |
| - | |
| 315 | + | |
319 | 316 |
| |
320 | 317 |
| |
321 |
| - | |
322 | 318 |
| |
323 | 319 |
| |
324 | 320 |
| |
325 | 321 |
| |
326 | 322 |
| |
327 |
| - | |
328 |
| - | |
329 |
| - | |
330 |
| - | |
331 |
| - | |
332 |
| - | |
333 |
| - | |
| 323 | + | |
334 | 324 |
| |
335 | 325 |
| |
336 | 326 |
| |
| |||
380 | 370 |
| |
381 | 371 |
| |
382 | 372 |
| |
383 |
| - | |
| 373 | + | |
384 | 374 |
| |
385 |
| - | |
| 375 | + | |
386 | 376 |
| |
387 | 377 |
| |
388 | 378 |
| |
| |||
556 | 546 |
| |
557 | 547 |
| |
558 | 548 |
| |
559 |
| - | |
| 549 | + | |
560 | 550 |
| |
561 | 551 |
| |
562 | 552 |
| |
| |||
623 | 613 |
| |
624 | 614 |
| |
625 | 615 |
| |
626 |
| - | |
627 |
| - | |
628 |
| - | |
629 |
| - | |
| 616 | + | |
| 617 | + | |
630 | 618 |
| |
631 | 619 |
| |
632 | 620 |
| |
| |||
635 | 623 |
| |
636 | 624 |
| |
637 | 625 |
| |
638 |
| - | |
639 |
| - | |
640 |
| - | |
641 |
| - | |
642 |
| - | |
643 |
| - | |
644 |
| - | |
645 |
| - | |
646 |
| - | |
647 |
| - | |
| 626 | + | |
| 627 | + | |
| 628 | + | |
| 629 | + | |
| 630 | + | |
| 631 | + | |
| 632 | + | |
648 | 633 |
| |
649 | 634 |
| |
| 635 | + | |
| 636 | + | |
650 | 637 |
| |
651 | 638 |
| |
652 | 639 |
| |
| |||
661 | 648 |
| |
662 | 649 |
| |
663 | 650 |
| |
664 |
| - | |
665 |
| - | |
666 |
| - | |
667 | 651 |
| |
668 |
| - | |
669 |
| - | |
670 |
| - | |
671 |
| - | |
| 652 | + | |
| 653 | + | |
672 | 654 |
| |
673 | 655 |
| |
674 | 656 |
| |
|
Lines changed: 11 additions & 17 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
| 9 | + | |
9 | 10 |
| |
10 | 11 |
| |
11 | 12 |
| |
| |||
16 | 17 |
| |
17 | 18 |
| |
18 | 19 |
| |
19 |
| - | |
| 20 | + | |
20 | 21 |
| |
21 | 22 |
| |
22 | 23 |
| |
| |||
358 | 359 |
| |
359 | 360 |
| |
360 | 361 |
| |
361 |
| - | |
| 362 | + | |
362 | 363 |
| |
363 | 364 |
| |
364 | 365 |
| |
| |||
372 | 373 |
| |
373 | 374 |
| |
374 | 375 |
| |
375 |
| - | |
376 |
| - | |
377 |
| - | |
378 |
| - | |
379 |
| - | |
380 |
| - | |
381 |
| - | |
382 |
| - | |
| 376 | + | |
| 377 | + | |
383 | 378 |
| |
384 | 379 |
| |
385 | 380 |
| |
| |||
407 | 402 |
| |
408 | 403 |
| |
409 | 404 |
| |
410 |
| - | |
| 405 | + | |
411 | 406 |
| |
412 | 407 |
| |
413 | 408 |
| |
414 | 409 |
| |
415 |
| - | |
| 410 | + | |
416 | 411 |
| |
417 | 412 |
| |
418 |
| - | |
419 | 413 |
| |
420 | 414 |
| |
421 |
| - | |
| 415 | + | |
422 | 416 |
| |
423 | 417 |
| |
424 | 418 |
| |
425 |
| - | |
| 419 | + | |
426 | 420 |
| |
427 | 421 |
| |
428 | 422 |
| |
| |||
474 | 468 |
| |
475 | 469 |
| |
476 | 470 |
| |
477 |
| - | |
| 471 | + | |
478 | 472 |
| |
479 | 473 |
| |
480 | 474 |
| |
| |||
484 | 478 |
| |
485 | 479 |
| |
486 | 480 |
| |
487 |
| - | |
| 481 | + | |
488 | 482 |
| |
489 | 483 |
| |
490 | 484 |
| |
|
Lines changed: 17 additions & 27 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
35 | 35 |
| |
36 | 36 |
| |
37 | 37 |
| |
38 |
| - | |
39 |
| - | |
40 |
| - | |
41 |
| - | |
| 38 | + | |
42 | 39 |
| |
43 | 40 |
| |
44 | 41 |
| |
45 | 42 |
| |
46 | 43 |
| |
| 44 | + | |
| 45 | + | |
| 46 | + | |
| 47 | + | |
| 48 | + | |
| 49 | + | |
| 50 | + | |
47 | 51 |
| |
48 | 52 |
| |
49 | 53 |
| |
50 | 54 |
| |
51 | 55 |
| |
52 | 56 |
| |
53 | 57 |
| |
54 |
| - | |
55 |
| - | |
56 |
| - | |
57 |
| - | |
58 |
| - | |
59 |
| - | |
60 |
| - | |
61 |
| - | |
62 |
| - | |
63 |
| - | |
64 |
| - | |
| 58 | + | |
| 59 | + | |
65 | 60 |
| |
66 | 61 |
| |
67 | 62 |
| |
| |||
71 | 66 |
| |
72 | 67 |
| |
73 | 68 |
| |
74 |
| - | |
75 |
| - | |
76 |
| - | |
77 |
| - | |
78 |
| - | |
79 |
| - | |
80 |
| - | |
81 |
| - | |
| 69 | + | |
82 | 70 |
| |
83 | 71 |
| |
84 | 72 |
| |
| |||
305 | 293 |
| |
306 | 294 |
| |
307 | 295 |
| |
308 |
| - | |
309 |
| - | |
310 |
| - | |
311 |
| - | |
| 296 | + | |
| 297 | + | |
| 298 | + | |
| 299 | + | |
| 300 | + | |
| 301 | + | |
312 | 302 |
| |
313 | 303 |
| |
314 | 304 |
| |
|
Lines changed: 5 additions & 12 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
673 | 673 |
| |
674 | 674 |
| |
675 | 675 |
| |
676 |
| - | |
677 |
| - | |
678 |
| - | |
679 |
| - | |
680 |
| - | |
681 |
| - | |
682 |
| - | |
683 |
| - | |
| 676 | + | |
684 | 677 |
| |
685 | 678 |
| |
686 |
| - | |
| 679 | + | |
687 | 680 |
| |
688 | 681 |
| |
689 |
| - | |
| 682 | + | |
690 | 683 |
| |
691 | 684 |
| |
692 | 685 |
| |
| |||
700 | 693 |
| |
701 | 694 |
| |
702 | 695 |
| |
703 |
| - | |
| 696 | + | |
704 | 697 |
| |
705 | 698 |
| |
706 | 699 |
| |
| |||
713 | 706 |
| |
714 | 707 |
| |
715 | 708 |
| |
716 |
| - | |
| 709 | + | |
717 | 710 |
| |
718 | 711 |
| |
719 | 712 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
129 | 129 |
| |
130 | 130 |
| |
131 | 131 |
| |
132 |
| - | |
| 132 | + | |
133 | 133 |
| |
134 | 134 |
| |
135 | 135 |
| |
| |||
165 | 165 |
| |
166 | 166 |
| |
167 | 167 |
| |
168 |
| - | |
| 168 | + | |
169 | 169 |
| |
170 | 170 |
| |
171 | 171 |
| |
|
0 commit comments