Skip to content

Commit 8233cf9

Browse files
mammothbanemammothbane
committed
fix tests again
1 parent 9ac23f5 commit 8233cf9

3 files changed

+63
-95
lines changed

Diff for: ‎tests/mir-opt/pre-codegen/vec_deref.vec_deref_to_slice.PreCodegen.after.panic-abort.mir

+31-47
Original file line numberDiff line numberDiff line change
@@ -5,66 +5,48 @@ fn vec_deref_to_slice(_1: &Vec<u8>) -> &[u8] {
55
let mut _0: &[u8];
66
scope 1 (inlined <Vec<u8> as Deref>::deref) {
77
debug self => _1;
8-
let mut _6: usize;
9-
scope 2 (inlined Vec::<u8>::as_ptr) {
8+
scope 2 (inlined Vec::<u8>::as_slice) {
109
debug self => _1;
11-
let mut _2: &alloc::raw_vec::RawVec<u8>;
12-
scope 3 (inlined alloc::raw_vec::RawVec::<u8>::ptr) {
13-
debug self => _2;
14-
let mut _3: &alloc::raw_vec::RawVecInner;
15-
scope 4 (inlined alloc::raw_vec::RawVecInner::ptr::<u8>) {
16-
debug self => _3;
17-
scope 5 (inlined alloc::raw_vec::RawVecInner::non_null::<u8>) {
10+
let mut _6: usize;
11+
scope 3 (inlined Vec::<u8>::as_ptr) {
12+
debug self => _1;
13+
let mut _2: &alloc::raw_vec::RawVec<u8>;
14+
scope 4 (inlined alloc::raw_vec::RawVec::<u8>::ptr) {
15+
debug self => _2;
16+
let mut _3: &alloc::raw_vec::RawVecInner;
17+
scope 5 (inlined alloc::raw_vec::RawVecInner::ptr::<u8>) {
1818
debug self => _3;
1919
let mut _4: std::ptr::NonNull<u8>;
20-
scope 6 (inlined Unique::<u8>::cast::<u8>) {
20+
scope 6 (inlined Unique::<u8>::as_ptr) {
2121
debug ((self: Unique<u8>).0: std::ptr::NonNull<u8>) => _4;
2222
debug ((self: Unique<u8>).1: std::marker::PhantomData<u8>) => const PhantomData::<u8>;
23-
scope 7 (inlined NonNull::<u8>::cast::<u8>) {
23+
scope 7 (inlined NonNull::<u8>::as_ptr) {
2424
debug self => _4;
25-
scope 8 (inlined NonNull::<u8>::as_ptr) {
26-
debug self => _4;
27-
let mut _5: *const u8;
28-
}
29-
}
30-
}
31-
scope 9 (inlined #[track_caller] <Unique<u8> as Into<NonNull<u8>>>::into) {
32-
debug ((self: Unique<u8>).0: std::ptr::NonNull<u8>) => _4;
33-
debug ((self: Unique<u8>).1: std::marker::PhantomData<u8>) => const PhantomData::<u8>;
34-
scope 10 (inlined <NonNull<u8> as From<Unique<u8>>>::from) {
35-
debug ((unique: Unique<u8>).0: std::ptr::NonNull<u8>) => _4;
36-
debug ((unique: Unique<u8>).1: std::marker::PhantomData<u8>) => const PhantomData::<u8>;
37-
scope 11 (inlined Unique::<u8>::as_non_null_ptr) {
38-
debug ((self: Unique<u8>).0: std::ptr::NonNull<u8>) => _4;
39-
debug ((self: Unique<u8>).1: std::marker::PhantomData<u8>) => const PhantomData::<u8>;
40-
}
25+
let mut _5: *const u8;
4126
}
4227
}
4328
}
44-
scope 12 (inlined NonNull::<u8>::as_ptr) {
45-
debug self => _4;
46-
}
47-
}
48-
}
49-
}
50-
scope 13 (inlined std::slice::from_raw_parts::<'_, u8>) {
51-
debug data => _5;
52-
debug len => _6;
53-
let _7: *const [u8];
54-
scope 14 (inlined core::ub_checks::check_language_ub) {
55-
scope 15 (inlined core::ub_checks::check_language_ub::runtime) {
5629
}
5730
}
58-
scope 16 (inlined std::mem::size_of::<u8>) {
59-
}
60-
scope 17 (inlined align_of::<u8>) {
61-
}
62-
scope 18 (inlined slice_from_raw_parts::<u8>) {
31+
scope 8 (inlined std::slice::from_raw_parts::<'_, u8>) {
6332
debug data => _5;
6433
debug len => _6;
65-
scope 19 (inlined std::ptr::from_raw_parts::<[u8], u8>) {
66-
debug data_pointer => _5;
67-
debug metadata => _6;
34+
let _7: *const [u8];
35+
scope 9 (inlined core::ub_checks::check_language_ub) {
36+
scope 10 (inlined core::ub_checks::check_language_ub::runtime) {
37+
}
38+
}
39+
scope 11 (inlined std::mem::size_of::<u8>) {
40+
}
41+
scope 12 (inlined align_of::<u8>) {
42+
}
43+
scope 13 (inlined slice_from_raw_parts::<u8>) {
44+
debug data => _5;
45+
debug len => _6;
46+
scope 14 (inlined std::ptr::from_raw_parts::<[u8], u8>) {
47+
debug data_pointer => _5;
48+
debug metadata => _6;
49+
}
6850
}
6951
}
7052
}
@@ -75,8 +57,10 @@ fn vec_deref_to_slice(_1: &Vec<u8>) -> &[u8] {
7557
_2 = &((*_1).0: alloc::raw_vec::RawVec<u8>);
7658
StorageLive(_3);
7759
_3 = &(((*_1).0: alloc::raw_vec::RawVec<u8>).0: alloc::raw_vec::RawVecInner);
60+
StorageLive(_4);
7861
_4 = copy (((((*_1).0: alloc::raw_vec::RawVec<u8>).0: alloc::raw_vec::RawVecInner).0: std::ptr::Unique<u8>).0: std::ptr::NonNull<u8>);
7962
_5 = copy (_4.0: *const u8);
63+
StorageDead(_4);
8064
StorageDead(_3);
8165
StorageDead(_2);
8266
StorageLive(_6);

Diff for: ‎tests/mir-opt/pre-codegen/vec_deref.vec_deref_to_slice.PreCodegen.after.panic-unwind.mir

+31-47
Original file line numberDiff line numberDiff line change
@@ -5,66 +5,48 @@ fn vec_deref_to_slice(_1: &Vec<u8>) -> &[u8] {
55
let mut _0: &[u8];
66
scope 1 (inlined <Vec<u8> as Deref>::deref) {
77
debug self => _1;
8-
let mut _6: usize;
9-
scope 2 (inlined Vec::<u8>::as_ptr) {
8+
scope 2 (inlined Vec::<u8>::as_slice) {
109
debug self => _1;
11-
let mut _2: &alloc::raw_vec::RawVec<u8>;
12-
scope 3 (inlined alloc::raw_vec::RawVec::<u8>::ptr) {
13-
debug self => _2;
14-
let mut _3: &alloc::raw_vec::RawVecInner;
15-
scope 4 (inlined alloc::raw_vec::RawVecInner::ptr::<u8>) {
16-
debug self => _3;
17-
scope 5 (inlined alloc::raw_vec::RawVecInner::non_null::<u8>) {
10+
let mut _6: usize;
11+
scope 3 (inlined Vec::<u8>::as_ptr) {
12+
debug self => _1;
13+
let mut _2: &alloc::raw_vec::RawVec<u8>;
14+
scope 4 (inlined alloc::raw_vec::RawVec::<u8>::ptr) {
15+
debug self => _2;
16+
let mut _3: &alloc::raw_vec::RawVecInner;
17+
scope 5 (inlined alloc::raw_vec::RawVecInner::ptr::<u8>) {
1818
debug self => _3;
1919
let mut _4: std::ptr::NonNull<u8>;
20-
scope 6 (inlined Unique::<u8>::cast::<u8>) {
20+
scope 6 (inlined Unique::<u8>::as_ptr) {
2121
debug ((self: Unique<u8>).0: std::ptr::NonNull<u8>) => _4;
2222
debug ((self: Unique<u8>).1: std::marker::PhantomData<u8>) => const PhantomData::<u8>;
23-
scope 7 (inlined NonNull::<u8>::cast::<u8>) {
23+
scope 7 (inlined NonNull::<u8>::as_ptr) {
2424
debug self => _4;
25-
scope 8 (inlined NonNull::<u8>::as_ptr) {
26-
debug self => _4;
27-
let mut _5: *const u8;
28-
}
29-
}
30-
}
31-
scope 9 (inlined #[track_caller] <Unique<u8> as Into<NonNull<u8>>>::into) {
32-
debug ((self: Unique<u8>).0: std::ptr::NonNull<u8>) => _4;
33-
debug ((self: Unique<u8>).1: std::marker::PhantomData<u8>) => const PhantomData::<u8>;
34-
scope 10 (inlined <NonNull<u8> as From<Unique<u8>>>::from) {
35-
debug ((unique: Unique<u8>).0: std::ptr::NonNull<u8>) => _4;
36-
debug ((unique: Unique<u8>).1: std::marker::PhantomData<u8>) => const PhantomData::<u8>;
37-
scope 11 (inlined Unique::<u8>::as_non_null_ptr) {
38-
debug ((self: Unique<u8>).0: std::ptr::NonNull<u8>) => _4;
39-
debug ((self: Unique<u8>).1: std::marker::PhantomData<u8>) => const PhantomData::<u8>;
40-
}
25+
let mut _5: *const u8;
4126
}
4227
}
4328
}
44-
scope 12 (inlined NonNull::<u8>::as_ptr) {
45-
debug self => _4;
46-
}
47-
}
48-
}
49-
}
50-
scope 13 (inlined std::slice::from_raw_parts::<'_, u8>) {
51-
debug data => _5;
52-
debug len => _6;
53-
let _7: *const [u8];
54-
scope 14 (inlined core::ub_checks::check_language_ub) {
55-
scope 15 (inlined core::ub_checks::check_language_ub::runtime) {
5629
}
5730
}
58-
scope 16 (inlined std::mem::size_of::<u8>) {
59-
}
60-
scope 17 (inlined align_of::<u8>) {
61-
}
62-
scope 18 (inlined slice_from_raw_parts::<u8>) {
31+
scope 8 (inlined std::slice::from_raw_parts::<'_, u8>) {
6332
debug data => _5;
6433
debug len => _6;
65-
scope 19 (inlined std::ptr::from_raw_parts::<[u8], u8>) {
66-
debug data_pointer => _5;
67-
debug metadata => _6;
34+
let _7: *const [u8];
35+
scope 9 (inlined core::ub_checks::check_language_ub) {
36+
scope 10 (inlined core::ub_checks::check_language_ub::runtime) {
37+
}
38+
}
39+
scope 11 (inlined std::mem::size_of::<u8>) {
40+
}
41+
scope 12 (inlined align_of::<u8>) {
42+
}
43+
scope 13 (inlined slice_from_raw_parts::<u8>) {
44+
debug data => _5;
45+
debug len => _6;
46+
scope 14 (inlined std::ptr::from_raw_parts::<[u8], u8>) {
47+
debug data_pointer => _5;
48+
debug metadata => _6;
49+
}
6850
}
6951
}
7052
}
@@ -75,8 +57,10 @@ fn vec_deref_to_slice(_1: &Vec<u8>) -> &[u8] {
7557
_2 = &((*_1).0: alloc::raw_vec::RawVec<u8>);
7658
StorageLive(_3);
7759
_3 = &(((*_1).0: alloc::raw_vec::RawVec<u8>).0: alloc::raw_vec::RawVecInner);
60+
StorageLive(_4);
7861
_4 = copy (((((*_1).0: alloc::raw_vec::RawVec<u8>).0: alloc::raw_vec::RawVecInner).0: std::ptr::Unique<u8>).0: std::ptr::NonNull<u8>);
7962
_5 = copy (_4.0: *const u8);
63+
StorageDead(_4);
8064
StorageDead(_3);
8165
StorageDead(_2);
8266
StorageLive(_6);

Diff for: ‎tests/ui/consts/issue-94675.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
//@ known-bug: #103507
22

3-
#![feature(const_trait_impl)]
3+
#![feature(const_trait_impl, const_vec_string_slice)]
44

55
struct Foo<'a> {
66
bar: &'a mut Vec<usize>,

0 commit comments

Comments
 (0)