diff options
| author | Ralf Jung <post@ralfj.de> | 2024-08-26 13:48:19 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-08-26 13:56:40 +0200 |
| commit | 7ea2981605ef13f713f42e877c4c31b059cb1ebe (patch) | |
| tree | e8b44e49543b7a44a6818a195fc57da942be401c /src | |
| parent | 22572d0994593197593e2a1b7b18d720a9a349a7 (diff) | |
const-eval: do not make UbChecks behavior depend on current crate's flags
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/miri/src/machine.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/tools/miri/src/machine.rs b/src/tools/miri/src/machine.rs index a7493d48d6a..f97b716e0b8 100644 --- a/src/tools/miri/src/machine.rs +++ b/src/tools/miri/src/machine.rs @@ -1060,6 +1060,10 @@ impl<'tcx> Machine<'tcx> for MiriMachine<'tcx> { ecx.generate_nan(inputs) } + fn ub_checks(ecx: &InterpCx<'tcx, Self>) -> InterpResult<'tcx, bool> { + Ok(ecx.tcx.sess.ub_checks()) + } + fn thread_local_static_pointer( ecx: &mut MiriInterpCx<'tcx>, def_id: DefId, |