File tree
71 files changed
+138
-205
lines changed- library/core/src
- alloc
- ascii
- char
- intrinsics
- num
- ops
- ptr
- slice
- str
- src/tools/miri/tests/fail
- function_calls
- intrinsics
- panic
- tests
- mir-opt
- inline
- instsimplify
- pre-codegen
- ui
- const-ptr
- consts
- const-eval
- required-consts
- print_type_sizes
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
71 files changed
+138
-205
lines changedLines changed: 1 addition & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
126 | 126 |
| |
127 | 127 |
| |
128 | 128 |
| |
| 129 | + | |
129 | 130 |
| |
130 | 131 |
| |
131 | 132 |
| |
|
Lines changed: 1 addition & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
503 | 503 |
| |
504 | 504 |
| |
505 | 505 |
| |
| 506 | + | |
506 | 507 |
| |
507 | 508 |
| |
508 | 509 |
| |
|
Lines changed: 1 addition & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
22 | 22 |
| |
23 | 23 |
| |
24 | 24 |
| |
| 25 | + | |
25 | 26 |
| |
26 | 27 |
| |
27 | 28 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
98 | 98 |
| |
99 | 99 |
| |
100 | 100 |
| |
101 |
| - | |
| 101 | + | |
102 | 102 |
| |
103 | 103 |
| |
104 | 104 |
| |
|
Lines changed: 4 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2656 | 2656 |
| |
2657 | 2657 |
| |
2658 | 2658 |
| |
2659 |
| - | |
| 2659 | + | |
2660 | 2660 |
| |
2661 | 2661 |
| |
2662 | 2662 |
| |
| |||
3723 | 3723 |
| |
3724 | 3724 |
| |
3725 | 3725 |
| |
3726 |
| - | |
| 3726 | + | |
3727 | 3727 |
| |
3728 | 3728 |
| |
3729 | 3729 |
| |
| |||
3826 | 3826 |
| |
3827 | 3827 |
| |
3828 | 3828 |
| |
3829 |
| - | |
| 3829 | + | |
3830 | 3830 |
| |
3831 | 3831 |
| |
3832 | 3832 |
| |
| |||
3906 | 3906 |
| |
3907 | 3907 |
| |
3908 | 3908 |
| |
3909 |
| - | |
| 3909 | + | |
3910 | 3910 |
| |
3911 | 3911 |
| |
3912 | 3912 |
| |
|
Lines changed: 6 additions & 6 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
555 | 555 |
| |
556 | 556 |
| |
557 | 557 |
| |
558 |
| - | |
| 558 | + | |
559 | 559 |
| |
560 | 560 |
| |
561 | 561 |
| |
| |||
705 | 705 |
| |
706 | 706 |
| |
707 | 707 |
| |
708 |
| - | |
| 708 | + | |
709 | 709 |
| |
710 | 710 |
| |
711 | 711 |
| |
| |||
855 | 855 |
| |
856 | 856 |
| |
857 | 857 |
| |
858 |
| - | |
| 858 | + | |
859 | 859 |
| |
860 | 860 |
| |
861 | 861 |
| |
| |||
1199 | 1199 |
| |
1200 | 1200 |
| |
1201 | 1201 |
| |
1202 |
| - | |
| 1202 | + | |
1203 | 1203 |
| |
1204 | 1204 |
| |
1205 | 1205 |
| |
| |||
1327 | 1327 |
| |
1328 | 1328 |
| |
1329 | 1329 |
| |
1330 |
| - | |
| 1330 | + | |
1331 | 1331 |
| |
1332 | 1332 |
| |
1333 | 1333 |
| |
| |||
1448 | 1448 |
| |
1449 | 1449 |
| |
1450 | 1450 |
| |
1451 |
| - | |
| 1451 | + | |
1452 | 1452 |
| |
1453 | 1453 |
| |
1454 | 1454 |
| |
|
Lines changed: 2 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
388 | 388 |
| |
389 | 389 |
| |
390 | 390 |
| |
| 391 | + | |
391 | 392 |
| |
392 | 393 |
| |
393 | 394 |
| |
| |||
428 | 429 |
| |
429 | 430 |
| |
430 | 431 |
| |
| 432 | + | |
431 | 433 |
| |
432 | 434 |
| |
433 | 435 |
| |
|
Lines changed: 5 additions & 5 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
601 | 601 |
| |
602 | 602 |
| |
603 | 603 |
| |
604 |
| - | |
| 604 | + | |
605 | 605 |
| |
606 | 606 |
| |
607 | 607 |
| |
| |||
791 | 791 |
| |
792 | 792 |
| |
793 | 793 |
| |
794 |
| - | |
| 794 | + | |
795 | 795 |
| |
796 | 796 |
| |
797 | 797 |
| |
| |||
974 | 974 |
| |
975 | 975 |
| |
976 | 976 |
| |
977 |
| - | |
| 977 | + | |
978 | 978 |
| |
979 | 979 |
| |
980 | 980 |
| |
| |||
1588 | 1588 |
| |
1589 | 1589 |
| |
1590 | 1590 |
| |
1591 |
| - | |
| 1591 | + | |
1592 | 1592 |
| |
1593 | 1593 |
| |
1594 | 1594 |
| |
| |||
1709 | 1709 |
| |
1710 | 1710 |
| |
1711 | 1711 |
| |
1712 |
| - | |
| 1712 | + | |
1713 | 1713 |
| |
1714 | 1714 |
| |
1715 | 1715 |
| |
|
Lines changed: 1 addition & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
19 | 19 |
| |
20 | 20 |
| |
21 | 21 |
| |
| 22 | + | |
22 | 23 |
| |
23 | 24 |
| |
24 | 25 |
| |
|
Lines changed: 1 addition & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
73 | 73 |
| |
74 | 74 |
| |
75 | 75 |
| |
| 76 | + | |
76 | 77 |
| |
77 | 78 |
| |
78 | 79 |
| |
|
Lines changed: 13 additions & 13 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
416 | 416 |
| |
417 | 417 |
| |
418 | 418 |
| |
419 |
| - | |
| 419 | + | |
420 | 420 |
| |
421 | 421 |
| |
422 | 422 |
| |
| |||
469 | 469 |
| |
470 | 470 |
| |
471 | 471 |
| |
472 |
| - | |
| 472 | + | |
473 | 473 |
| |
474 | 474 |
| |
475 | 475 |
| |
| |||
767 | 767 |
| |
768 | 768 |
| |
769 | 769 |
| |
770 |
| - | |
| 770 | + | |
771 | 771 |
| |
772 | 772 |
| |
773 | 773 |
| |
| |||
812 | 812 |
| |
813 | 813 |
| |
814 | 814 |
| |
815 |
| - | |
| 815 | + | |
816 | 816 |
| |
817 | 817 |
| |
818 | 818 |
| |
| |||
926 | 926 |
| |
927 | 927 |
| |
928 | 928 |
| |
929 |
| - | |
| 929 | + | |
930 | 930 |
| |
931 | 931 |
| |
932 | 932 |
| |
| |||
978 | 978 |
| |
979 | 979 |
| |
980 | 980 |
| |
981 |
| - | |
| 981 | + | |
982 | 982 |
| |
983 | 983 |
| |
984 | 984 |
| |
| |||
1032 | 1032 |
| |
1033 | 1033 |
| |
1034 | 1034 |
| |
1035 |
| - | |
| 1035 | + | |
1036 | 1036 |
| |
1037 | 1037 |
| |
1038 | 1038 |
| |
| |||
1090 | 1090 |
| |
1091 | 1091 |
| |
1092 | 1092 |
| |
1093 |
| - | |
| 1093 | + | |
1094 | 1094 |
| |
1095 | 1095 |
| |
1096 | 1096 |
| |
| |||
1263 | 1263 |
| |
1264 | 1264 |
| |
1265 | 1265 |
| |
1266 |
| - | |
| 1266 | + | |
1267 | 1267 |
| |
1268 | 1268 |
| |
1269 | 1269 |
| |
| |||
1284 | 1284 |
| |
1285 | 1285 |
| |
1286 | 1286 |
| |
1287 |
| - | |
| 1287 | + | |
1288 | 1288 |
| |
1289 | 1289 |
| |
1290 | 1290 |
| |
| |||
1304 | 1304 |
| |
1305 | 1305 |
| |
1306 | 1306 |
| |
1307 |
| - | |
| 1307 | + | |
1308 | 1308 |
| |
1309 | 1309 |
| |
1310 | 1310 |
| |
| |||
1324 | 1324 |
| |
1325 | 1325 |
| |
1326 | 1326 |
| |
1327 |
| - | |
| 1327 | + | |
1328 | 1328 |
| |
1329 | 1329 |
| |
1330 | 1330 |
| |
| |||
1344 | 1344 |
| |
1345 | 1345 |
| |
1346 | 1346 |
| |
1347 |
| - | |
| 1347 | + | |
1348 | 1348 |
| |
1349 | 1349 |
| |
1350 | 1350 |
| |
|
Lines changed: 8 additions & 6 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1069 | 1069 |
| |
1070 | 1070 |
| |
1071 | 1071 |
| |
| 1072 | + | |
1072 | 1073 |
| |
1073 | 1074 |
| |
1074 | 1075 |
| |
| |||
1249 | 1250 |
| |
1250 | 1251 |
| |
1251 | 1252 |
| |
| 1253 | + | |
1252 | 1254 |
| |
1253 | 1255 |
| |
1254 | 1256 |
| |
| |||
1376 | 1378 |
| |
1377 | 1379 |
| |
1378 | 1380 |
| |
1379 |
| - | |
| 1381 | + | |
1380 | 1382 |
| |
1381 | 1383 |
| |
1382 | 1384 |
| |
| |||
1494 | 1496 |
| |
1495 | 1497 |
| |
1496 | 1498 |
| |
1497 |
| - | |
| 1499 | + | |
1498 | 1500 |
| |
1499 | 1501 |
| |
1500 | 1502 |
| |
| |||
1593 | 1595 |
| |
1594 | 1596 |
| |
1595 | 1597 |
| |
1596 |
| - | |
| 1598 | + | |
1597 | 1599 |
| |
1598 | 1600 |
| |
1599 | 1601 |
| |
| |||
1697 | 1699 |
| |
1698 | 1700 |
| |
1699 | 1701 |
| |
1700 |
| - | |
| 1702 | + | |
1701 | 1703 |
| |
1702 | 1704 |
| |
1703 | 1705 |
| |
| |||
1771 | 1773 |
| |
1772 | 1774 |
| |
1773 | 1775 |
| |
1774 |
| - | |
| 1776 | + | |
1775 | 1777 |
| |
1776 | 1778 |
| |
1777 | 1779 |
| |
| |||
1852 | 1854 |
| |
1853 | 1855 |
| |
1854 | 1856 |
| |
1855 |
| - | |
| 1857 | + | |
1856 | 1858 |
| |
1857 | 1859 |
| |
1858 | 1860 |
| |
|
0 commit comments