From 67540ec950b9bb5919c3c51dcf9fd6b3d380b7dc Mon Sep 17 00:00:00 2001
From: Ben Kimock <kimockb@gmail.com>
Date: Fri, 24 Mar 2023 12:35:16 -0400
Subject: [PATCH] Skip checks for common types with alignment 1
---
compiler/rustc_mir_transform/src/check_alignment.rs | 7 +++++++
1 file changed, 7 insertions(+)
diff --git a/compiler/rustc_mir_transform/src/check_alignment.rs b/compiler/rustc_mir_transform/src/check_alignment.rs
index ee5272749fe..996416ef22e 100644
--- a/compiler/rustc_mir_transform/src/check_alignment.rs
+++ b/compiler/rustc_mir_transform/src/check_alignment.rs
@@ -99,6 +99,13 @@ impl<'tcx, 'a> Visitor<'tcx> for PointerFinder<'tcx, 'a> {
return;
}
+ if [self.tcx.types.bool, self.tcx.types.i8, self.tcx.types.u8, self.tcx.types.str_]
+ .contains(&pointee_ty)
+ {
+ debug!("Trivially aligned pointee type: {:?}", pointer_ty);
+ return;
+ }
+
self.pointers.push((pointer, pointee_ty))
}
}