File tree
61 files changed
+526
-485
lines changed- src/tools/miri
- src
- alloc_addresses
- bin
- borrow_tracker
- stacked_borrows
- tree_borrows
- concurrency
- intrinsics
- shims
- unix
- android
- freebsd
- linux
- macos
- solarish
- wasi
- windows
- x86
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
61 files changed
+526
-485
lines changedOriginal file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 |
| - | |
| 1 | + |
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
7 | 7 |
| |
8 | 8 |
| |
9 | 9 |
| |
| 10 | + | |
10 | 11 |
| |
11 | 12 |
| |
12 |
| - | |
13 | 13 |
| |
14 | 14 |
| |
15 | 15 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 | 3 |
| |
4 |
| - | |
| 4 | + | |
5 | 5 |
| |
6 | 6 |
| |
7 | 7 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
| 5 | + | |
5 | 6 |
| |
6 |
| - | |
7 | 7 |
| |
8 | 8 |
| |
9 | 9 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
11 | 11 |
| |
12 | 12 |
| |
13 | 13 |
| |
| 14 | + | |
14 | 15 |
| |
15 | 16 |
| |
16 | 17 |
| |
| |||
21 | 22 |
| |
22 | 23 |
| |
23 | 24 |
| |
24 |
| - | |
25 | 25 |
| |
26 | 26 |
| |
27 | 27 |
| |
28 | 28 |
| |
29 | 29 |
| |
30 | 30 |
| |
31 | 31 |
| |
| 32 | + | |
32 | 33 |
| |
33 | 34 |
| |
34 | 35 |
| |
| |||
47 | 48 |
| |
48 | 49 |
| |
49 | 50 |
| |
50 |
| - | |
51 | 51 |
| |
52 | 52 |
| |
53 | 53 |
| |
| |||
368 | 368 |
| |
369 | 369 |
| |
370 | 370 |
| |
371 |
| - | |
| 371 | + | |
372 | 372 |
| |
373 | 373 |
| |
374 | 374 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
| 5 | + | |
5 | 6 |
| |
6 | 7 |
| |
7 |
| - | |
8 | 8 |
| |
9 | 9 |
| |
10 | 10 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
| 3 | + | |
3 | 4 |
| |
4 | 5 |
| |
5 |
| - | |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
12 | 12 |
| |
13 | 13 |
| |
14 | 14 |
| |
| 15 | + | |
15 | 16 |
| |
16 | 17 |
| |
17 |
| - | |
18 | 18 |
| |
19 | 19 |
| |
20 | 20 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
1 | 2 |
| |
2 |
| - | |
3 | 3 |
| |
4 | 4 |
| |
5 | 5 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
44 | 44 |
| |
45 | 45 |
| |
46 | 46 |
| |
| 47 | + | |
47 | 48 |
| |
48 | 49 |
| |
49 | 50 |
| |
50 | 51 |
| |
51 | 52 |
| |
52 | 53 |
| |
53 |
| - | |
54 | 54 |
| |
55 | 55 |
| |
56 | 56 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
4 | 4 |
| |
5 | 5 |
| |
6 | 6 |
| |
| 7 | + | |
7 | 8 |
| |
8 |
| - | |
9 | 9 |
| |
10 | 10 |
| |
11 | 11 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
3 | 3 |
| |
4 | 4 |
| |
5 | 5 |
| |
| 6 | + | |
6 | 7 |
| |
7 | 8 |
| |
8 |
| - | |
9 | 9 |
| |
10 | 10 |
| |
11 | 11 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
7 | 7 |
| |
8 | 8 |
| |
9 | 9 |
| |
| 10 | + | |
10 | 11 |
| |
11 | 12 |
| |
12 | 13 |
| |
13 | 14 |
| |
14 | 15 |
| |
15 | 16 |
| |
16 | 17 |
| |
17 |
| - | |
18 | 18 |
| |
19 | 19 |
| |
20 | 20 |
| |
| |||
911 | 911 |
| |
912 | 912 |
| |
913 | 913 |
| |
914 |
| - | |
| 914 | + | |
915 | 915 |
| |
916 | 916 |
| |
917 | 917 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 | 3 |
| |
| 4 | + | |
4 | 5 |
| |
5 | 6 |
| |
6 |
| - | |
7 | 7 |
| |
8 | 8 |
| |
9 | 9 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
| 9 | + | |
9 | 10 |
| |
10 | 11 |
| |
11 | 12 |
| |
12 | 13 |
| |
13 | 14 |
| |
14 | 15 |
| |
15 |
| - | |
16 | 16 |
| |
17 | 17 |
| |
18 | 18 |
| |
| |||
391 | 391 |
| |
392 | 392 |
| |
393 | 393 |
| |
394 |
| - | |
| 394 | + | |
395 | 395 |
| |
396 | 396 |
| |
397 | 397 |
| |
| |||
409 | 409 |
| |
410 | 410 |
| |
411 | 411 |
| |
412 |
| - | |
| 412 | + | |
413 | 413 |
| |
414 | 414 |
| |
415 | 415 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
5 | 5 |
| |
6 | 6 |
| |
7 | 7 |
| |
| 8 | + | |
8 | 9 |
| |
9 | 10 |
| |
10 | 11 |
| |
| |||
18 | 19 |
| |
19 | 20 |
| |
20 | 21 |
| |
21 |
| - | |
22 |
| - | |
23 | 22 |
| |
24 | 23 |
| |
25 | 24 |
| |
| |||
435 | 434 |
| |
436 | 435 |
| |
437 | 436 |
| |
438 |
| - | |
| 437 | + | |
439 | 438 |
| |
440 | 439 |
| |
441 | 440 |
| |
| |||
917 | 916 |
| |
918 | 917 |
| |
919 | 918 |
| |
920 |
| - | |
| 919 | + | |
921 | 920 |
| |
922 | 921 |
| |
923 | 922 |
| |
| |||
953 | 952 |
| |
954 | 953 |
| |
955 | 954 |
| |
956 |
| - | |
957 |
| - | |
| 955 | + | |
| 956 | + | |
958 | 957 |
| |
959 | 958 |
| |
960 | 959 |
| |
| |||
978 | 977 |
| |
979 | 978 |
| |
980 | 979 |
| |
981 |
| - | |
982 |
| - | |
| 980 | + | |
| 981 | + | |
983 | 982 |
| |
984 | 983 |
| |
985 | 984 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
4 | 4 |
| |
5 | 5 |
| |
6 | 6 |
| |
| 7 | + | |
7 | 8 |
| |
8 | 9 |
| |
9 | 10 |
| |
10 | 11 |
| |
11 |
| - | |
12 | 12 |
| |
13 | 13 |
| |
14 | 14 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
| 2 | + | |
2 | 3 |
| |
3 | 4 |
| |
4 | 5 |
| |
5 | 6 |
| |
6 | 7 |
| |
7 |
| - | |
8 | 8 |
| |
9 | 9 |
| |
10 | 10 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
10 | 10 |
| |
11 | 11 |
| |
12 | 12 |
| |
| 13 | + | |
13 | 14 |
| |
14 | 15 |
| |
15 | 16 |
| |
| |||
21 | 22 |
| |
22 | 23 |
| |
23 | 24 |
| |
24 |
| - | |
25 |
| - | |
26 | 25 |
| |
27 | 26 |
| |
28 | 27 |
| |
| |||
1006 | 1005 |
| |
1007 | 1006 |
| |
1008 | 1007 |
| |
1009 |
| - | |
| 1008 | + | |
1010 | 1009 |
| |
1011 | 1010 |
| |
1012 | 1011 |
| |
| |||
1033 | 1032 |
| |
1034 | 1033 |
| |
1035 | 1034 |
| |
1036 |
| - | |
| 1035 | + | |
1037 | 1036 |
| |
1038 | 1037 |
| |
1039 | 1038 |
| |
| |||
1075 | 1074 |
| |
1076 | 1075 |
| |
1077 | 1076 |
| |
1078 |
| - | |
| 1077 | + | |
1079 | 1078 |
| |
1080 | 1079 |
| |
1081 | 1080 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
| 5 | + | |
5 | 6 |
| |
6 | 7 |
| |
7 |
| - | |
8 | 8 |
| |
9 | 9 |
| |
10 | 10 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
7 | 7 |
| |
8 | 8 |
| |
9 | 9 |
| |
10 |
| - | |
| 10 | + | |
11 | 11 |
| |
12 | 12 |
| |
13 | 13 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
| 3 | + | |
3 | 4 |
| |
4 |
| - | |
5 | 5 |
| |
6 | 6 |
| |
7 | 7 |
| |
|
0 commit comments