diff options
| author | Ralf Jung <post@ralfj.de> | 2023-02-20 13:36:03 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2023-02-20 13:36:03 +0100 |
| commit | d1a242533392d4772c84ce2be80cf7fd40aa8be3 (patch) | |
| tree | cdeb9012fc4907fc9a04be5cd69ba8dc4110fe4b /src/tools | |
| parent | a52c7507327eb6a4459a93f6f04653380471dedf (diff) | |
| parent | 2f163554866e1b4b348811e9df6a4a753beb0abf (diff) | |
| download | rust-d1a242533392d4772c84ce2be80cf7fd40aa8be3.tar.gz rust-d1a242533392d4772c84ce2be80cf7fd40aa8be3.zip | |
Merge from rustc
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/miri/src/machine.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/tools/miri/src/machine.rs b/src/tools/miri/src/machine.rs index f9a6ef34c2f..8bbf9f87b43 100644 --- a/src/tools/miri/src/machine.rs +++ b/src/tools/miri/src/machine.rs @@ -821,8 +821,8 @@ impl<'mir, 'tcx> Machine<'mir, 'tcx> for MiriMachine<'mir, 'tcx> { } #[inline(always)] - fn checked_binop_checks_overflow(ecx: &MiriInterpCx<'mir, 'tcx>) -> bool { - ecx.tcx.sess.overflow_checks() + fn ignore_checkable_overflow_assertions(ecx: &MiriInterpCx<'mir, 'tcx>) -> bool { + !ecx.tcx.sess.overflow_checks() } #[inline(always)] |