about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/util/alignment.rs
diff options
context:
space:
mode:
authorRalf Jung <post@ralfj.de>2023-08-24 11:34:23 +0200
committerRalf Jung <post@ralfj.de>2023-08-24 11:38:19 +0200
commit739144fc5b8f4f58f013a2d9fe7d0c630f404aab (patch)
treef9424064413bc2398b1a02180acc47b374d1c10e /compiler/rustc_const_eval/src/util/alignment.rs
parent0b31792ef1c15538b07c7b83585dc2fb371c239f (diff)
downloadrust-739144fc5b8f4f58f013a2d9fe7d0c630f404aab.tar.gz
rust-739144fc5b8f4f58f013a2d9fe7d0c630f404aab.zip
MIR validation: reject in-place argument/return for packed fields
Diffstat (limited to 'compiler/rustc_const_eval/src/util/alignment.rs')
-rw-r--r--compiler/rustc_const_eval/src/util/alignment.rs3
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/rustc_const_eval/src/util/alignment.rs b/compiler/rustc_const_eval/src/util/alignment.rs
index 4f39dad205a..2e0643afb39 100644
--- a/compiler/rustc_const_eval/src/util/alignment.rs
+++ b/compiler/rustc_const_eval/src/util/alignment.rs
@@ -34,13 +34,14 @@ where
             false
         }
         _ => {
+            // We cannot figure out the layout. Conservatively assume that this is disaligned.
             debug!("is_disaligned({:?}) - true", place);
             true
         }
     }
 }
 
-fn is_within_packed<'tcx, L>(
+pub fn is_within_packed<'tcx, L>(
     tcx: TyCtxt<'tcx>,
     local_decls: &L,
     place: Place<'tcx>,