Skip to content

Commit 3821385

Browse files
borsbors
committed
Auto merge of #136650 - cuviper:beta-next, r=cuviper
[beta] backports - Ensure that we don't try to access fields on a non-struct pattern type #135222 - Do not include GCC source code in source tarballs #135658 - Temporarily bring back `Rvalue::Len` #135709 - Add a couple of missing `ensure_sufficient_stacks` #136352 - Enable kernel sanitizers for aarch64-unknown-none-softfloat #135905 r? cuviper
2 parents 0277061 + bf24cad commit 3821385

File tree

145 files changed

+2058
-1554
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

145 files changed

+2058
-1554
lines changed

‎compiler/rustc_borrowck/src/lib.rs

Lines changed: 8 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -828,6 +828,7 @@ use self::ReadOrWrite::{Activation, Read, Reservation, Write};
828828

829829
#[derive(Copy, Clone, PartialEq, Eq, Debug)]
830830
enum ArtificialField {
831+
ArrayLength,
831832
FakeBorrow,
832833
}
833834

@@ -1345,11 +1346,16 @@ impl<'a, 'tcx> MirBorrowckCtxt<'a, '_, 'tcx> {
13451346
);
13461347
}
13471348

1348-
&Rvalue::Discriminant(place) => {
1349+
&(Rvalue::Len(place) | Rvalue::Discriminant(place)) => {
1350+
let af = match *rvalue {
1351+
Rvalue::Len(..) => Some(ArtificialField::ArrayLength),
1352+
Rvalue::Discriminant(..) => None,
1353+
_ => unreachable!(),
1354+
};
13491355
self.access_place(
13501356
location,
13511357
(place, span),
1352-
(Shallow(None), Read(ReadKind::Copy)),
1358+
(Shallow(af), Read(ReadKind::Copy)),
13531359
LocalMutationIsAllowed::No,
13541360
state,
13551361
);

‎compiler/rustc_borrowck/src/places_conflict.rs

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -203,7 +203,8 @@ fn place_components_conflict<'tcx>(
203203
let base_ty = base.ty(body, tcx).ty;
204204

205205
match (elem, base_ty.kind(), access) {
206-
(_, _, Shallow(Some(ArtificialField::FakeBorrow))) => {
206+
(_, _, Shallow(Some(ArtificialField::ArrayLength)))
207+
| (_, _, Shallow(Some(ArtificialField::FakeBorrow))) => {
207208
// The array length is like additional fields on the
208209
// type; it does not overlap any existing data there.
209210
// Furthermore, if cannot actually be a prefix of any

‎compiler/rustc_borrowck/src/polonius/legacy/loan_invalidations.rs

Lines changed: 7 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -298,11 +298,16 @@ impl<'a, 'tcx> LoanInvalidationsGenerator<'a, 'tcx> {
298298
self.consume_operand(location, op);
299299
}
300300

301-
&Rvalue::Discriminant(place) => {
301+
&(Rvalue::Len(place) | Rvalue::Discriminant(place)) => {
302+
let af = match rvalue {
303+
Rvalue::Len(..) => Some(ArtificialField::ArrayLength),
304+
Rvalue::Discriminant(..) => None,
305+
_ => unreachable!(),
306+
};
302307
self.access_place(
303308
location,
304309
place,
305-
(Shallow(None), Read(ReadKind::Copy)),
310+
(Shallow(af), Read(ReadKind::Copy)),
306311
LocalMutationIsAllowed::No,
307312
);
308313
}

‎compiler/rustc_borrowck/src/type_check/mod.rs

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2221,6 +2221,7 @@ impl<'a, 'tcx> TypeChecker<'a, 'tcx> {
22212221

22222222
Rvalue::RawPtr(..)
22232223
| Rvalue::ThreadLocalRef(..)
2224+
| Rvalue::Len(..)
22242225
| Rvalue::Discriminant(..)
22252226
| Rvalue::NullaryOp(NullOp::OffsetOf(..), _) => {}
22262227
}
@@ -2236,6 +2237,7 @@ impl<'a, 'tcx> TypeChecker<'a, 'tcx> {
22362237
| Rvalue::Repeat(..)
22372238
| Rvalue::Ref(..)
22382239
| Rvalue::RawPtr(..)
2240+
| Rvalue::Len(..)
22392241
| Rvalue::Cast(..)
22402242
| Rvalue::ShallowInitBox(..)
22412243
| Rvalue::BinaryOp(..)

‎compiler/rustc_codegen_cranelift/src/base.rs

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -828,6 +828,12 @@ fn codegen_stmt<'tcx>(
828828
fx.bcx.ins().nop();
829829
}
830830
}
831+
Rvalue::Len(place) => {
832+
let place = codegen_place(fx, place);
833+
let usize_layout = fx.layout_of(fx.tcx.types.usize);
834+
let len = codegen_array_len(fx, place);
835+
lval.write_cvalue(fx, CValue::by_val(len, usize_layout));
836+
}
831837
Rvalue::ShallowInitBox(ref operand, content_ty) => {
832838
let content_ty = fx.monomorphize(content_ty);
833839
let box_layout = fx.layout_of(Ty::new_box(fx.tcx, content_ty));

‎compiler/rustc_codegen_ssa/src/mir/rvalue.rs

Lines changed: 28 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,9 +10,9 @@ use rustc_session::config::OptLevel;
1010
use rustc_span::{DUMMY_SP, Span};
1111
use tracing::{debug, instrument};
1212

13-
use super::FunctionCx;
1413
use super::operand::{OperandRef, OperandValue};
1514
use super::place::PlaceRef;
15+
use super::{FunctionCx, LocalRef};
1616
use crate::common::IntPredicate;
1717
use crate::traits::*;
1818
use crate::{MemFlags, base};
@@ -593,6 +593,14 @@ impl<'a, 'tcx, Bx: BuilderMethods<'a, 'tcx>> FunctionCx<'a, 'tcx, Bx> {
593593
self.codegen_place_to_pointer(bx, place, mk_ptr)
594594
}
595595

596+
mir::Rvalue::Len(place) => {
597+
let size = self.evaluate_array_len(bx, place);
598+
OperandRef {
599+
val: OperandValue::Immediate(size),
600+
layout: bx.cx().layout_of(bx.tcx().types.usize),
601+
}
602+
}
603+
596604
mir::Rvalue::BinaryOp(op_with_overflow, box (ref lhs, ref rhs))
597605
if let Some(op) = op_with_overflow.overflowing_to_wrapping() =>
598606
{
@@ -792,6 +800,24 @@ impl<'a, 'tcx, Bx: BuilderMethods<'a, 'tcx>> FunctionCx<'a, 'tcx, Bx> {
792800
}
793801
}
794802

803+
fn evaluate_array_len(&mut self, bx: &mut Bx, place: mir::Place<'tcx>) -> Bx::Value {
804+
// ZST are passed as operands and require special handling
805+
// because codegen_place() panics if Local is operand.
806+
if let Some(index) = place.as_local() {
807+
if let LocalRef::Operand(op) = self.locals[index] {
808+
if let ty::Array(_, n) = op.layout.ty.kind() {
809+
let n = n
810+
.try_to_target_usize(bx.tcx())
811+
.expect("expected monomorphic const in codegen");
812+
return bx.cx().const_usize(n);
813+
}
814+
}
815+
}
816+
// use common size calculation for non zero-sized types
817+
let cg_value = self.codegen_place(bx, place.as_ref());
818+
cg_value.len(bx.cx())
819+
}
820+
795821
/// Codegen an `Rvalue::RawPtr` or `Rvalue::Ref`
796822
fn codegen_place_to_pointer(
797823
&mut self,
@@ -1063,6 +1089,7 @@ impl<'a, 'tcx, Bx: BuilderMethods<'a, 'tcx>> FunctionCx<'a, 'tcx, Bx> {
10631089
mir::Rvalue::Ref(..) |
10641090
mir::Rvalue::CopyForDeref(..) |
10651091
mir::Rvalue::RawPtr(..) |
1092+
mir::Rvalue::Len(..) |
10661093
mir::Rvalue::Cast(..) | // (*)
10671094
mir::Rvalue::ShallowInitBox(..) | // (*)
10681095
mir::Rvalue::BinaryOp(..) |

‎compiler/rustc_const_eval/src/check_consts/check.rs

Lines changed: 7 additions & 21 deletions
Original file line numberDiff line numberDiff line change
@@ -488,7 +488,8 @@ impl<'tcx> Visitor<'tcx> for Checker<'_, 'tcx> {
488488
Rvalue::Use(_)
489489
| Rvalue::CopyForDeref(..)
490490
| Rvalue::Repeat(..)
491-
| Rvalue::Discriminant(..) => {}
491+
| Rvalue::Discriminant(..)
492+
| Rvalue::Len(_) => {}
492493

493494
Rvalue::Aggregate(kind, ..) => {
494495
if let AggregateKind::Coroutine(def_id, ..) = kind.as_ref()
@@ -572,27 +573,12 @@ impl<'tcx> Visitor<'tcx> for Checker<'_, 'tcx> {
572573
) => {}
573574
Rvalue::ShallowInitBox(_, _) => {}
574575

575-
Rvalue::UnaryOp(op, operand) => {
576+
Rvalue::UnaryOp(_, operand) => {
576577
let ty = operand.ty(self.body, self.tcx);
577-
match op {
578-
UnOp::Not | UnOp::Neg => {
579-
if is_int_bool_float_or_char(ty) {
580-
// Int, bool, float, and char operations are fine.
581-
} else {
582-
span_bug!(
583-
self.span,
584-
"non-primitive type in `Rvalue::UnaryOp{op:?}`: {ty:?}",
585-
);
586-
}
587-
}
588-
UnOp::PtrMetadata => {
589-
if !ty.is_ref() && !ty.is_unsafe_ptr() {
590-
span_bug!(
591-
self.span,
592-
"non-pointer type in `Rvalue::UnaryOp({op:?})`: {ty:?}",
593-
);
594-
}
595-
}
578+
if is_int_bool_float_or_char(ty) {
579+
// Int, bool, float, and char operations are fine.
580+
} else {
581+
span_bug!(self.span, "non-primitive type in `Rvalue::UnaryOp`: {:?}", ty);
596582
}
597583
}
598584

‎compiler/rustc_const_eval/src/check_consts/qualifs.rs

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -230,7 +230,9 @@ where
230230
Q::in_any_value_of_ty(cx, rvalue.ty(cx.body, cx.tcx))
231231
}
232232

233-
Rvalue::Discriminant(place) => in_place::<Q, _>(cx, in_local, place.as_ref()),
233+
Rvalue::Discriminant(place) | Rvalue::Len(place) => {
234+
in_place::<Q, _>(cx, in_local, place.as_ref())
235+
}
234236

235237
Rvalue::CopyForDeref(place) => in_place::<Q, _>(cx, in_local, place.as_ref()),
236238

‎compiler/rustc_const_eval/src/check_consts/resolver.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -197,6 +197,7 @@ where
197197
| mir::Rvalue::CopyForDeref(..)
198198
| mir::Rvalue::ThreadLocalRef(..)
199199
| mir::Rvalue::Repeat(..)
200+
| mir::Rvalue::Len(..)
200201
| mir::Rvalue::BinaryOp(..)
201202
| mir::Rvalue::NullaryOp(..)
202203
| mir::Rvalue::UnaryOp(..)

‎compiler/rustc_const_eval/src/interpret/step.rs

Lines changed: 9 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -9,13 +9,12 @@ use rustc_middle::ty::layout::FnAbiOf;
99
use rustc_middle::ty::{self, Instance, Ty};
1010
use rustc_middle::{bug, mir, span_bug};
1111
use rustc_span::source_map::Spanned;
12-
use rustc_span::{DesugaringKind, Span};
1312
use rustc_target::callconv::FnAbi;
1413
use tracing::{info, instrument, trace};
1514

1615
use super::{
1716
FnArg, FnVal, ImmTy, Immediate, InterpCx, InterpResult, Machine, MemPlaceMeta, PlaceTy,
18-
Projectable, interp_ok, throw_ub,
17+
Projectable, Scalar, interp_ok, throw_ub,
1918
};
2019
use crate::util;
2120

@@ -81,9 +80,7 @@ impl<'tcx, M: Machine<'tcx>> InterpCx<'tcx, M> {
8180
use rustc_middle::mir::StatementKind::*;
8281

8382
match &stmt.kind {
84-
Assign(box (place, rvalue)) => {
85-
self.eval_rvalue_into_place(rvalue, *place, stmt.source_info.span)?
86-
}
83+
Assign(box (place, rvalue)) => self.eval_rvalue_into_place(rvalue, *place)?,
8784

8885
SetDiscriminant { place, variant_index } => {
8986
let dest = self.eval_place(**place)?;
@@ -162,7 +159,6 @@ impl<'tcx, M: Machine<'tcx>> InterpCx<'tcx, M> {
162159
&mut self,
163160
rvalue: &mir::Rvalue<'tcx>,
164161
place: mir::Place<'tcx>,
165-
span: Span,
166162
) -> InterpResult<'tcx> {
167163
let dest = self.eval_place(place)?;
168164
// FIXME: ensure some kind of non-aliasing between LHS and RHS?
@@ -218,6 +214,12 @@ impl<'tcx, M: Machine<'tcx>> InterpCx<'tcx, M> {
218214
self.write_repeat(operand, &dest)?;
219215
}
220216

217+
Len(place) => {
218+
let src = self.eval_place(place)?;
219+
let len = src.len(self)?;
220+
self.write_scalar(Scalar::from_target_usize(len, self), &dest)?;
221+
}
222+
221223
Ref(_, borrow_kind, place) => {
222224
let src = self.eval_place(place)?;
223225
let place = self.force_allocation(&src)?;
@@ -248,13 +250,8 @@ impl<'tcx, M: Machine<'tcx>> InterpCx<'tcx, M> {
248250
let src = self.eval_place(place)?;
249251
let place = self.force_allocation(&src)?;
250252
let mut val = ImmTy::from_immediate(place.to_ref(self), dest.layout);
251-
if !place_base_raw
252-
&& span.desugaring_kind() != Some(DesugaringKind::IndexBoundsCheckReborrow)
253-
{
253+
if !place_base_raw {
254254
// If this was not already raw, it needs retagging.
255-
// As a special hack, we exclude the desugared `PtrMetadata(&raw const *_n)`
256-
// from indexing. (Really we should not do any retag on `&raw` but that does not
257-
// currently work with Stacked Borrows.)
258255
val = M::retag_ptr_value(self, mir::RetagKind::Raw, &val)?;
259256
}
260257
self.write_immediate(*val, &dest)?;

‎compiler/rustc_middle/src/mir/consts.rs

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -467,9 +467,6 @@ impl<'tcx> Const<'tcx> {
467467
let const_val = tcx.valtree_to_const_val((ty, valtree));
468468
Self::Val(const_val, ty)
469469
}
470-
ty::ConstKind::Unevaluated(ty::UnevaluatedConst { def, args }) => {
471-
Self::Unevaluated(UnevaluatedConst { def, args, promoted: None }, ty)
472-
}
473470
_ => Self::Ty(ty, c),
474471
}
475472
}

‎compiler/rustc_middle/src/mir/pretty.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1068,6 +1068,7 @@ impl<'tcx> Debug for Rvalue<'tcx> {
10681068
pretty_print_const(b, fmt, false)?;
10691069
write!(fmt, "]")
10701070
}
1071+
Len(ref a) => write!(fmt, "Len({a:?})"),
10711072
Cast(ref kind, ref place, ref ty) => {
10721073
with_no_trimmed_paths!(write!(fmt, "{place:?} as {ty} ({kind:?})"))
10731074
}

‎compiler/rustc_middle/src/mir/statement.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -424,6 +424,7 @@ impl<'tcx> Rvalue<'tcx> {
424424
| Rvalue::Ref(_, _, _)
425425
| Rvalue::ThreadLocalRef(_)
426426
| Rvalue::RawPtr(_, _)
427+
| Rvalue::Len(_)
427428
| Rvalue::Cast(
428429
CastKind::IntToInt
429430
| CastKind::FloatToInt

‎compiler/rustc_middle/src/mir/syntax.rs

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1351,6 +1351,16 @@ pub enum Rvalue<'tcx> {
13511351
/// model.
13521352
RawPtr(Mutability, Place<'tcx>),
13531353

1354+
/// Yields the length of the place, as a `usize`.
1355+
///
1356+
/// If the type of the place is an array, this is the array length. For slices (`[T]`, not
1357+
/// `&[T]`) this accesses the place's metadata to determine the length. This rvalue is
1358+
/// ill-formed for places of other types.
1359+
///
1360+
/// This cannot be a `UnOp(PtrMetadata, _)` because that expects a value, and we only
1361+
/// have a place, and `UnOp(PtrMetadata, RawPtr(place))` is not a thing.
1362+
Len(Place<'tcx>),
1363+
13541364
/// Performs essentially all of the casts that can be performed via `as`.
13551365
///
13561366
/// This allows for casts from/to a variety of types.

‎compiler/rustc_middle/src/mir/tcx.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -210,6 +210,7 @@ impl<'tcx> Rvalue<'tcx> {
210210
let place_ty = place.ty(local_decls, tcx).ty;
211211
Ty::new_ptr(tcx, place_ty, mutability)
212212
}
213+
Rvalue::Len(..) => tcx.types.usize,
213214
Rvalue::Cast(.., ty) => ty,
214215
Rvalue::BinaryOp(op, box (ref lhs, ref rhs)) => {
215216
let lhs_ty = lhs.ty(local_decls, tcx);

‎compiler/rustc_middle/src/mir/visit.rs

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -695,6 +695,14 @@ macro_rules! make_mir_visitor {
695695
self.visit_place(path, ctx, location);
696696
}
697697

698+
Rvalue::Len(path) => {
699+
self.visit_place(
700+
path,
701+
PlaceContext::NonMutatingUse(NonMutatingUseContext::Inspect),
702+
location
703+
);
704+
}
705+
698706
Rvalue::Cast(_cast_kind, operand, ty) => {
699707
self.visit_operand(operand, location);
700708
self.visit_ty($(& $mutability)? *ty, TyContext::Location(location));

‎compiler/rustc_mir_build/src/builder/custom/parse/instruction.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -246,6 +246,7 @@ impl<'a, 'tcx> ParseCtxt<'a, 'tcx> {
246246
let offset = self.parse_operand(args[1])?;
247247
Ok(Rvalue::BinaryOp(BinOp::Offset, Box::new((ptr, offset))))
248248
},
249+
@call(mir_len, args) => Ok(Rvalue::Len(self.parse_place(args[0])?)),
249250
@call(mir_ptr_metadata, args) => Ok(Rvalue::UnaryOp(UnOp::PtrMetadata, self.parse_operand(args[0])?)),
250251
@call(mir_copy_for_deref, args) => Ok(Rvalue::CopyForDeref(self.parse_place(args[0])?)),
251252
ExprKind::Borrow { borrow_kind, arg } => Ok(

0 commit comments

Comments
 (0)