diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2024-05-04 18:36:38 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-05-04 18:36:38 +0200 |
| commit | 743be1e35e01e9313bd1c8fb0160c7f0ce4ede33 (patch) | |
| tree | 136aef7fad8d28a581c6297c70e75d61fbd882cc /compiler/rustc_interface/src/interface.rs | |
| parent | a5cc1f663f197ffd1372148a232ab53c4afca557 (diff) | |
| parent | 8e4466497fb8f5c1d87535cfe0c2d154b152ab9e (diff) | |
| download | rust-743be1e35e01e9313bd1c8fb0160c7f0ce4ede33.tar.gz rust-743be1e35e01e9313bd1c8fb0160c7f0ce4ede33.zip | |
Rollup merge of #124715 - RalfJung:interpret-noreturn, r=compiler-errors
interpret, miri: uniform treatments of intrinsics/functions with and without return block A long time ago we didn't have a `dest: &MPlaceTy<'tcx, Self::Provenance>` for diverging functions, and since `dest` is used so often we special-cased these non-returning intrinsics and functions so that we'd have `dest` available everywhere else. But this has changed a while ago, now only the return block `ret` is optional, and there's a convenient `return_to_block` function for dealing with the `None` case. So there no longer is any reason to treat diverging intrinsics/functions any different from those that do return.
Diffstat (limited to 'compiler/rustc_interface/src/interface.rs')
0 files changed, 0 insertions, 0 deletions
