File tree
23 files changed
+69
-111
lines changed- src/tools/miri
- cargo-miri
- src
- miri-script
- src
- src
- bin
- borrow_tracker/tree_borrows
- shims
- test-cargo-miri
- tests
- fail/weak_memory
- pass
- both_borrows
23 files changed
+69
-111
lines changedLines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
9 |
| - | |
| 9 | + | |
10 | 10 |
| |
11 | 11 |
| |
12 | 12 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
5 | 5 |
| |
6 | 6 |
| |
7 | 7 |
| |
8 |
| - | |
| 8 | + | |
9 | 9 |
| |
10 | 10 |
| |
11 | 11 |
| |
|
Lines changed: 22 additions & 12 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
63 | 63 |
| |
64 | 64 |
| |
65 | 65 |
| |
| 66 | + | |
| 67 | + | |
| 68 | + | |
| 69 | + | |
| 70 | + | |
| 71 | + | |
66 | 72 |
| |
67 | 73 |
| |
68 | 74 |
| |
69 | 75 |
| |
70 |
| - | |
71 |
| - | |
72 |
| - | |
73 |
| - | |
74 |
| - | |
75 |
| - | |
76 |
| - | |
| 76 | + | |
| 77 | + | |
| 78 | + | |
| 79 | + | |
| 80 | + | |
| 81 | + | |
| 82 | + | |
| 83 | + | |
| 84 | + | |
| 85 | + | |
| 86 | + | |
| 87 | + | |
| 88 | + | |
| 89 | + | |
| 90 | + | |
| 91 | + | |
77 | 92 |
| |
78 | 93 |
| |
79 | 94 |
| |
80 | 95 |
| |
81 | 96 |
| |
82 |
| - | |
83 |
| - | |
84 |
| - | |
85 |
| - | |
86 |
| - | |
87 | 97 |
| |
88 | 98 |
| |
89 | 99 |
| |
|
Lines changed: 4 additions & 7 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
176 | 176 |
| |
177 | 177 |
| |
178 | 178 |
| |
| 179 | + | |
| 180 | + | |
179 | 181 |
| |
180 | 182 |
| |
181 | 183 |
| |
| |||
666 | 668 |
| |
667 | 669 |
| |
668 | 670 |
| |
669 |
| - | |
670 |
| - | |
671 |
| - | |
672 |
| - | |
673 |
| - | |
674 | 671 |
| |
675 | 672 |
| |
676 | 673 |
| |
| |||
702 | 699 |
| |
703 | 700 |
| |
704 | 701 |
| |
705 |
| - | |
| 702 | + | |
| 703 | + | |
706 | 704 |
| |
707 | 705 |
| |
708 |
| - | |
709 | 706 |
| |
710 | 707 |
| |
711 | 708 |
| |
|
Lines changed: 3 additions & 5 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
24 | 24 |
| |
25 | 25 |
| |
26 | 26 |
| |
27 |
| - | |
28 |
| - | |
29 |
| - | |
30 |
| - | |
31 |
| - | |
| 27 | + | |
| 28 | + | |
| 29 | + | |
32 | 30 |
| |
33 | 31 |
| |
34 | 32 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
9 |
| - | |
| 9 | + | |
10 | 10 |
| |
11 | 11 |
| |
12 | 12 |
| |
|
Lines changed: 5 additions & 9 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
675 | 675 |
| |
676 | 676 |
| |
677 | 677 |
| |
678 |
| - | |
679 |
| - | |
680 |
| - | |
681 |
| - | |
682 |
| - | |
| 678 | + | |
| 679 | + | |
| 680 | + | |
683 | 681 |
| |
684 | 682 |
| |
685 | 683 |
| |
| |||
707 | 705 |
| |
708 | 706 |
| |
709 | 707 |
| |
710 |
| - | |
711 |
| - | |
712 |
| - | |
713 |
| - | |
| 708 | + | |
| 709 | + | |
714 | 710 |
| |
715 | 711 |
| |
716 | 712 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
213 | 213 |
| |
214 | 214 |
| |
215 | 215 |
| |
216 |
| - | |
| 216 | + | |
217 | 217 |
| |
218 | 218 |
| |
219 | 219 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 |
| - | |
| 1 | + |
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
459 | 459 |
| |
460 | 460 |
| |
461 | 461 |
| |
462 |
| - | |
| 462 | + | |
463 | 463 |
| |
464 | 464 |
| |
465 | 465 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
179 | 179 |
| |
180 | 180 |
| |
181 | 181 |
| |
182 |
| - | |
| 182 | + | |
183 | 183 |
| |
184 | 184 |
| |
185 | 185 |
| |
|
Lines changed: 1 addition & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
648 | 648 |
| |
649 | 649 |
| |
650 | 650 |
| |
651 |
| - | |
652 |
| - | |
| 651 | + | |
653 | 652 |
| |
654 | 653 |
| |
655 | 654 |
| |
|
Lines changed: 0 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
9 | 9 |
| |
10 | 10 |
| |
11 | 11 |
| |
12 |
| - | |
13 | 12 |
| |
14 | 13 |
| |
15 | 14 |
| |
|
Lines changed: 1 addition & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
85 | 85 |
| |
86 | 86 |
| |
87 | 87 |
| |
| 88 | + | |
88 | 89 |
| |
89 | 90 |
| |
90 | 91 |
| |
|
Lines changed: 6 additions & 11 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
142 | 142 |
| |
143 | 143 |
| |
144 | 144 |
| |
145 |
| - | |
146 |
| - | |
147 |
| - | |
148 |
| - | |
149 |
| - | |
150 | 145 |
| |
151 | 146 |
| |
152 |
| - | |
| 147 | + | |
153 | 148 |
| |
154 | 149 |
| |
155 | 150 |
| |
156 | 151 |
| |
157 |
| - | |
| 152 | + | |
158 | 153 |
| |
159 | 154 |
| |
160 | 155 |
| |
161 | 156 |
| |
162 |
| - | |
| 157 | + | |
163 | 158 |
| |
164 | 159 |
| |
165 | 160 |
| |
| |||
171 | 166 |
| |
172 | 167 |
| |
173 | 168 |
| |
174 |
| - | |
| 169 | + | |
175 | 170 |
| |
176 | 171 |
| |
177 | 172 |
| |
| |||
181 | 176 |
| |
182 | 177 |
| |
183 | 178 |
| |
184 |
| - | |
| 179 | + | |
185 | 180 |
| |
186 | 181 |
| |
187 | 182 |
| |
188 | 183 |
| |
189 |
| - | |
| 184 | + | |
190 | 185 |
| |
191 | 186 |
| |
192 | 187 |
| |
|
Lines changed: 0 additions & 12 deletions
This file was deleted.
Lines changed: 10 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
20 | 20 |
| |
21 | 21 |
| |
22 | 22 |
| |
| 23 | + | |
| 24 | + | |
| 25 | + | |
| 26 | + | |
| 27 | + | |
| 28 | + | |
| 29 | + | |
| 30 | + | |
| 31 | + | |
| 32 | + |
Lines changed: 0 additions & 11 deletions
This file was deleted.
Lines changed: 0 additions & 22 deletions
This file was deleted.
Lines changed: 0 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
12 | 12 |
| |
13 | 13 |
| |
14 | 14 |
| |
15 |
| - | |
16 | 15 |
| |
17 | 16 |
| |
18 | 17 |
| |
|
Lines changed: 4 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
183 | 183 |
| |
184 | 184 |
| |
185 | 185 |
| |
186 |
| - | |
| 186 | + | |
187 | 187 |
| |
188 | 188 |
| |
189 | 189 |
| |
190 | 190 |
| |
191 | 191 |
| |
192 |
| - | |
| 192 | + | |
193 | 193 |
| |
194 | 194 |
| |
195 |
| - | |
| 195 | + | |
196 | 196 |
| |
197 |
| - | |
| 197 | + | |
198 | 198 |
| |
199 | 199 |
| |
200 | 200 |
| |
|
Lines changed: 6 additions & 7 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
44 | 44 |
| |
45 | 45 |
| |
46 | 46 |
| |
47 |
| - | |
48 |
| - | |
| 47 | + | |
49 | 48 |
| |
50 | 49 |
| |
51 | 50 |
| |
| |||
101 | 100 |
| |
102 | 101 |
| |
103 | 102 |
| |
104 |
| - | |
| 103 | + | |
105 | 104 |
| |
106 | 105 |
| |
107 | 106 |
| |
| |||
319 | 318 |
| |
320 | 319 |
| |
321 | 320 |
| |
322 |
| - | |
323 |
| - | |
324 |
| - | |
325 |
| - | |
| 321 | + | |
| 322 | + | |
| 323 | + | |
| 324 | + | |
326 | 325 |
| |
327 | 326 |
| |
328 | 327 |
| |
|
0 commit comments