bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Do not create a DerefLen place for Box<[T]>.

Browse source
This commit is contained in:
Camille GILLOT 2023-09-12 17:29:32 +00:00
parent 78e74d959b
commit e76b7f226a
10 changed files with 955 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
compiler/rustc_mir_dataflow/src/value_analysis.rs
View file

@ -758,7 +758,9 @@ impl Map {
self.value_count += 1;
}
if let Some(ref_ty) = ty.builtin_deref(true) && let ty::Slice(..) = ref_ty.ty.kind() {
if let ty::Ref(_, ref_ty, _) | ty::RawPtr(ty::TypeAndMut { ty: ref_ty, .. }) = ty.kind()
&& let ty::Slice(..) = ref_ty.kind()
{
assert!(self.places[place].value_index.is_none(), "slices are not scalars");
// Prepend new child to the linked list.