about summary refs log tree commit diff
path: root/compiler/rustc_interface/src
diff options
context:
space:
mode:
authorMatthias Krüger <matthias.krueger@famsik.de>2024-05-04 18:36:38 +0200
committerGitHub <noreply@github.com>2024-05-04 18:36:38 +0200
commit743be1e35e01e9313bd1c8fb0160c7f0ce4ede33 (patch)
tree136aef7fad8d28a581c6297c70e75d61fbd882cc /compiler/rustc_interface/src
parenta5cc1f663f197ffd1372148a232ab53c4afca557 (diff)
parent8e4466497fb8f5c1d87535cfe0c2d154b152ab9e (diff)
downloadrust-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')
0 files changed, 0 insertions, 0 deletions