File tree
16 files changed
+134
-36
lines changed- src/tools/miri
- src
- alloc_addresses
- concurrency
- intrinsics
- shims/unix
- test_dependencies
- tests/pass-dep
16 files changed
+134
-36
lines changedLines changed: 79 additions & 13 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
351 | 351 |
| |
352 | 352 |
| |
353 | 353 |
| |
354 |
| - | |
| 354 | + | |
| 355 | + | |
| 356 | + | |
| 357 | + | |
| 358 | + | |
| 359 | + | |
| 360 | + | |
| 361 | + | |
| 362 | + | |
| 363 | + | |
| 364 | + | |
| 365 | + | |
| 366 | + | |
355 | 367 |
| |
356 | 368 |
| |
357 | 369 |
| |
| |||
529 | 541 |
| |
530 | 542 |
| |
531 | 543 |
| |
532 |
| - | |
| 544 | + | |
533 | 545 |
| |
534 | 546 |
| |
535 | 547 |
| |
536 | 548 |
| |
537 |
| - | |
| 549 | + | |
538 | 550 |
| |
539 | 551 |
| |
540 | 552 |
| |
| |||
662 | 674 |
| |
663 | 675 |
| |
664 | 676 |
| |
665 |
| - | |
| 677 | + | |
666 | 678 |
| |
667 | 679 |
| |
668 | 680 |
| |
| |||
692 | 704 |
| |
693 | 705 |
| |
694 | 706 |
| |
695 |
| - | |
| 707 | + | |
696 | 708 |
| |
697 | 709 |
| |
698 | 710 |
| |
| |||
729 | 741 |
| |
730 | 742 |
| |
731 | 743 |
| |
732 |
| - | |
| 744 | + | |
| 745 | + | |
| 746 | + | |
| 747 | + | |
| 748 | + | |
| 749 | + | |
| 750 | + | |
| 751 | + | |
| 752 | + | |
733 | 753 |
| |
734 |
| - | |
| 754 | + | |
| 755 | + | |
735 | 756 |
| |
736 | 757 |
| |
737 | 758 |
| |
738 | 759 |
| |
739 |
| - | |
| 760 | + | |
740 | 761 |
| |
741 |
| - | |
| 762 | + | |
742 | 763 |
| |
743 | 764 |
| |
744 |
| - | |
| 765 | + | |
745 | 766 |
| |
746 | 767 |
| |
747 | 768 |
| |
748 | 769 |
| |
749 | 770 |
| |
750 | 771 |
| |
751 | 772 |
| |
| 773 | + | |
| 774 | + | |
| 775 | + | |
| 776 | + | |
| 777 | + | |
| 778 | + | |
752 | 779 |
| |
753 |
| - | |
| 780 | + | |
| 781 | + | |
754 | 782 |
| |
755 | 783 |
| |
756 | 784 |
| |
| |||
768 | 796 |
| |
769 | 797 |
| |
770 | 798 |
| |
771 |
| - | |
| 799 | + | |
772 | 800 |
| |
773 | 801 |
| |
774 | 802 |
| |
| |||
1105 | 1133 |
| |
1106 | 1134 |
| |
1107 | 1135 |
| |
| 1136 | + | |
| 1137 | + | |
| 1138 | + | |
| 1139 | + | |
| 1140 | + | |
| 1141 | + | |
| 1142 | + | |
| 1143 | + | |
| 1144 | + | |
1108 | 1145 |
| |
1109 | 1146 |
| |
1110 | 1147 |
| |
| |||
1244 | 1281 |
| |
1245 | 1282 |
| |
1246 | 1283 |
| |
| 1284 | + | |
| 1285 | + | |
| 1286 | + | |
| 1287 | + | |
| 1288 | + | |
| 1289 | + | |
| 1290 | + | |
| 1291 | + | |
| 1292 | + | |
1247 | 1293 |
| |
1248 | 1294 |
| |
1249 | 1295 |
| |
1250 | 1296 |
| |
1251 | 1297 |
| |
1252 | 1298 |
| |
1253 | 1299 |
| |
1254 |
| - | |
| 1300 | + | |
| 1301 | + | |
| 1302 | + | |
| 1303 | + | |
| 1304 | + | |
| 1305 | + | |
| 1306 | + | |
| 1307 | + | |
| 1308 | + | |
| 1309 | + | |
1255 | 1310 |
| |
1256 | 1311 |
| |
1257 | 1312 |
| |
| |||
1264 | 1319 |
| |
1265 | 1320 |
| |
1266 | 1321 |
| |
| 1322 | + | |
| 1323 | + | |
| 1324 | + | |
| 1325 | + | |
| 1326 | + | |
| 1327 | + | |
| 1328 | + | |
| 1329 | + | |
| 1330 | + | |
| 1331 | + | |
| 1332 | + |
Lines changed: 2 additions & 2 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 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
217 | 217 |
| |
218 | 218 |
| |
219 | 219 |
| |
220 |
| - | |
| 220 | + | |
221 | 221 |
| |
222 | 222 |
| |
223 | 223 |
| |
|
Lines changed: 4 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
58 | 58 |
| |
59 | 59 |
| |
60 | 60 |
| |
61 |
| - | |
| 61 | + | |
62 | 62 |
| |
63 | 63 |
| |
64 | 64 |
| |
| |||
88 | 88 |
| |
89 | 89 |
| |
90 | 90 |
| |
91 |
| - | |
| 91 | + | |
92 | 92 |
| |
93 | 93 |
| |
94 |
| - | |
| 94 | + | |
95 | 95 |
| |
96 | 96 |
| |
97 | 97 |
| |
| |||
118 | 118 |
| |
119 | 119 |
| |
120 | 120 |
| |
121 |
| - | |
| 121 | + | |
122 | 122 |
| |
123 | 123 |
| |
124 | 124 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
830 | 830 |
| |
831 | 831 |
| |
832 | 832 |
| |
833 |
| - | |
| 833 | + | |
834 | 834 |
| |
835 | 835 |
| |
836 | 836 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1138 | 1138 |
| |
1139 | 1139 |
| |
1140 | 1140 |
| |
1141 |
| - | |
| 1141 | + | |
1142 | 1142 |
| |
1143 | 1143 |
| |
1144 | 1144 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
421 | 421 |
| |
422 | 422 |
| |
423 | 423 |
| |
424 |
| - | |
| 424 | + | |
425 | 425 |
| |
426 | 426 |
| |
427 | 427 |
| |
|
Lines changed: 3 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
141 | 141 |
| |
142 | 142 |
| |
143 | 143 |
| |
144 |
| - | |
| 144 | + | |
145 | 145 |
| |
146 | 146 |
| |
147 | 147 |
| |
| |||
289 | 289 |
| |
290 | 290 |
| |
291 | 291 |
| |
292 |
| - | |
| 292 | + | |
293 | 293 |
| |
294 | 294 |
| |
295 | 295 |
| |
| |||
304 | 304 |
| |
305 | 305 |
| |
306 | 306 |
| |
307 |
| - | |
| 307 | + | |
308 | 308 |
| |
309 | 309 |
| |
310 | 310 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
304 | 304 |
| |
305 | 305 |
| |
306 | 306 |
| |
307 |
| - | |
| 307 | + | |
308 | 308 |
| |
309 | 309 |
| |
310 | 310 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1499 | 1499 |
| |
1500 | 1500 |
| |
1501 | 1501 |
| |
1502 |
| - | |
| 1502 | + | |
1503 | 1503 |
| |
1504 | 1504 |
| |
1505 | 1505 |
| |
| |||
1714 | 1714 |
| |
1715 | 1715 |
| |
1716 | 1716 |
| |
1717 |
| - | |
| 1717 | + | |
1718 | 1718 |
| |
1719 | 1719 |
| |
1720 | 1720 |
| |
|
Lines changed: 2 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 |
| - | |
3 | 2 |
| |
4 | 3 |
| |
5 | 4 |
| |
| |||
18 | 17 |
| |
19 | 18 |
| |
20 | 19 |
| |
21 |
| - | |
22 |
| - | |
| 20 | + | |
23 | 21 |
| |
24 | 22 |
| |
25 | 23 |
| |
26 | 24 |
| |
27 |
| - | |
| 25 | + | |
28 | 26 |
| |
29 | 27 |
| |
30 | 28 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
108 | 108 |
| |
109 | 109 |
| |
110 | 110 |
| |
111 |
| - | |
| 111 | + | |
112 | 112 |
| |
113 | 113 |
| |
114 | 114 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1550 | 1550 |
| |
1551 | 1551 |
| |
1552 | 1552 |
| |
1553 |
| - | |
| 1553 | + | |
1554 | 1554 |
| |
1555 | 1555 |
| |
1556 | 1556 |
| |
|
0 commit comments