mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Do not require absence of metadata.

Browse Source
This commit is contained in:
Camille GILLOT 2023-10-12 16:15:52 +00:00
parent 59235a7907
commit e3538d11f1
1 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
compiler/rustc_mir_transform/src/gvn.rs
View File

@ -54,7 +54,7 @@
//! ``` //! ```
use rustc_const_eval::interpret::{intern_const_alloc_for_constprop, MemoryKind}; use rustc_const_eval::interpret::{intern_const_alloc_for_constprop, MemoryKind};
use rustc_const_eval::interpret::{ImmTy, InterpCx, MemPlaceMeta, OpTy, Projectable, Scalar}; use rustc_const_eval::interpret::{ImmTy, InterpCx, OpTy, Projectable, Scalar};
use rustc_data_structures::fx::{FxHashMap, FxIndexSet}; use rustc_data_structures::fx::{FxHashMap, FxIndexSet};
use rustc_data_structures::graph::dominators::Dominators; use rustc_data_structures::graph::dominators::Dominators;
use rustc_hir::def::DefKind; use rustc_hir::def::DefKind;
@ -852,9 +852,7 @@ fn op_to_prop_const<'tcx>(
} }
// If this constant is a projection of another, we can return it directly. // If this constant is a projection of another, we can return it directly.
if let Either::Left(mplace) = op.as_mplace_or_imm() if let Either::Left(mplace) = op.as_mplace_or_imm() {
&& let MemPlaceMeta::None = mplace.meta()
{
let (size, _align) = ecx.size_and_align_of_mplace(&mplace).ok()??; let (size, _align) = ecx.size_and_align_of_mplace(&mplace).ok()??;
// Do not try interning a value that contains provenance. // Do not try interning a value that contains provenance.