This repository was archived by the owner on May 28, 2025. It is now read-only.
Commit d1e4342
authored
Rollup merge of rust-lang#99690 - RalfJung:miri-track-caller, r=Mark-Simulacrum
add miri-track-caller to more intrinsic-exposing methods
Follow-up to rust-lang#98674: I went through the Miri test suite to find more functions that would benefit from Miri backtrace pruning, and this is what I found.
Basically anything that just exposes a potentially-UB intrinsic to the user should get this treatment.File tree
7 files changed
+38
-0
lines changed- library/core/src
- mem
- num
- ptr
7 files changed
+38
-0
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
96 | 96 | | |
97 | 97 | | |
98 | 98 | | |
| 99 | + | |
99 | 100 | | |
100 | 101 | | |
101 | 102 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
2449 | 2449 | | |
2450 | 2450 | | |
2451 | 2451 | | |
| 2452 | + | |
2452 | 2453 | | |
2453 | 2454 | | |
2454 | 2455 | | |
| |||
2535 | 2536 | | |
2536 | 2537 | | |
2537 | 2538 | | |
| 2539 | + | |
2538 | 2540 | | |
2539 | 2541 | | |
2540 | 2542 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1124 | 1124 | | |
1125 | 1125 | | |
1126 | 1126 | | |
| 1127 | + | |
1127 | 1128 | | |
1128 | 1129 | | |
1129 | 1130 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
449 | 449 | | |
450 | 450 | | |
451 | 451 | | |
| 452 | + | |
452 | 453 | | |
453 | 454 | | |
454 | 455 | | |
| |||
517 | 518 | | |
518 | 519 | | |
519 | 520 | | |
| 521 | + | |
520 | 522 | | |
521 | 523 | | |
522 | 524 | | |
| |||
585 | 587 | | |
586 | 588 | | |
587 | 589 | | |
| 590 | + | |
588 | 591 | | |
589 | 592 | | |
590 | 593 | | |
| |||
757 | 760 | | |
758 | 761 | | |
759 | 762 | | |
| 763 | + | |
760 | 764 | | |
761 | 765 | | |
762 | 766 | | |
| |||
803 | 807 | | |
804 | 808 | | |
805 | 809 | | |
| 810 | + | |
806 | 811 | | |
807 | 812 | | |
808 | 813 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
459 | 459 | | |
460 | 460 | | |
461 | 461 | | |
| 462 | + | |
462 | 463 | | |
463 | 464 | | |
464 | 465 | | |
| |||
528 | 529 | | |
529 | 530 | | |
530 | 531 | | |
| 532 | + | |
531 | 533 | | |
532 | 534 | | |
533 | 535 | | |
| |||
574 | 576 | | |
575 | 577 | | |
576 | 578 | | |
| 579 | + | |
577 | 580 | | |
578 | 581 | | |
579 | 582 | | |
| |||
933 | 936 | | |
934 | 937 | | |
935 | 938 | | |
| 939 | + | |
936 | 940 | | |
937 | 941 | | |
938 | 942 | | |
| |||
979 | 983 | | |
980 | 984 | | |
981 | 985 | | |
| 986 | + | |
982 | 987 | | |
983 | 988 | | |
984 | 989 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
449 | 449 | | |
450 | 450 | | |
451 | 451 | | |
| 452 | + | |
452 | 453 | | |
453 | 454 | | |
454 | 455 | | |
| |||
471 | 472 | | |
472 | 473 | | |
473 | 474 | | |
| 475 | + | |
474 | 476 | | |
475 | 477 | | |
476 | 478 | | |
| |||
641 | 643 | | |
642 | 644 | | |
643 | 645 | | |
| 646 | + | |
644 | 647 | | |
645 | 648 | | |
646 | 649 | | |
| |||
663 | 666 | | |
664 | 667 | | |
665 | 668 | | |
| 669 | + | |
666 | 670 | | |
667 | 671 | | |
668 | 672 | | |
| |||
731 | 735 | | |
732 | 736 | | |
733 | 737 | | |
| 738 | + | |
734 | 739 | | |
735 | 740 | | |
736 | 741 | | |
| |||
862 | 867 | | |
863 | 868 | | |
864 | 869 | | |
| 870 | + | |
865 | 871 | | |
866 | 872 | | |
867 | 873 | | |
| |||
884 | 890 | | |
885 | 891 | | |
886 | 892 | | |
| 893 | + | |
887 | 894 | | |
888 | 895 | | |
889 | 896 | | |
| |||
946 | 953 | | |
947 | 954 | | |
948 | 955 | | |
| 956 | + | |
949 | 957 | | |
950 | 958 | | |
951 | 959 | | |
| |||
969 | 977 | | |
970 | 978 | | |
971 | 979 | | |
| 980 | + | |
972 | 981 | | |
973 | 982 | | |
974 | 983 | | |
| |||
1205 | 1214 | | |
1206 | 1215 | | |
1207 | 1216 | | |
| 1217 | + | |
1208 | 1218 | | |
1209 | 1219 | | |
1210 | 1220 | | |
| |||
1224 | 1234 | | |
1225 | 1235 | | |
1226 | 1236 | | |
| 1237 | + | |
1227 | 1238 | | |
1228 | 1239 | | |
1229 | 1240 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
461 | 461 | | |
462 | 462 | | |
463 | 463 | | |
| 464 | + | |
464 | 465 | | |
465 | 466 | | |
466 | 467 | | |
| |||
485 | 486 | | |
486 | 487 | | |
487 | 488 | | |
| 489 | + | |
488 | 490 | | |
489 | 491 | | |
490 | 492 | | |
| |||
824 | 826 | | |
825 | 827 | | |
826 | 828 | | |
| 829 | + | |
827 | 830 | | |
828 | 831 | | |
829 | 832 | | |
| |||
844 | 847 | | |
845 | 848 | | |
846 | 849 | | |
| 850 | + | |
847 | 851 | | |
848 | 852 | | |
849 | 853 | | |
| |||
913 | 917 | | |
914 | 918 | | |
915 | 919 | | |
| 920 | + | |
916 | 921 | | |
917 | 922 | | |
918 | 923 | | |
| |||
976 | 981 | | |
977 | 982 | | |
978 | 983 | | |
| 984 | + | |
979 | 985 | | |
980 | 986 | | |
981 | 987 | | |
| |||
998 | 1004 | | |
999 | 1005 | | |
1000 | 1006 | | |
| 1007 | + | |
1001 | 1008 | | |
1002 | 1009 | | |
1003 | 1010 | | |
| |||
1060 | 1067 | | |
1061 | 1068 | | |
1062 | 1069 | | |
| 1070 | + | |
1063 | 1071 | | |
1064 | 1072 | | |
1065 | 1073 | | |
| |||
1083 | 1091 | | |
1084 | 1092 | | |
1085 | 1093 | | |
| 1094 | + | |
1086 | 1095 | | |
1087 | 1096 | | |
1088 | 1097 | | |
| |||
1319 | 1328 | | |
1320 | 1329 | | |
1321 | 1330 | | |
| 1331 | + | |
1322 | 1332 | | |
1323 | 1333 | | |
1324 | 1334 | | |
| |||
1338 | 1348 | | |
1339 | 1349 | | |
1340 | 1350 | | |
| 1351 | + | |
1341 | 1352 | | |
1342 | 1353 | | |
1343 | 1354 | | |
| |||
1357 | 1368 | | |
1358 | 1369 | | |
1359 | 1370 | | |
| 1371 | + | |
1360 | 1372 | | |
1361 | 1373 | | |
1362 | 1374 | | |
| |||
1376 | 1388 | | |
1377 | 1389 | | |
1378 | 1390 | | |
| 1391 | + | |
1379 | 1392 | | |
1380 | 1393 | | |
1381 | 1394 | | |
| |||
0 commit comments