Commit e76633b
authored
Rollup merge of rust-lang#66827 - RalfJung:miri-missing-ret-place, r=oli-obk
handle diverging functions forwarding their return place
Fixes rust-lang/miri#1075: the shim around diverging closures turned into function pointers actually "obtains" a return place inside a diverging function, but just uses it as the return place for a diverging callee. Handle this by using NULL places.
This is kind of a hack as it breaks our invariant that all places are dereferencable, but we'd eventually let raw pointers break that anyway I assume so that seems fine.
r? @oli-obk1 file changed
+23
-15
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
651 | 651 | | |
652 | 652 | | |
653 | 653 | | |
654 | | - | |
655 | | - | |
656 | | - | |
657 | | - | |
658 | | - | |
659 | | - | |
660 | | - | |
661 | | - | |
662 | | - | |
663 | | - | |
664 | | - | |
665 | | - | |
| 654 | + | |
| 655 | + | |
| 656 | + | |
| 657 | + | |
| 658 | + | |
| 659 | + | |
| 660 | + | |
| 661 | + | |
| 662 | + | |
| 663 | + | |
| 664 | + | |
| 665 | + | |
| 666 | + | |
| 667 | + | |
| 668 | + | |
| 669 | + | |
| 670 | + | |
| 671 | + | |
| 672 | + | |
| 673 | + | |
| 674 | + | |
666 | 675 | | |
667 | | - | |
668 | 676 | | |
669 | 677 | | |
670 | 678 | | |
| |||
791 | 799 | | |
792 | 800 | | |
793 | 801 | | |
794 | | - | |
795 | | - | |
| 802 | + | |
| 803 | + | |
796 | 804 | | |
797 | 805 | | |
798 | 806 | | |
| |||
0 commit comments