This repository was archived by the owner on May 28, 2025. It is now read-only.
File tree
5 files changed
+59
-26
lines changed- src/tools/miri
- src
- shims
- tests/fail/alloc
5 files changed
+59
-26
lines changedLines changed: 14 additions & 10 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
64 | 64 |
| |
65 | 65 |
| |
66 | 66 |
| |
67 |
| - | |
68 |
| - | |
| 67 | + | |
| 68 | + | |
69 | 69 |
| |
70 |
| - | |
71 |
| - | |
| 70 | + | |
| 71 | + | |
| 72 | + | |
| 73 | + | |
72 | 74 |
| |
73 | 75 |
| |
74 | 76 |
| |
75 | 77 |
| |
76 | 78 |
| |
77 |
| - | |
| 79 | + | |
78 | 80 |
| |
79 | 81 |
| |
80 | 82 |
| |
| |||
86 | 88 |
| |
87 | 89 |
| |
88 | 90 |
| |
89 |
| - | |
| 91 | + | |
90 | 92 |
| |
91 | 93 |
| |
92 |
| - | |
93 |
| - | |
| 94 | + | |
| 95 | + | |
| 96 | + | |
| 97 | + | |
94 | 98 |
| |
95 | 99 |
| |
96 | 100 |
| |
97 | 101 |
| |
98 | 102 |
| |
99 | 103 |
| |
100 | 104 |
| |
101 |
| - | |
102 |
| - | |
| 105 | + | |
| 106 | + | |
103 | 107 |
| |
104 | 108 |
| |
105 | 109 |
| |
|
Lines changed: 0 additions & 12 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
5 | 5 |
| |
6 | 6 |
| |
7 | 7 |
| |
8 |
| - | |
9 |
| - | |
10 |
| - | |
11 |
| - | |
12 |
| - | |
13 |
| - | |
14 |
| - | |
15 |
| - | |
16 |
| - | |
17 |
| - | |
18 |
| - | |
19 |
| - | |
20 | 8 |
| |
21 | 9 |
| |
22 | 10 |
| |
|
Lines changed: 20 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
12 | 12 |
| |
13 | 13 |
| |
14 | 14 |
| |
15 |
| - | |
| 15 | + | |
16 | 16 |
| |
17 | 17 |
| |
18 | 18 |
| |
| |||
204 | 204 |
| |
205 | 205 |
| |
206 | 206 |
| |
| 207 | + | |
| 208 | + | |
| 209 | + | |
| 210 | + | |
| 211 | + | |
| 212 | + | |
| 213 | + | |
| 214 | + | |
| 215 | + | |
| 216 | + | |
| 217 | + | |
| 218 | + | |
| 219 | + | |
| 220 | + | |
| 221 | + | |
| 222 | + | |
207 | 223 |
| |
208 | 224 |
| |
209 | 225 |
| |
| |||
462 | 478 |
| |
463 | 479 |
| |
464 | 480 |
| |
465 |
| - | |
| 481 | + | |
466 | 482 |
| |
467 | 483 |
| |
468 | 484 |
| |
| |||
496 | 512 |
| |
497 | 513 |
| |
498 | 514 |
| |
499 |
| - | |
| 515 | + | |
500 | 516 |
| |
501 | 517 |
| |
502 | 518 |
| |
| |||
560 | 576 |
| |
561 | 577 |
| |
562 | 578 |
| |
563 |
| - | |
| 579 | + | |
564 | 580 |
| |
565 | 581 |
| |
566 | 582 |
| |
|
Lines changed: 10 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + |
Lines changed: 15 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + |
0 commit comments