diff options
| author | Dylan DPC <99973273+Dylan-DPC@users.noreply.github.com> | 2023-03-23 00:00:35 +0530 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-23 00:00:35 +0530 |
| commit | eda88a30c767d1933aaf82a83d679a245b7d26b8 (patch) | |
| tree | 8047ee2a1679b107542e980b2ffb2f1f9daf91b5 /src/tools | |
| parent | 031640ccd2773dfbbf996af90349536f405591ed (diff) | |
| parent | f066d6785dc37445e06230b7704faef75489a80f (diff) | |
| download | rust-eda88a30c767d1933aaf82a83d679a245b7d26b8.tar.gz rust-eda88a30c767d1933aaf82a83d679a245b7d26b8.zip | |
Rollup merge of #109435 - oli-obk:🇨ðŸ‡ðŸ¥š_copy_op, r=RalfJung
Detect uninhabited types early in const eval r? `@RalfJung` implements https://github.com/rust-lang/rust/pull/108442#discussion_r1143003840 this is a breaking change, as some UB during const eval is now detected instead of silently being ignored. Users can see this and other UB that may cause future breakage with `-Zextra-const-ub-checks` or just by running miri on their code, which sets that flag by default.
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/miri/src/machine.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/src/machine.rs b/src/tools/miri/src/machine.rs index c4baeb2a73b..cc1964de332 100644 --- a/src/tools/miri/src/machine.rs +++ b/src/tools/miri/src/machine.rs @@ -812,7 +812,7 @@ impl<'mir, 'tcx> Machine<'mir, 'tcx> for MiriMachine<'mir, 'tcx> { } #[inline(always)] - fn enforce_validity(ecx: &MiriInterpCx<'mir, 'tcx>) -> bool { + fn enforce_validity(ecx: &MiriInterpCx<'mir, 'tcx>, _layout: TyAndLayout<'tcx>) -> bool { ecx.machine.validate } |