Skip to content

Commit c4dea49

Browse files
committed
Auto merge of #3985 - rust-lang:rustup-2024-10-22, r=RalfJung
Automatic Rustup
2 parents 9a228e5 + b0972c2 commit c4dea49

39 files changed

+8
-47
lines changed

rust-version

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
54791efd8235805dcfbdad3b8788e08f2142c50b
1+
814df6e50eaf89b90793e7d9618bb60f1f18377a

src/intrinsics/simd.rs

Lines changed: 3 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
use either::Either;
22
use rustc_apfloat::{Float, Round};
33
use rustc_middle::ty::FloatTy;
4-
use rustc_middle::ty::layout::{HasParamEnv, LayoutOf};
4+
use rustc_middle::ty::layout::LayoutOf;
55
use rustc_middle::{mir, ty};
66
use rustc_span::{Symbol, sym};
77
use rustc_target::abi::{Endian, HasDataLayout};
@@ -631,12 +631,8 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
631631
let (right, right_len) = this.project_to_simd(right)?;
632632
let (dest, dest_len) = this.project_to_simd(dest)?;
633633

634-
let index = generic_args[2]
635-
.expect_const()
636-
.eval(*this.tcx, this.param_env(), this.tcx.span)
637-
.unwrap()
638-
.1
639-
.unwrap_branch();
634+
let index =
635+
generic_args[2].expect_const().try_to_valtree().unwrap().0.unwrap_branch();
640636
let index_len = index.len();
641637

642638
assert_eq!(left_len, right_len);

src/lib.rs

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -11,8 +11,6 @@
1111
#![feature(let_chains)]
1212
#![feature(trait_upcasting)]
1313
#![feature(strict_overflow_ops)]
14-
#![feature(strict_provenance)]
15-
#![feature(exposed_provenance)]
1614
#![feature(pointer_is_aligned_to)]
1715
#![feature(unqualified_local_imports)]
1816
// Configure clippy and other lints

tests/fail/dangling_pointers/dangling_pointer_to_raw_pointer.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
#![feature(strict_provenance)]
21
use std::ptr;
32

43
fn direct_raw(x: *const (i32, i32)) -> *const i32 {

tests/fail/dangling_pointers/deref_dangling_box.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,5 @@
11
// Should be caught even without retagging
22
//@compile-flags: -Zmiri-disable-stacked-borrows
3-
#![feature(strict_provenance)]
43
use std::ptr::{self, addr_of_mut};
54

65
// Deref'ing a dangling raw pointer is fine, but for a dangling box it is not.

tests/fail/dangling_pointers/deref_dangling_ref.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,5 @@
11
// Should be caught even without retagging
22
//@compile-flags: -Zmiri-disable-stacked-borrows
3-
#![feature(strict_provenance)]
43
use std::ptr::{self, addr_of_mut};
54

65
// Deref'ing a dangling raw pointer is fine, but for a dangling reference it is not.

tests/fail/intrinsics/ptr_offset_from_different_ints.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
#![feature(strict_provenance)]
21
use core::ptr;
32

43
fn main() {

tests/fail/provenance/int_copy_looses_provenance3.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
#![feature(strict_provenance)]
21
use std::mem;
32

43
#[repr(C, usize)]

tests/fail/provenance/provenance_transmute.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
11
//@compile-flags: -Zmiri-permissive-provenance
2-
#![feature(strict_provenance)]
32

43
use std::mem;
54

tests/fail/provenance/ptr_int_unexposed.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
11
//@compile-flags: -Zmiri-permissive-provenance
2-
#![feature(strict_provenance, exposed_provenance)]
32

43
fn main() {
54
let x: i32 = 3;

0 commit comments

Comments
 (0)