File tree
103 files changed
+929
-717
lines changed- compiler
- rustc_ast/src
- rustc_builtin_macros/src
- rustc_passes
- src
- library
- core/src/slice
- std/src
- io
- src/tools/miri
- .github/workflows
- cargo-miri/src
- ci
- miri-script
- src
- src
- borrow_tracker/tree_borrows
- intrinsics
- shims
- unix
- freebsd
- linux
- windows
- x86
- test-cargo-miri
- tests
- extern-so/fail
- fail
- alloc
- 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.
103 files changed
+929
-717
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: 25 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
4 | 4 |
| |
5 | 5 |
| |
6 | 6 |
| |
| 7 | + | |
7 | 8 |
| |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
8 | 13 |
| |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
9 | 20 |
| |
| 21 | + | |
| 22 | + | |
| 23 | + | |
| 24 | + | |
| 25 | + | |
10 | 26 |
| |
11 |
| - | |
| 27 | + | |
| 28 | + | |
| 29 | + | |
| 30 | + | |
| 31 | + | |
| 32 | + | |
| 33 | + | |
| 34 | + | |
| 35 | + | |
12 | 36 |
| |
13 | 37 |
| |
14 | 38 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
266 | 266 |
| |
267 | 267 |
| |
268 | 268 |
| |
269 |
| - | |
| 269 | + | |
270 | 270 |
| |
271 | 271 |
| |
272 | 272 |
| |
|
Lines changed: 0 additions & 6 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
49 | 49 |
| |
50 | 50 |
| |
51 | 51 |
| |
52 |
| - | |
53 |
| - | |
54 |
| - | |
55 |
| - | |
56 |
| - | |
57 |
| - | |
58 | 52 |
| |
59 | 53 |
| |
60 | 54 |
| |
|
Lines changed: 23 additions & 19 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
18 | 18 |
| |
19 | 19 |
| |
20 | 20 |
| |
21 |
| - | |
22 |
| - | |
| 21 | + | |
| 22 | + | |
23 | 23 |
| |
24 |
| - | |
| 24 | + | |
25 | 25 |
| |
26 | 26 |
| |
27 | 27 |
| |
| |||
42 | 42 |
| |
43 | 43 |
| |
44 | 44 |
| |
45 |
| - | |
| 45 | + | |
46 | 46 |
| |
47 | 47 |
| |
48 |
| - | |
| 48 | + | |
49 | 49 |
| |
50 | 50 |
| |
51 | 51 |
| |
| |||
56 | 56 |
| |
57 | 57 |
| |
58 | 58 |
| |
59 |
| - | |
| 59 | + | |
| 60 | + | |
| 61 | + | |
| 62 | + | |
| 63 | + | |
| 64 | + | |
| 65 | + | |
| 66 | + | |
| 67 | + | |
| 68 | + | |
60 | 69 |
| |
61 | 70 |
| |
62 | 71 |
| |
| |||
65 | 74 |
| |
66 | 75 |
| |
67 | 76 |
| |
| 77 | + | |
68 | 78 |
| |
69 |
| - | |
70 |
| - | |
71 |
| - | |
72 |
| - | |
73 |
| - | |
74 |
| - | |
75 |
| - | |
76 |
| - | |
77 |
| - | |
| 79 | + | |
| 80 | + | |
78 | 81 |
| |
79 | 82 |
| |
80 | 83 |
| |
81 | 84 |
| |
82 |
| - | |
83 |
| - | |
| 85 | + | |
| 86 | + | |
84 | 87 |
| |
85 | 88 |
| |
86 | 89 |
| |
87 |
| - | |
| 90 | + | |
88 | 91 |
| |
89 | 92 |
| |
90 | 93 |
| |
| |||
107 | 110 |
| |
108 | 111 |
| |
109 | 112 |
| |
110 |
| - | |
| 113 | + | |
111 | 114 |
| |
112 | 115 |
| |
113 | 116 |
| |
| 117 | + | |
114 | 118 |
| |
115 | 119 |
| |
116 | 120 |
| |
|
Lines changed: 0 additions & 16 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1206 | 1206 |
| |
1207 | 1207 |
| |
1208 | 1208 |
| |
1209 |
| - | |
1210 |
| - | |
1211 |
| - | |
1212 |
| - | |
1213 |
| - | |
1214 |
| - | |
1215 |
| - | |
1216 |
| - | |
1217 |
| - | |
1218 |
| - | |
1219 |
| - | |
1220 |
| - | |
1221 |
| - | |
1222 |
| - | |
1223 |
| - | |
1224 |
| - | |
1225 | 1209 |
| |
1226 | 1210 |
| |
1227 | 1211 |
| |
|
Lines changed: 8 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
9 | 9 |
| |
10 | 10 |
| |
11 | 11 |
| |
12 |
| - | |
| 12 | + | |
13 | 13 |
| |
14 | 14 |
| |
15 | 15 |
| |
| |||
1983 | 1983 |
| |
1984 | 1984 |
| |
1985 | 1985 |
| |
1986 |
| - | |
| 1986 | + | |
1987 | 1987 |
| |
1988 | 1988 |
| |
1989 | 1989 |
| |
| |||
2035 | 2035 |
| |
2036 | 2036 |
| |
2037 | 2037 |
| |
2038 |
| - | |
| 2038 | + | |
| 2039 | + | |
| 2040 | + | |
| 2041 | + | |
| 2042 | + | |
| 2043 | + | |
2039 | 2044 |
| |
2040 | 2045 |
| |
2041 | 2046 |
| |
|
Lines changed: 21 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
364 | 364 |
| |
365 | 365 |
| |
366 | 366 |
| |
| 367 | + | |
| 368 | + | |
| 369 | + | |
| 370 | + | |
| 371 | + | |
| 372 | + | |
| 373 | + | |
| 374 | + | |
| 375 | + | |
| 376 | + | |
| 377 | + | |
| 378 | + | |
| 379 | + | |
| 380 | + | |
| 381 | + | |
| 382 | + | |
| 383 | + | |
| 384 | + | |
| 385 | + | |
| 386 | + | |
| 387 | + | |
367 | 388 |
| |
368 | 389 |
| |
369 | 390 |
| |
|
0 commit comments