about summary refs log tree commit diff
diff options
context:
space:
mode:
authorRalf Jung <post@ralfj.de>2023-12-04 08:10:34 +0100
committerRalf Jung <post@ralfj.de>2023-12-04 08:10:34 +0100
commit81740452a83d8c4fe60a2c77dd9b3ef7d814e4b9 (patch)
tree9a956fb6c46122485413f16e5148000bcf6a154b
parent2c545ed69e2220e8d3daff2907730bd0a98e4abc (diff)
downloadrust-81740452a83d8c4fe60a2c77dd9b3ef7d814e4b9.tar.gz
rust-81740452a83d8c4fe60a2c77dd9b3ef7d814e4b9.zip
fix clippy
-rw-r--r--src/tools/miri/src/shims/foreign_items.rs3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/tools/miri/src/shims/foreign_items.rs b/src/tools/miri/src/shims/foreign_items.rs
index 3a0ff7a5567..15432c5dd9c 100644
--- a/src/tools/miri/src/shims/foreign_items.rs
+++ b/src/tools/miri/src/shims/foreign_items.rs
@@ -567,7 +567,8 @@ trait EvalContextExtPriv<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
                     );
                 };
                 let (_, addr) = ptr.into_parts(); // we know the offset is absolute
-                if addr.bytes() % align.bytes() != 0 {
+                // Cannot panic since `align` is a power of 2 and hence non-zero.
+                if addr.bytes().checked_rem(align.bytes()).unwrap() != 0 {
                     throw_unsup_format!(
                         "`miri_promise_symbolic_alignment`: pointer is not actually aligned"
                     );