File tree
78 files changed
+158
-212
lines changed- library/core/src
- alloc
- ascii
- char
- intrinsics
- num
- ops
- ptr
- slice
- str
- src/tools/miri/tests/fail
- 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.
78 files changed
+158
-212
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: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2634 | 2634 |
| |
2635 | 2635 |
| |
2636 | 2636 |
| |
2637 |
| - | |
| 2637 | + | |
2638 | 2638 |
| |
2639 | 2639 |
| |
2640 | 2640 |
| |
|
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 | |
---|---|---|---|
| |||
442 | 442 |
| |
443 | 443 |
| |
444 | 444 |
| |
445 |
| - | |
| 445 | + | |
446 | 446 |
| |
447 | 447 |
| |
448 | 448 |
| |
| |||
495 | 495 |
| |
496 | 496 |
| |
497 | 497 |
| |
498 |
| - | |
| 498 | + | |
499 | 499 |
| |
500 | 500 |
| |
501 | 501 |
| |
| |||
794 | 794 |
| |
795 | 795 |
| |
796 | 796 |
| |
797 |
| - | |
| 797 | + | |
798 | 798 |
| |
799 | 799 |
| |
800 | 800 |
| |
| |||
839 | 839 |
| |
840 | 840 |
| |
841 | 841 |
| |
842 |
| - | |
| 842 | + | |
843 | 843 |
| |
844 | 844 |
| |
845 | 845 |
| |
| |||
953 | 953 |
| |
954 | 954 |
| |
955 | 955 |
| |
956 |
| - | |
| 956 | + | |
957 | 957 |
| |
958 | 958 |
| |
959 | 959 |
| |
| |||
1005 | 1005 |
| |
1006 | 1006 |
| |
1007 | 1007 |
| |
1008 |
| - | |
| 1008 | + | |
1009 | 1009 |
| |
1010 | 1010 |
| |
1011 | 1011 |
| |
| |||
1059 | 1059 |
| |
1060 | 1060 |
| |
1061 | 1061 |
| |
1062 |
| - | |
| 1062 | + | |
1063 | 1063 |
| |
1064 | 1064 |
| |
1065 | 1065 |
| |
| |||
1117 | 1117 |
| |
1118 | 1118 |
| |
1119 | 1119 |
| |
1120 |
| - | |
| 1120 | + | |
1121 | 1121 |
| |
1122 | 1122 |
| |
1123 | 1123 |
| |
| |||
1290 | 1290 |
| |
1291 | 1291 |
| |
1292 | 1292 |
| |
1293 |
| - | |
| 1293 | + | |
1294 | 1294 |
| |
1295 | 1295 |
| |
1296 | 1296 |
| |
| |||
1311 | 1311 |
| |
1312 | 1312 |
| |
1313 | 1313 |
| |
1314 |
| - | |
| 1314 | + | |
1315 | 1315 |
| |
1316 | 1316 |
| |
1317 | 1317 |
| |
| |||
1331 | 1331 |
| |
1332 | 1332 |
| |
1333 | 1333 |
| |
1334 |
| - | |
| 1334 | + | |
1335 | 1335 |
| |
1336 | 1336 |
| |
1337 | 1337 |
| |
| |||
1351 | 1351 |
| |
1352 | 1352 |
| |
1353 | 1353 |
| |
1354 |
| - | |
| 1354 | + | |
1355 | 1355 |
| |
1356 | 1356 |
| |
1357 | 1357 |
| |
| |||
1371 | 1371 |
| |
1372 | 1372 |
| |
1373 | 1373 |
| |
1374 |
| - | |
| 1374 | + | |
1375 | 1375 |
| |
1376 | 1376 |
| |
1377 | 1377 |
| |
|
Lines changed: 8 additions & 6 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1377 | 1377 |
| |
1378 | 1378 |
| |
1379 | 1379 |
| |
| 1380 | + | |
1380 | 1381 |
| |
1381 | 1382 |
| |
1382 | 1383 |
| |
| |||
1557 | 1558 |
| |
1558 | 1559 |
| |
1559 | 1560 |
| |
| 1561 | + | |
1560 | 1562 |
| |
1561 | 1563 |
| |
1562 | 1564 |
| |
| |||
1684 | 1686 |
| |
1685 | 1687 |
| |
1686 | 1688 |
| |
1687 |
| - | |
| 1689 | + | |
1688 | 1690 |
| |
1689 | 1691 |
| |
1690 | 1692 |
| |
| |||
1802 | 1804 |
| |
1803 | 1805 |
| |
1804 | 1806 |
| |
1805 |
| - | |
| 1807 | + | |
1806 | 1808 |
| |
1807 | 1809 |
| |
1808 | 1810 |
| |
| |||
1901 | 1903 |
| |
1902 | 1904 |
| |
1903 | 1905 |
| |
1904 |
| - | |
| 1906 | + | |
1905 | 1907 |
| |
1906 | 1908 |
| |
1907 | 1909 |
| |
| |||
2005 | 2007 |
| |
2006 | 2008 |
| |
2007 | 2009 |
| |
2008 |
| - | |
| 2010 | + | |
2009 | 2011 |
| |
2010 | 2012 |
| |
2011 | 2013 |
| |
| |||
2079 | 2081 |
| |
2080 | 2082 |
| |
2081 | 2083 |
| |
2082 |
| - | |
| 2084 | + | |
2083 | 2085 |
| |
2084 | 2086 |
| |
2085 | 2087 |
| |
| |||
2160 | 2162 |
| |
2161 | 2163 |
| |
2162 | 2164 |
| |
2163 |
| - | |
| 2165 | + | |
2164 | 2166 |
| |
2165 | 2167 |
| |
2166 | 2168 |
| |
|
0 commit comments