Skip to content

Commit

Permalink
Rollup merge of #129608 - RalfJung:const-eval-ub-checks, r=saethlin
Browse files Browse the repository at this point in the history
const-eval: do not make UbChecks behavior depend on current crate's flags

Fixes rust-lang/rust#129552

Let's see if we can get away with just always enabling these checks.
  • Loading branch information
matthiaskrgr authored Aug 28, 2024
2 parents d40056e + 91127ac commit 6663db8
Showing 1 changed file with 4 additions and 0 deletions.
4 changes: 4 additions & 0 deletions src/machine.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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,
Expand Down

0 comments on commit 6663db8

Please sign in to comment.