diff options
| author | Michael Goulet <michael@errs.io> | 2025-02-05 19:36:41 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2025-02-08 21:38:16 +0000 |
| commit | b4641b2b3fd0616fa9597537f8fd954c34e6535f (patch) | |
| tree | 183c6c4e11f0d552e7832dc48f66c25202bbcbe9 /compiler/rustc_mir_transform/src/check_alignment.rs | |
| parent | 73bf7947e9ab731bf2764db219cd9cda216a3aed (diff) | |
| download | rust-b4641b2b3fd0616fa9597537f8fd954c34e6535f.tar.gz rust-b4641b2b3fd0616fa9597537f8fd954c34e6535f.zip | |
Detect (non-raw) borrows of null ZST pointers in CheckNull
Diffstat (limited to 'compiler/rustc_mir_transform/src/check_alignment.rs')
| -rw-r--r-- | compiler/rustc_mir_transform/src/check_alignment.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/compiler/rustc_mir_transform/src/check_alignment.rs b/compiler/rustc_mir_transform/src/check_alignment.rs index ca5564e447a..b70cca14840 100644 --- a/compiler/rustc_mir_transform/src/check_alignment.rs +++ b/compiler/rustc_mir_transform/src/check_alignment.rs @@ -1,5 +1,6 @@ use rustc_index::IndexVec; use rustc_middle::mir::interpret::Scalar; +use rustc_middle::mir::visit::PlaceContext; use rustc_middle::mir::*; use rustc_middle::ty::{Ty, TyCtxt}; use rustc_session::Session; @@ -44,6 +45,7 @@ fn insert_alignment_check<'tcx>( tcx: TyCtxt<'tcx>, pointer: Place<'tcx>, pointee_ty: Ty<'tcx>, + _context: PlaceContext, local_decls: &mut IndexVec<Local, LocalDecl<'tcx>>, stmts: &mut Vec<Statement<'tcx>>, source_info: SourceInfo, |