diff options
| author | Camille GILLOT <gillot.camille@gmail.com> | 2023-02-12 15:31:34 +0000 |
|---|---|---|
| committer | Camille GILLOT <gillot.camille@gmail.com> | 2023-02-18 21:35:02 +0000 |
| commit | c1a0f8205ca17ca60ffb332b2d4994e22d09cb6e (patch) | |
| tree | d078344ad497734fa5d098900f4000d5fdd7c7e4 /src | |
| parent | a5769193d1661238b4792c26daef350da1df5cf6 (diff) | |
| download | rust-c1a0f8205ca17ca60ffb332b2d4994e22d09cb6e.tar.gz rust-c1a0f8205ca17ca60ffb332b2d4994e22d09cb6e.zip | |
Rename checked_binop_checks_overflow.
Diffstat (limited to 'src')
| -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 c99cc68dbab..8bd1e802f8a 100644 --- a/src/tools/miri/src/machine.rs +++ b/src/tools/miri/src/machine.rs @@ -815,8 +815,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)] |