File tree
106 files changed
+935
-720
lines changed- src/tools/miri
- .github/workflows
- bench-cargo-miri/mse/src
- cargo-miri/src
- ci
- miri-script
- src
- src
- borrow_tracker/tree_borrows
- concurrency
- intrinsics
- shims
- unix
- freebsd
- linux
- windows
- x86
- test-cargo-miri
- tests
- extern-so/fail
- fail
- alloc
- function_pointers
- intrinsics
- shims/backtrace
- unaligned_pointers
- fail-dep
- shims/fs
- tokio
- pass
- concurrency
- intrinsics
- shims
- x86
- pass-dep/shims
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
106 files changed
+935
-720
lines changedLines changed: 79 additions & 9 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
512 | 512 |
| |
513 | 513 |
| |
514 | 514 |
| |
| 515 | + | |
| 516 | + | |
| 517 | + | |
| 518 | + | |
| 519 | + | |
| 520 | + | |
| 521 | + | |
| 522 | + | |
| 523 | + | |
| 524 | + | |
| 525 | + | |
| 526 | + | |
| 527 | + | |
| 528 | + | |
| 529 | + | |
| 530 | + | |
| 531 | + | |
| 532 | + | |
| 533 | + | |
| 534 | + | |
| 535 | + | |
| 536 | + | |
515 | 537 |
| |
516 | 538 |
| |
517 | 539 |
| |
| |||
2318 | 2340 |
| |
2319 | 2341 |
| |
2320 | 2342 |
| |
2321 |
| - | |
2322 |
| - | |
| 2343 | + | |
| 2344 | + | |
2323 | 2345 |
| |
2324 | 2346 |
| |
2325 | 2347 |
| |
| |||
2480 | 2502 |
| |
2481 | 2503 |
| |
2482 | 2504 |
| |
| 2505 | + | |
2483 | 2506 |
| |
2484 | 2507 |
| |
2485 | 2508 |
| |
| |||
2835 | 2858 |
| |
2836 | 2859 |
| |
2837 | 2860 |
| |
| 2861 | + | |
| 2862 | + | |
| 2863 | + | |
| 2864 | + | |
| 2865 | + | |
| 2866 | + | |
| 2867 | + | |
| 2868 | + | |
| 2869 | + | |
2838 | 2870 |
| |
2839 | 2871 |
| |
2840 | 2872 |
| |
| |||
2907 | 2939 |
| |
2908 | 2940 |
| |
2909 | 2941 |
| |
2910 |
| - | |
| 2942 | + | |
| 2943 | + | |
| 2944 | + | |
| 2945 | + | |
| 2946 | + | |
| 2947 | + | |
| 2948 | + | |
| 2949 | + | |
| 2950 | + | |
| 2951 | + | |
2911 | 2952 |
| |
2912 | 2953 |
| |
2913 | 2954 |
| |
| |||
2916 | 2957 |
| |
2917 | 2958 |
| |
2918 | 2959 |
| |
2919 |
| - | |
2920 |
| - | |
| 2960 | + | |
| 2961 | + | |
| 2962 | + | |
| 2963 | + | |
| 2964 | + | |
| 2965 | + | |
| 2966 | + | |
| 2967 | + | |
| 2968 | + | |
| 2969 | + | |
| 2970 | + | |
| 2971 | + | |
2921 | 2972 |
| |
2922 | 2973 |
| |
2923 | 2974 |
| |
| |||
2926 | 2977 |
| |
2927 | 2978 |
| |
2928 | 2979 |
| |
2929 |
| - | |
| 2980 | + | |
| 2981 | + | |
| 2982 | + | |
| 2983 | + | |
| 2984 | + | |
| 2985 | + | |
| 2986 | + | |
| 2987 | + | |
| 2988 | + | |
| 2989 | + | |
| 2990 | + | |
2930 | 2991 |
| |
2931 | 2992 |
| |
2932 | 2993 |
| |
| |||
2939 | 3000 |
| |
2940 | 3001 |
| |
2941 | 3002 |
| |
| 3003 | + | |
| 3004 | + | |
| 3005 | + | |
| 3006 | + | |
| 3007 | + | |
| 3008 | + | |
| 3009 | + | |
| 3010 | + | |
| 3011 | + | |
2942 | 3012 |
| |
2943 | 3013 |
| |
2944 | 3014 |
| |
| |||
5285 | 5355 |
| |
5286 | 5356 |
| |
5287 | 5357 |
| |
5288 |
| - | |
| 5358 | + | |
5289 | 5359 |
| |
5290 | 5360 |
| |
5291 | 5361 |
| |
| |||
5296 | 5366 |
| |
5297 | 5367 |
| |
5298 | 5368 |
| |
5299 |
| - | |
5300 |
| - | |
| 5369 | + | |
| 5370 | + | |
5301 | 5371 |
| |
5302 | 5372 |
| |
5303 | 5373 |
| |
|
Lines changed: 10 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
45 | 45 |
| |
46 | 46 |
| |
47 | 47 |
| |
48 |
| - | |
| 48 | + | |
49 | 49 |
| |
50 | 50 |
| |
51 | 51 |
| |
| |||
61 | 61 |
| |
62 | 62 |
| |
63 | 63 |
| |
64 |
| - | |
| 64 | + | |
65 | 65 |
| |
66 | 66 |
| |
67 | 67 |
| |
| |||
78 | 78 |
| |
79 | 79 |
| |
80 | 80 |
| |
| 81 | + | |
| 82 | + | |
| 83 | + | |
| 84 | + | |
| 85 | + | |
| 86 | + | |
81 | 87 |
| |
82 | 88 |
| |
83 | 89 |
| |
| |||
95 | 101 |
| |
96 | 102 |
| |
97 | 103 |
| |
98 |
| - | |
| 104 | + | |
99 | 105 |
| |
100 | 106 |
| |
101 | 107 |
| |
| |||
111 | 117 |
| |
112 | 118 |
| |
113 | 119 |
| |
114 |
| - | |
| 120 | + | |
115 | 121 |
| |
116 | 122 |
| |
117 | 123 |
| |
|
0 commit comments