rust
rust copied to clipboard
rust-lang
Add `MaybeDangling`
The job tidy failed! Check out the build log: (web) (plain enhanced) (plain)
Click to see the possible cause of the failure (guessed by this bot)
fmt: checked 6588 files
tidy check
tidy [rustdoc_json (src)]: `rustdoc-json-types` modified, checking format version
tidy: Skipping binary file check, read-only filesystem
tidy [style (library)]: /checkout/library/core/src/mem/maybe_dangling.rs:97: undocumented unsafe
tidy [style (library)]: FAIL
tidy [alphabetical (compiler)]: /checkout/compiler/rustc_span/src/symbol.rs:1403: line not in alphabetical order
tidy [alphabetical (compiler)]: FAIL
removing old virtual environment
creating virtual environment at '/checkout/obj/build/venv' using 'python3.10' and 'venv'
creating virtual environment at '/checkout/obj/build/venv' using 'python3.10' and 'virtualenv'
Requirement already satisfied: pip in ./build/venv/lib/python3.10/site-packages (25.3)
linting python files
All checks passed!
checking python file formatting
28 files already formatted
checking C++ file formatting
spellchecking files
building external tool typos from package [email protected]
finished building tool typos
error: `includding` should be `including`
╭▸ library/core/src/mem/maybe_dangling.rs:7:73
│
7 │ /// That is, if a reference (or a `Box`) is wrapped in `MaybeDangling` (includding when in a
╰╴ ━━━━━━━━━━
error: `concurent` should be `concurrent`
╭▸ library/core/src/mem/maybe_dangling.rs:12:32
│
12 │ /// executing (particularly in concurent code). As a somewhat absurd example, consider this code:
╰╴ ━━━━━━━━━
rerun tidy with `--extra-checks=spellcheck --bless` to fix typos
tidy [extra_checks]: checks with external tool 'typos' failed
tidy [extra_checks]: FAIL
tidy: The following checks failed: alphabetical (compiler), extra_checks, style (library)
Command `/checkout/obj/build/x86_64-unknown-linux-gnu/stage1-tools-bin/rust-tidy /checkout /checkout/obj/build/x86_64-unknown-linux-gnu/stage0/bin/cargo /checkout/obj/build 4 /node/bin/yarn --extra-checks=py,cpp,js,spellcheck` failed with exit code 1
Created at: src/bootstrap/src/core/build_steps/tool.rs:1612:23
Executed at: src/bootstrap/src/core/build_steps/test.rs:1317:29
Command has failed. Rerun with -v to see more details.
Bootstrap failed while executing `test src/tools/tidy tidyselftest --extra-checks=py,cpp,js,spellcheck`
Build completed unsuccessfully in 0:02:34
local time: Wed Dec 3 20:10:16 UTC 2025
network time: Wed, 03 Dec 2025 20:10:16 GMT
##[error]Process completed with exit code 1.
The job x86_64-gnu-gcc failed! Check out the build log: (web) (plain enhanced) (plain)
Click to see the possible cause of the failure (guessed by this bot)
test [mir-opt] tests/mir-opt/unusual_item_types.rs ... ok
failures:
---- [mir-opt] tests/mir-opt/pre-codegen/loops.rs stdout ----
3 fn vec_move(_1: Vec<impl Sized>) -> () {
4 debug v => _1;
5 let mut _0: ();
- let mut _21: std::vec::IntoIter<impl Sized>;
7 let mut _22: std::vec::IntoIter<impl Sized>;
- let mut _23: &mut std::vec::IntoIter<impl Sized>;
- let mut _24: std::option::Option<impl Sized>;
- let mut _25: isize;
- let _27: ();
+ let mut _23: std::vec::IntoIter<impl Sized>;
+ let mut _24: &mut std::vec::IntoIter<impl Sized>;
+ let mut _25: std::option::Option<impl Sized>;
+ let mut _26: isize;
+ let _28: ();
12 scope 1 {
- debug iter => _22;
- let _26: impl Sized;
+ debug iter => _23;
+ let _27: impl Sized;
15 scope 2 {
- debug x => _26;
+ debug x => _27;
17 }
18 }
19 scope 3 (inlined <Vec<impl Sized> as IntoIterator>::into_iter) {
20 debug self => _1;
- let _2: std::mem::ManuallyDrop<std::vec::Vec<impl Sized>>;
- let mut _3: *const std::alloc::Global;
- let mut _8: usize;
- let mut _10: *mut impl Sized;
- let mut _11: *const impl Sized;
- let mut _12: usize;
- let _28: &std::vec::Vec<impl Sized>;
- let mut _29: &std::mem::ManuallyDrop<std::vec::Vec<impl Sized>>;
- let mut _30: &alloc::raw_vec::RawVec<impl Sized>;
- let mut _31: &std::mem::ManuallyDrop<std::vec::Vec<impl Sized>>;
- let _32: &std::vec::Vec<impl Sized>;
- let mut _33: &std::mem::ManuallyDrop<std::vec::Vec<impl Sized>>;
- let _34: &std::vec::Vec<impl Sized>;
- let mut _35: &std::mem::ManuallyDrop<std::vec::Vec<impl Sized>>;
- let mut _36: &alloc::raw_vec::RawVec<impl Sized>;
- let mut _37: &std::mem::ManuallyDrop<std::vec::Vec<impl Sized>>;
+ let _3: std::mem::ManuallyDrop<std::vec::Vec<impl Sized>>;
+ let mut _4: *const std::alloc::Global;
+ let mut _9: usize;
+ let mut _11: *mut impl Sized;
+ let mut _12: *const impl Sized;
+ let mut _13: usize;
+ let _29: &std::vec::Vec<impl Sized>;
+ let mut _30: &std::mem::ManuallyDrop<std::vec::Vec<impl Sized>>;
+ let mut _31: &alloc::raw_vec::RawVec<impl Sized>;
+ let mut _32: &std::mem::ManuallyDrop<std::vec::Vec<impl Sized>>;
+ let _33: &std::vec::Vec<impl Sized>;
+ let mut _34: &std::mem::ManuallyDrop<std::vec::Vec<impl Sized>>;
+ let _35: &std::vec::Vec<impl Sized>;
+ let mut _36: &std::mem::ManuallyDrop<std::vec::Vec<impl Sized>>;
+ let mut _37: &alloc::raw_vec::RawVec<impl Sized>;
+ let mut _38: &std::mem::ManuallyDrop<std::vec::Vec<impl Sized>>;
37 scope 4 {
- debug me => _2;
+ debug me => _3;
39 scope 5 {
- debug alloc => const ManuallyDrop::<std::alloc::Global> {{ value: std::alloc::Global }};
- let _6: std::ptr::NonNull<impl Sized>;
+ debug alloc => const ManuallyDrop::<std::alloc::Global> {{ value: MaybeDangling::<std::alloc::Global>(std::alloc::Global) }};
+ let _7: std::ptr::NonNull<impl Sized>;
42 scope 6 {
- debug buf => _6;
- let _7: *mut impl Sized;
+ debug buf => _7;
+ let _8: *mut impl Sized;
45 scope 7 {
- debug begin => _7;
+ debug begin => _8;
47 scope 8 {
- debug end => _11;
- let _19: usize;
+ debug end => _12;
+ let _20: usize;
50 scope 9 {
- debug cap => _19;
+ debug cap => _20;
52 }
- scope 39 (inlined <ManuallyDrop<Vec<impl Sized>> as Deref>::deref) {
- debug self => _37;
+ scope 45 (inlined <ManuallyDrop<Vec<impl Sized>> as Deref>::deref) {
+ debug self => _38;
+ scope 46 (inlined MaybeDangling::<Vec<impl Sized>>::as_ref) {
+ }
55 }
- scope 40 (inlined alloc::raw_vec::RawVec::<impl Sized>::capacity) {
- debug self => _36;
- let mut _38: &alloc::raw_vec::RawVecInner;
- scope 41 (inlined std::mem::size_of::<impl Sized>) {
+ scope 47 (inlined alloc::raw_vec::RawVec::<impl Sized>::capacity) {
+ debug self => _37;
+ let mut _39: &alloc::raw_vec::RawVecInner;
+ scope 48 (inlined std::mem::size_of::<impl Sized>) {
60 }
- scope 42 (inlined alloc::raw_vec::RawVecInner::capacity) {
- debug self => _38;
+ scope 49 (inlined alloc::raw_vec::RawVecInner::capacity) {
+ debug self => _39;
63 debug elem_size => const <impl Sized as std::mem::SizedTypeProperties>::SIZE;
- let mut _20: core::num::niche_types::UsizeNoHighBit;
- scope 43 (inlined core::num::niche_types::UsizeNoHighBit::as_inner) {
- debug self => _20;
+ let mut _21: core::num::niche_types::UsizeNoHighBit;
+ scope 50 (inlined core::num::niche_types::UsizeNoHighBit::as_inner) {
+ debug self => _21;
67 }
68 }
69 }
70 }
- scope 25 (inlined <ManuallyDrop<Vec<impl Sized>> as Deref>::deref) {
- debug self => _33;
+ scope 29 (inlined <ManuallyDrop<Vec<impl Sized>> as Deref>::deref) {
+ debug self => _34;
+ scope 30 (inlined MaybeDangling::<Vec<impl Sized>>::as_ref) {
+ }
73 }
- scope 26 (inlined Vec::<impl Sized>::len) {
- debug self => _32;
- let mut _13: bool;
- scope 27 {
+ scope 31 (inlined Vec::<impl Sized>::len) {
+ debug self => _33;
+ let mut _14: bool;
+ scope 32 {
78 }
79 }
- scope 28 (inlined std::ptr::mut_ptr::<impl *mut impl Sized>::wrapping_byte_add) {
- debug self => _7;
- debug count => _12;
- let mut _14: *mut u8;
- let mut _18: *mut u8;
- scope 29 (inlined std::ptr::mut_ptr::<impl *mut impl Sized>::cast::<u8>) {
- debug self => _7;
+ scope 33 (inlined std::ptr::mut_ptr::<impl *mut impl Sized>::wrapping_byte_add) {
+ debug self => _8;
+ debug count => _13;
+ let mut _15: *mut u8;
+ let mut _19: *mut u8;
+ scope 34 (inlined std::ptr::mut_ptr::<impl *mut impl Sized>::cast::<u8>) {
+ debug self => _8;
87 }
- scope 30 (inlined std::ptr::mut_ptr::<impl *mut u8>::wrapping_add) {
- debug self => _14;
- debug count => _12;
- let mut _15: isize;
---
96 let mut _17: *const u8;
+ let mut _18: *const u8;
97 }
98 }
- scope 32 (inlined std::ptr::mut_ptr::<impl *mut u8>::with_metadata_of::<impl Sized>) {
- debug self => _18;
- debug meta => _5;
- scope 33 (inlined std::ptr::metadata::<impl Sized>) {
- debug ptr => _5;
+ scope 37 (inlined std::ptr::mut_ptr::<impl *mut u8>::with_metadata_of::<impl Sized>) {
+ debug self => _19;
+ debug meta => _6;
+ scope 38 (inlined std::ptr::metadata::<impl Sized>) {
+ debug ptr => _6;
104 }
- scope 34 (inlined std::ptr::from_raw_parts_mut::<impl Sized, ()>) {
+ scope 39 (inlined std::ptr::from_raw_parts_mut::<impl Sized, ()>) {
106 }
107 }
108 }
- scope 35 (inlined <ManuallyDrop<Vec<impl Sized>> as Deref>::deref) {
- debug self => _35;
+ scope 40 (inlined <ManuallyDrop<Vec<impl Sized>> as Deref>::deref) {
+ debug self => _36;
+ scope 41 (inlined MaybeDangling::<Vec<impl Sized>>::as_ref) {
+ }
111 }
- scope 36 (inlined Vec::<impl Sized>::len) {
- debug self => _34;
- let mut _9: bool;
- scope 37 {
+ scope 42 (inlined Vec::<impl Sized>::len) {
+ debug self => _35;
+ let mut _10: bool;
+ scope 43 {
116 }
117 }
- scope 38 (inlined #[track_caller] std::ptr::mut_ptr::<impl *mut impl Sized>::add) {
- debug self => _7;
- debug count => _8;
+ scope 44 (inlined #[track_caller] std::ptr::mut_ptr::<impl *mut impl Sized>::add) {
+ debug self => _8;
+ debug count => _9;
121 }
122 }
- scope 24 (inlined NonNull::<impl Sized>::as_ptr) {
- debug self => _6;
+ scope 28 (inlined NonNull::<impl Sized>::as_ptr) {
+ debug self => _7;
125 }
126 }
- scope 17 (inlined <ManuallyDrop<Vec<impl Sized>> as Deref>::deref) {
- debug self => _31;
+ scope 20 (inlined <ManuallyDrop<Vec<impl Sized>> as Deref>::deref) {
+ debug self => _32;
+ scope 21 (inlined MaybeDangling::<Vec<impl Sized>>::as_ref) {
+ }
129 }
- scope 18 (inlined alloc::raw_vec::RawVec::<impl Sized>::non_null) {
- debug self => _30;
- scope 19 (inlined alloc::raw_vec::RawVecInner::non_null::<impl Sized>) {
- let mut _4: std::ptr::NonNull<u8>;
- scope 20 (inlined Unique::<u8>::cast::<impl Sized>) {
- scope 21 (inlined NonNull::<u8>::cast::<impl Sized>) {
- let mut _5: *const impl Sized;
- scope 22 (inlined NonNull::<u8>::as_ptr) {
+ scope 22 (inlined alloc::raw_vec::RawVec::<impl Sized>::non_null) {
+ debug self => _31;
+ scope 23 (inlined alloc::raw_vec::RawVecInner::non_null::<impl Sized>) {
+ let mut _5: std::ptr::NonNull<u8>;
+ scope 24 (inlined Unique::<u8>::cast::<impl Sized>) {
+ scope 25 (inlined NonNull::<u8>::cast::<impl Sized>) {
+ let mut _6: *const impl Sized;
+ scope 26 (inlined NonNull::<u8>::as_ptr) {
138 }
139 }
140 }
---
143 }
144 }
145 }
- scope 11 (inlined <ManuallyDrop<Vec<impl Sized>> as Deref>::deref) {
- debug self => _29;
+ scope 12 (inlined <ManuallyDrop<Vec<impl Sized>> as Deref>::deref) {
+ debug self => _30;
+ scope 13 (inlined MaybeDangling::<Vec<impl Sized>>::as_ref) {
+ }
148 }
- scope 12 (inlined Vec::<impl Sized>::allocator) {
- debug self => _28;
- scope 13 (inlined alloc::raw_vec::RawVec::<impl Sized>::allocator) {
- scope 14 (inlined alloc::raw_vec::RawVecInner::allocator) {
+ scope 14 (inlined Vec::<impl Sized>::allocator) {
+ debug self => _29;
+ scope 15 (inlined alloc::raw_vec::RawVec::<impl Sized>::allocator) {
+ scope 16 (inlined alloc::raw_vec::RawVecInner::allocator) {
153 }
154 }
155 }
- scope 15 (inlined #[track_caller] std::ptr::read::<std::alloc::Global>) {
- debug src => _3;
+ scope 17 (inlined #[track_caller] std::ptr::read::<std::alloc::Global>) {
+ debug src => _4;
158 }
- scope 16 (inlined ManuallyDrop::<std::alloc::Global>::new) {
+ scope 18 (inlined ManuallyDrop::<std::alloc::Global>::new) {
160 debug value => const std::alloc::Global;
+ scope 19 (inlined MaybeDangling::<std::alloc::Global>::new) {
+ }
161 }
162 }
163 scope 10 (inlined ManuallyDrop::<Vec<impl Sized>>::new) {
164 debug value => _1;
+ let mut _2: std::mem::MaybeDangling<std::vec::Vec<impl Sized>>;
+ scope 11 (inlined MaybeDangling::<Vec<impl Sized>>::new) {
+ }
165 }
166 }
167
---
174 StorageLive(_5);
- StorageLive(_4);
- StorageLive(_17);
- StorageLive(_2);
- _2 = ManuallyDrop::<Vec<impl Sized>> { value: copy _1 };
+ StorageLive(_18);
179 StorageLive(_3);
- // DBG: _29 = &_2;
- // DBG: _28 = &(_2.0: std::vec::Vec<impl Sized>);
- _3 = &raw const ((((_2.0: std::vec::Vec<impl Sized>).0: alloc::raw_vec::RawVec<impl Sized>).0: alloc::raw_vec::RawVecInner).2: std::alloc::Global);
- StorageDead(_3);
- // DBG: _31 = &_2;
- // DBG: _30 = &((_2.0: std::vec::Vec<impl Sized>).0: alloc::raw_vec::RawVec<impl Sized>);
- _4 = copy (((((_2.0: std::vec::Vec<impl Sized>).0: alloc::raw_vec::RawVec<impl Sized>).0: alloc::raw_vec::RawVecInner).0: std::ptr::Unique<u8>).0: std::ptr::NonNull<u8>);
- _5 = copy _4 as *const impl Sized (Transmute);
- _6 = NonNull::<impl Sized> { pointer: copy _5 };
- _7 = copy _4 as *mut impl Sized (Transmute);
+ StorageLive(_2);
+ _2 = MaybeDangling::<Vec<impl Sized>>(copy _1);
+ _3 = ManuallyDrop::<Vec<impl Sized>> { value: move _2 };
+ StorageDead(_2);
+ StorageLive(_4);
+ // DBG: _30 = &_3;
+ // DBG: _29 = &((_3.0: std::mem::MaybeDangling<std::vec::Vec<impl Sized>>).0: std::vec::Vec<impl Sized>);
+ _4 = &raw const (((((_3.0: std::mem::MaybeDangling<std::vec::Vec<impl Sized>>).0: std::vec::Vec<impl Sized>).0: alloc::raw_vec::RawVec<impl Sized>).0: alloc::raw_vec::RawVecInner).2: std::alloc::Global);
+ StorageDead(_4);
+ // DBG: _32 = &_3;
+ // DBG: _31 = &(((_3.0: std::mem::MaybeDangling<std::vec::Vec<impl Sized>>).0: std::vec::Vec<impl Sized>).0: alloc::raw_vec::RawVec<impl Sized>);
+ _5 = copy ((((((_3.0: std::mem::MaybeDangling<std::vec::Vec<impl Sized>>).0: std::vec::Vec<impl Sized>).0: alloc::raw_vec::RawVec<impl Sized>).0: alloc::raw_vec::RawVecInner).0: std::ptr::Unique<u8>).0: std::ptr::NonNull<u8>);
+ _6 = copy _5 as *const impl Sized (Transmute);
+ _7 = NonNull::<impl Sized> { pointer: copy _6 };
+ _8 = copy _5 as *mut impl Sized (Transmute);
190 switchInt(const <impl Sized as std::mem::SizedTypeProperties>::IS_ZST) -> [0: bb1, otherwise: bb2];
191 }
192
193 bb1: {
- StorageLive(_10);
- StorageLive(_8);
- // DBG: _35 = &_2;
- // DBG: _34 = &(_2.0: std::vec::Vec<impl Sized>);
- _8 = copy ((_2.0: std::vec::Vec<impl Sized>).1: usize);
+ StorageLive(_11);
199 StorageLive(_9);
- _9 = Le(copy _8, const <impl Sized as std::mem::SizedTypeProperties>::MAX_SLICE_LEN);
- assume(move _9);
- StorageDead(_9);
- _10 = Offset(copy _7, copy _8);
- _11 = copy _10 as *const impl Sized (PtrToPtr);
- StorageDead(_8);
+ // DBG: _36 = &_3;
+ // DBG: _35 = &((_3.0: std::mem::MaybeDangling<std::vec::Vec<impl Sized>>).0: std::vec::Vec<impl Sized>);
+ _9 = copy (((_3.0: std::mem::MaybeDangling<std::vec::Vec<impl Sized>>).0: std::vec::Vec<impl Sized>).1: usize);
+ StorageLive(_10);
+ _10 = Le(copy _9, const <impl Sized as std::mem::SizedTypeProperties>::MAX_SLICE_LEN);
+ assume(move _10);
206 StorageDead(_10);
+ _11 = Offset(copy _8, copy _9);
+ _12 = copy _11 as *const impl Sized (PtrToPtr);
+ StorageDead(_9);
+ StorageDead(_11);
207 goto -> bb4;
208 }
209
210 bb2: {
- StorageLive(_12);
- // DBG: _33 = &_2;
- // DBG: _32 = &(_2.0: std::vec::Vec<impl Sized>);
- _12 = copy ((_2.0: std::vec::Vec<impl Sized>).1: usize);
215 StorageLive(_13);
- _13 = Le(copy _12, const <impl Sized as std::mem::SizedTypeProperties>::MAX_SLICE_LEN);
- assume(move _13);
- StorageDead(_13);
- StorageLive(_18);
+ // DBG: _34 = &_3;
+ // DBG: _33 = &((_3.0: std::mem::MaybeDangling<std::vec::Vec<impl Sized>>).0: std::vec::Vec<impl Sized>);
+ _13 = copy (((_3.0: std::mem::MaybeDangling<std::vec::Vec<impl Sized>>).0: std::vec::Vec<impl Sized>).1: usize);
220 StorageLive(_14);
- _14 = copy _4 as *mut u8 (Transmute);
+ _14 = Le(copy _13, const <impl Sized as std::mem::SizedTypeProperties>::MAX_SLICE_LEN);
+ assume(move _14);
+ StorageDead(_14);
+ StorageLive(_19);
222 StorageLive(_15);
- _15 = copy _12 as isize (IntToInt);
+ _15 = copy _5 as *mut u8 (Transmute);
224 StorageLive(_16);
- _16 = copy _4 as *const u8 (Transmute);
- _17 = arith_offset::<u8>(move _16, move _15) -> [return: bb3, unwind unreachable];
+ _16 = copy _13 as isize (IntToInt);
+ StorageLive(_17);
+ _17 = copy _5 as *const u8 (Transmute);
+ _18 = arith_offset::<u8>(move _17, move _16) -> [return: bb3, unwind unreachable];
227 }
228
229 bb3: {
+ StorageDead(_17);
+ _19 = copy _18 as *mut u8 (PtrToPtr);
230 StorageDead(_16);
- _18 = copy _17 as *mut u8 (PtrToPtr);
232 StorageDead(_15);
- StorageDead(_14);
- StorageDead(_18);
- StorageDead(_12);
- _11 = copy _17 as *const impl Sized (PtrToPtr);
---
238 }
239
240 bb4: {
- // DBG: _37 = &_2;
- // DBG: _36 = &((_2.0: std::vec::Vec<impl Sized>).0: alloc::raw_vec::RawVec<impl Sized>);
- // DBG: _38 = &(((_2.0: std::vec::Vec<impl Sized>).0: alloc::raw_vec::RawVec<impl Sized>).0: alloc::raw_vec::RawVecInner);
+ // DBG: _38 = &_3;
+ // DBG: _37 = &(((_3.0: std::mem::MaybeDangling<std::vec::Vec<impl Sized>>).0: std::vec::Vec<impl Sized>).0: alloc::raw_vec::RawVec<impl Sized>);
+ // DBG: _39 = &((((_3.0: std::mem::MaybeDangling<std::vec::Vec<impl Sized>>).0: std::vec::Vec<impl Sized>).0: alloc::raw_vec::RawVec<impl Sized>).0: alloc::raw_vec::RawVecInner);
244 switchInt(const <impl Sized as std::mem::SizedTypeProperties>::SIZE) -> [0: bb5, otherwise: bb6];
245 }
246
247 bb5: {
- _19 = const usize::MAX;
+ _20 = const usize::MAX;
249 goto -> bb7;
250 }
251
252 bb6: {
- StorageLive(_20);
- _20 = copy ((((_2.0: std::vec::Vec<impl Sized>).0: alloc::raw_vec::RawVec<impl Sized>).0: alloc::raw_vec::RawVecInner).1: core::num::niche_types::UsizeNoHighBit);
- _19 = copy _20 as usize (Transmute);
- StorageDead(_20);
+ StorageLive(_21);
+ _21 = copy (((((_3.0: std::mem::MaybeDangling<std::vec::Vec<impl Sized>>).0: std::vec::Vec<impl Sized>).0: alloc::raw_vec::RawVec<impl Sized>).0: alloc::raw_vec::RawVecInner).1: core::num::niche_types::UsizeNoHighBit);
+ _20 = copy _21 as usize (Transmute);
+ StorageDead(_21);
257 goto -> bb7;
258 }
259
260 bb7: {
- _21 = std::vec::IntoIter::<impl Sized> { buf: copy _6, phantom: const ZeroSized: PhantomData<impl Sized>, cap: move _19, alloc: const ManuallyDrop::<std::alloc::Global> {{ value: std::alloc::Global }}, ptr: copy _6, end: copy _11 };
- StorageDead(_2);
- StorageDead(_17);
- StorageDead(_4);
+ _22 = std::vec::IntoIter::<impl Sized> { buf: copy _7, phantom: const ZeroSized: PhantomData<impl Sized>, cap: move _20, alloc: const ManuallyDrop::<std::alloc::Global> {{ value: MaybeDangling::<std::alloc::Global>(std::alloc::Global) }}, ptr: copy _7, end: copy _12 };
+ StorageDead(_3);
+ StorageDead(_18);
265 StorageDead(_5);
- StorageDead(_19);
- StorageDead(_11);
---
274
275 bb8: {
- StorageLive(_24);
- _23 = &mut _22;
- _24 = <std::vec::IntoIter<impl Sized> as Iterator>::next(move _23) -> [return: bb9, unwind: bb15];
+ StorageLive(_25);
+ _24 = &mut _23;
+ _25 = <std::vec::IntoIter<impl Sized> as Iterator>::next(move _24) -> [return: bb9, unwind: bb15];
279 }
280
281 bb9: {
- _25 = discriminant(_24);
- switchInt(move _25) -> [0: bb10, 1: bb12, otherwise: bb14];
+ _26 = discriminant(_25);
+ switchInt(move _26) -> [0: bb10, 1: bb12, otherwise: bb14];
284 }
285
286 bb10: {
- StorageDead(_24);
- drop(_22) -> [return: bb11, unwind continue];
+ StorageDead(_25);
+ drop(_23) -> [return: bb11, unwind continue];
289 }
290
291 bb11: {
+ StorageDead(_23);
292 StorageDead(_22);
- StorageDead(_21);
294 return;
295 }
296
297 bb12: {
- _26 = move ((_24 as Some).0: impl Sized);
- _27 = opaque::<impl Sized>(move _26) -> [return: bb13, unwind: bb15];
+ _27 = move ((_25 as Some).0: impl Sized);
+ _28 = opaque::<impl Sized>(move _27) -> [return: bb13, unwind: bb15];
300 }
301
302 bb13: {
- StorageDead(_24);
+ StorageDead(_25);
304 goto -> bb8;
305 }
306
309 }
310
311 bb15 (cleanup): {
- drop(_22) -> [return: bb16, unwind terminate(cleanup)];
+ drop(_23) -> [return: bb16, unwind terminate(cleanup)];
313 }
314
315 bb16 (cleanup): {
thread '[mir-opt] tests/mir-opt/pre-codegen/loops.rs' panicked at src/tools/compiletest/src/runtest/mir_opt.rs:84:21:
Actual MIR output differs from expected MIR output /checkout/tests/mir-opt/pre-codegen/loops.vec_move.PreCodegen.after.mir
stack backtrace:
5: __rustc::rust_begin_unwind
at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/std/src/panicking.rs:698:5
6: core::panicking::panic_fmt
at /rustc/3b4dd9bf1410f8da6329baa36ce5e37673cbbd1f/library/core/src/panicking.rs:80:14
For more information how to resolve CI failures of this job, visit this link.
I don't know how much this is still an experiment, but if you're looking for more coverage, you might want to replace the MaybeUninit-based manual MaybeDangling implementation in std:
https://github.com/rust-lang/rust/blob/864339abf952f07098dd82610256338520167d4a/library/std/src/thread/lifecycle.rs#L61-L82
The job aarch64-gnu-llvm-20-1 failed! Check out the build log: (web) (plain enhanced) (plain)
Click to see the possible cause of the failure (guessed by this bot)
The job aarch64-gnu-llvm-20-1 failed! Check out the build log: (web) (plain enhanced) (plain)
Click to see the possible cause of the failure (guessed by this bot)
---- [debuginfo-gdb] tests/debuginfo/pretty-std-collections.rs stdout ----
NOTE: compiletest thinks it is using GDB version 16003000
error: check directive(s) from `/checkout/tests/debuginfo/pretty-std-collections.rs` not found in debugger output. errors:
(pretty-std-collections.rs:11) `$1 = BTreeSet(size=15) = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14}`
(pretty-std-collections.rs:17) `$3 = BTreeMap(size=15) = {[0] = 0, [1] = 1, [2] = 2, [3] = 3, [4] = 4, [5] = 5, [6] = 6, [7] = 7, [8] = 8, [9] = 9, [10] = 10, [11] = 11, [12] = 12, [13] = 13, [14] = 14}`
(pretty-std-collections.rs:23) `$5 = BTreeMap(size=2) = {[false] = [...], [true] = [...]}`
(pretty-std-collections.rs:27) `$6 = BTreeMap(size=15) = {[0] = pretty_std_collections::MyLeafNode (0), [...]}`
(pretty-std-collections.rs:31) `$7 = BTreeMap(size=1) = {[()] = 1}`
(pretty-std-collections.rs:34) `$8 = BTreeMap(size=1) = {[1] = ()}`
the following subset of check directive(s) was found successfully:
(pretty-std-collections.rs:14) `$2 = BTreeSet(size=0)`
(pretty-std-collections.rs:20) `$4 = BTreeMap(size=0)`
(pretty-std-collections.rs:37) `$9 = BTreeMap(size=1) = {[()] = ()}`
(pretty-std-collections.rs:40) `$10 = VecDeque(size=3) = {5, 3, 7}`
(pretty-std-collections.rs:43) `$11 = VecDeque(size=7) = {2, 3, 4, 5, 6, 7, 8}`
(pretty-std-collections.rs:46) `$12 = HashMap(size=4) = {[1] = 10, [2] = 20, [3] = 30, [4] = 40}`
(pretty-std-collections.rs:49) `$13 = HashSet(size=4) = {1, 2, 3, 4}`
status: exit status: 0
command: PYTHONPATH="/checkout/src/etc" "/usr/bin/gdb" "-quiet" "-batch" "-nx" "-command=/checkout/obj/build/aarch64-unknown-linux-gnu/test/debuginfo/pretty-std-collections.gdb/pretty-std-collections.debugger.script"
--- stdout -------------------------------
GNU gdb (Ubuntu 16.3-1ubuntu2) 16.3
Copyright (C) 2024 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.
Type "show copying" and "show warranty" for details.
This GDB was configured as "aarch64-linux-gnu".
Type "show configuration" for configuration details.
For bug reporting instructions, please see:
<https://www.gnu.org/software/gdb/bugs/>.
Find the GDB manual and other documentation resources online at:
<http://www.gnu.org/software/gdb/documentation/>.
For help, type "help".
Type "apropos word" to search for commands related to "word".
Breakpoint 1 at 0x3220c: file /checkout/tests/debuginfo/pretty-std-collections.rs, line 147.
[Thread debugging using libthread_db enabled]
Using host libthread_db library "/lib/aarch64-linux-gnu/libthread_db.so.1".
Breakpoint 1, pretty_std_collections::main () at /checkout/tests/debuginfo/pretty-std-collections.rs:147
147 zzz(); // #break
$1 = BTreeSet(size=15)
$2 = BTreeSet(size=0)
$3 = BTreeMap(size=15)
$4 = BTreeMap(size=0)
$5 = BTreeMap(size=2) = {[core::mem::maybe_dangling::MaybeDangling<bool> (false)] = core::mem::maybe_dangling::MaybeDangling<core::option::Option<bool>> (core::option::Option<bool>::None), [core::mem::maybe_dangling::MaybeDangling<bool> (true)] = core::mem::maybe_dangling::MaybeDangling<core::option::Option<bool>> (core::option::Option<bool>::Some(true))}
$6 = BTreeMap(size=15)
$7 = BTreeMap(size=1) = {[()] = core::mem::maybe_dangling::MaybeDangling<i32> (1)}
$8 = BTreeMap(size=1) = {[core::mem::maybe_dangling::MaybeDangling<i32> (1)] = ()}
$9 = BTreeMap(size=1) = {[()] = ()}
$10 = VecDeque(size=3) = {5, 3, 7}
$11 = VecDeque(size=7) = {2, 3, 4, 5, 6, 7, 8}
$12 = HashMap(size=4) = {[1] = 10, [2] = 20, [3] = 30, [4] = 40}
$13 = HashSet(size=4) = {1, 2, 3, 4}
A debugging session is active.
Inferior 1 [process 232209] will be killed.
Quit anyway? (y or n) [answered Y; input not from terminal]
------------------------------------------
--- stderr -------------------------------
Python Exception <class 'gdb.error'>: There is no member named pointer.
Python Exception <class 'gdb.error'>: There is no member named pointer.
Python Exception <class 'gdb.error'>: There is no member named pointer.
------------------------------------------
---- [debuginfo-gdb] tests/debuginfo/pretty-std-collections.rs stdout end ----
failures:
The job aarch64-gnu-llvm-20-2 failed! Check out the build log: (web) (plain enhanced) (plain)
Click to see the possible cause of the failure (guessed by this bot)
Documenting core v0.0.0 (/checkout/library/core)
error: unresolved link to `MaybeDangling:as_ref`
--> library/core/src/mem/maybe_dangling.rs:58:17
|
58 | /// [`as_ref`]: MaybeDangling:as_ref
| ^^^^^^^^^^^^^^^^^^^^ no item named `MaybeDangling:as_ref` in scope
|
= help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
= note: `-D rustdoc::broken-intra-doc-links` implied by `-D warnings`
= help: to override `-D warnings` add `#[allow(rustdoc::broken_intra_doc_links)]`
error: could not document `core`
warning: build failed, waiting for other jobs to finish...
[RUSTC-TIMING] core test:false 23.748
Bootstrap failed while executing `--stage 2 test --skip tests --skip coverage-map --skip coverage-run --skip library --skip tidyselftest`
Command `/checkout/obj/build/aarch64-unknown-linux-gnu/stage0/bin/cargo doc --target aarch64-unknown-linux-gnu -Zbinary-dep-depinfo -j 4 -Zroot-dir=/checkout --locked --color always --release -p alloc -p compiler_builtins -p core -p panic_abort -p panic_unwind -p proc_macro -p rustc-std-workspace-core -p std -p std_detect -p sysroot -p test -p unwind --features 'backtrace panic-unwind compiler-builtins-c' --manifest-path /checkout/library/sysroot/Cargo.toml --no-deps --target-dir /checkout/obj/build/aarch64-unknown-linux-gnu/stage1-std/aarch64-unknown-linux-gnu/doc -Zskip-rustdoc-fingerprint -Zrustdoc-map [workdir=/checkout]` failed with exit code 101
Created at: src/bootstrap/src/core/build_steps/doc.rs:795:21
Executed at: src/bootstrap/src/core/build_steps/doc.rs:828:22
Command has failed. Rerun with -v to see more details.
Build completed unsuccessfully in 0:35:38
local time: Sun Dec 7 17:46:50 UTC 2025
network time: Sun, 07 Dec 2025 17:46:51 GMT
##[error]Process completed with exit code 1.
##[group]Run echo "disk usage:"
The job tidy failed! Check out the build log: (web) (plain enhanced) (plain)
Click to see the possible cause of the failure (guessed by this bot)
[TIMING:end] tool::Tidy { compiler: Compiler { stage: 0, host: x86_64-unknown-linux-gnu, forced_compiler: false }, target: x86_64-unknown-linux-gnu } -- 0.000
fmt check
Diff in /checkout/tests/codegen-llvm/manually_drop_refs.rs:6:
// CHECK: define noundef nonnull ptr @f(ptr noundef nonnull readnone returned captures(ret: address, provenance) %x) unnamed_addr
#[no_mangle]
-pub fn f(x: ManuallyDrop<Box<u8>>) -> ManuallyDrop<Box<u8>> { x }
+pub fn f(x: ManuallyDrop<Box<u8>>) -> ManuallyDrop<Box<u8>> {
+ x
+}
// CHECK: define noundef nonnull ptr @g(ptr noundef nonnull readnone returned captures(ret: address, provenance) %x) unnamed_addr
#[no_mangle]
Diff in /checkout/tests/codegen-llvm/manually_drop_refs.rs:13:
-pub fn g(x: ManuallyDrop<&u8>) -> ManuallyDrop<&u8> { x }
+pub fn g(x: ManuallyDrop<&u8>) -> ManuallyDrop<&u8> {
+ x
+}
// CHECK: define noundef nonnull ptr @h(ptr noundef nonnull readnone returned captures(ret: address, provenance) %x) unnamed_addr
#[no_mangle]
Diff in /checkout/tests/codegen-llvm/manually_drop_refs.rs:17:
-pub fn h(x: ManuallyDrop<&mut u8>) -> ManuallyDrop<&mut u8> { x }
+pub fn h(x: ManuallyDrop<&mut u8>) -> ManuallyDrop<&mut u8> {
+ x
+}
fmt: checked 6597 files
Bootstrap failed while executing `test src/tools/tidy tidyselftest --extra-checks=py,cpp,js,spellcheck`
The job aarch64-gnu-llvm-20-1 failed! Check out the build log: (web) (plain enhanced) (plain)
Click to see the possible cause of the failure (guessed by this bot)
---- [codegen] tests/codegen-llvm/manually_drop_refs.rs stdout ----
------FileCheck stdout------------------------------
------FileCheck stderr------------------------------
/checkout/tests/codegen-llvm/manually_drop_refs.rs:7:11: error: CHECK: expected string not found in input
// CHECK: define noundef nonnull ptr @f(ptr noundef nonnull readnone returned captures(ret: address, provenance) %x) unnamed_addr
^
/checkout/obj/build/aarch64-unknown-linux-gnu/test/codegen-llvm/manually_drop_refs/manually_drop_refs.ll:1:1: note: scanning from here
; ModuleID = 'manually_drop_refs.f6bd3c5d90b64e2d-cgu.0'
^
/checkout/obj/build/aarch64-unknown-linux-gnu/test/codegen-llvm/manually_drop_refs/manually_drop_refs.ll:7:1: note: possible intended match here
define noundef nonnull ptr @f(ptr noundef nonnull readnone returned %x) unnamed_addr #0 {
^
Input file: /checkout/obj/build/aarch64-unknown-linux-gnu/test/codegen-llvm/manually_drop_refs/manually_drop_refs.ll
Check file: /checkout/tests/codegen-llvm/manually_drop_refs.rs
-dump-input=help explains the following input dump.
Input was:
<<<<<<
1: ; ModuleID = 'manually_drop_refs.f6bd3c5d90b64e2d-cgu.0'
check:7'0 X~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ error: no match found
2: source_filename = "manually_drop_refs.f6bd3c5d90b64e2d-cgu.0"
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
3: target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128-Fn32"
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
4: target triple = "aarch64-unknown-linux-gnu"
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
5:
check:7'0 ~
6: ; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none) uwtable
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
7: define noundef nonnull ptr @f(ptr noundef nonnull readnone returned %x) unnamed_addr #0 {
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
check:7'1 ? possible intended match
8: start:
check:7'0 ~~~~~~~
9: ret ptr %x
check:7'0 ~~~~~~~~~~~~
10: }
check:7'0 ~~
11:
check:7'0 ~
12: ; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none) uwtable
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
13: define noundef nonnull ptr @g(ptr noundef nonnull readnone returned %x) unnamed_addr #0 {
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
14: start:
check:7'0 ~~~~~~~
15: ret ptr %x
check:7'0 ~~~~~~~~~~~~
16: }
check:7'0 ~~
17:
check:7'0 ~
18: ; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none) uwtable
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
19: define noundef nonnull ptr @h(ptr noundef nonnull readnone returned %x) unnamed_addr #0 {
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
20: start:
check:7'0 ~~~~~~~
21: ret ptr %x
check:7'0 ~~~~~~~~~~~~
22: }
check:7'0 ~~
23:
check:7'0 ~
24: attributes #0 = { mustprogress nofree norecurse nosync nounwind willreturn memory(none) uwtable "frame-pointer"="non-leaf" "probe-stack"="inline-asm" "target-cpu"="generic" "target-features"="+v8a,+outline-atomics" }
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
25:
check:7'0 ~
26: !llvm.module.flags = !{!0}
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~
27: !llvm.ident = !{!1}
check:7'0 ~~~~~~~~~~~~~~~~~~~~
28:
check:7'0 ~
29: !0 = !{i32 8, !"PIC Level", i32 2}
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
30: !1 = !{!"rustc version 1.94.0-nightly (550c8c22f 2025-12-08)"}
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
>>>>>>
------------------------------------------
error: verification with 'FileCheck' failed
status: exit status: 1
command: "/usr/lib/llvm-20/bin/FileCheck" "--input-file" "/checkout/obj/build/aarch64-unknown-linux-gnu/test/codegen-llvm/manually_drop_refs/manually_drop_refs.ll" "/checkout/tests/codegen-llvm/manually_drop_refs.rs" "--check-prefix=CHECK" "--allow-unused-prefixes" "--dump-input-context" "100"
stdout: none
--- stderr -------------------------------
/checkout/tests/codegen-llvm/manually_drop_refs.rs:7:11: error: CHECK: expected string not found in input
// CHECK: define noundef nonnull ptr @f(ptr noundef nonnull readnone returned captures(ret: address, provenance) %x) unnamed_addr
^
/checkout/obj/build/aarch64-unknown-linux-gnu/test/codegen-llvm/manually_drop_refs/manually_drop_refs.ll:1:1: note: scanning from here
; ModuleID = 'manually_drop_refs.f6bd3c5d90b64e2d-cgu.0'
^
/checkout/obj/build/aarch64-unknown-linux-gnu/test/codegen-llvm/manually_drop_refs/manually_drop_refs.ll:7:1: note: possible intended match here
define noundef nonnull ptr @f(ptr noundef nonnull readnone returned %x) unnamed_addr #0 {
^
Input file: /checkout/obj/build/aarch64-unknown-linux-gnu/test/codegen-llvm/manually_drop_refs/manually_drop_refs.ll
Check file: /checkout/tests/codegen-llvm/manually_drop_refs.rs
-dump-input=help explains the following input dump.
Input was:
<<<<<<
1: ; ModuleID = 'manually_drop_refs.f6bd3c5d90b64e2d-cgu.0'
check:7'0 X~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ error: no match found
2: source_filename = "manually_drop_refs.f6bd3c5d90b64e2d-cgu.0"
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
3: target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128-Fn32"
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
4: target triple = "aarch64-unknown-linux-gnu"
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
5:
check:7'0 ~
6: ; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none) uwtable
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
7: define noundef nonnull ptr @f(ptr noundef nonnull readnone returned %x) unnamed_addr #0 {
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
check:7'1 ? possible intended match
8: start:
check:7'0 ~~~~~~~
9: ret ptr %x
check:7'0 ~~~~~~~~~~~~
10: }
check:7'0 ~~
11:
check:7'0 ~
12: ; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none) uwtable
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
13: define noundef nonnull ptr @g(ptr noundef nonnull readnone returned %x) unnamed_addr #0 {
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
14: start:
check:7'0 ~~~~~~~
15: ret ptr %x
check:7'0 ~~~~~~~~~~~~
16: }
check:7'0 ~~
17:
check:7'0 ~
18: ; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none) uwtable
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
19: define noundef nonnull ptr @h(ptr noundef nonnull readnone returned %x) unnamed_addr #0 {
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
20: start:
check:7'0 ~~~~~~~
21: ret ptr %x
check:7'0 ~~~~~~~~~~~~
22: }
check:7'0 ~~
23:
check:7'0 ~
24: attributes #0 = { mustprogress nofree norecurse nosync nounwind willreturn memory(none) uwtable "frame-pointer"="non-leaf" "probe-stack"="inline-asm" "target-cpu"="generic" "target-features"="+v8a,+outline-atomics" }
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
25:
check:7'0 ~
26: !llvm.module.flags = !{!0}
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~
27: !llvm.ident = !{!1}
check:7'0 ~~~~~~~~~~~~~~~~~~~~
28:
check:7'0 ~
29: !0 = !{i32 8, !"PIC Level", i32 2}
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
30: !1 = !{!"rustc version 1.94.0-nightly (550c8c22f 2025-12-08)"}
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
>>>>>>
------------------------------------------
---- [codegen] tests/codegen-llvm/manually_drop_refs.rs stdout end ----
The job aarch64-gnu-llvm-20-1 failed! Check out the build log: (web) (plain enhanced) (plain)
Click to see the possible cause of the failure (guessed by this bot)
---- [codegen] tests/codegen-llvm/manually_drop_refs.rs stdout ----
------FileCheck stdout------------------------------
------FileCheck stderr------------------------------
/checkout/tests/codegen-llvm/manually_drop_refs.rs:7:11: error: CHECK: expected string not found in input
// CHECK: define noundef nonnull ptr @f(ptr noundef nonnull readnone returned captures(ret: address, provenance) %x) unnamed_addr
^
/checkout/obj/build/aarch64-unknown-linux-gnu/test/codegen-llvm/manually_drop_refs/manually_drop_refs.ll:1:1: note: scanning from here
; ModuleID = 'manually_drop_refs.f6bd3c5d90b64e2d-cgu.0'
^
/checkout/obj/build/aarch64-unknown-linux-gnu/test/codegen-llvm/manually_drop_refs/manually_drop_refs.ll:7:1: note: possible intended match here
define noundef nonnull ptr @f(ptr noundef nonnull readnone returned %x) unnamed_addr #0 {
^
Input file: /checkout/obj/build/aarch64-unknown-linux-gnu/test/codegen-llvm/manually_drop_refs/manually_drop_refs.ll
Check file: /checkout/tests/codegen-llvm/manually_drop_refs.rs
-dump-input=help explains the following input dump.
Input was:
<<<<<<
1: ; ModuleID = 'manually_drop_refs.f6bd3c5d90b64e2d-cgu.0'
check:7'0 X~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ error: no match found
2: source_filename = "manually_drop_refs.f6bd3c5d90b64e2d-cgu.0"
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
3: target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128-Fn32"
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
4: target triple = "aarch64-unknown-linux-gnu"
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
5:
check:7'0 ~
6: ; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none) uwtable
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
7: define noundef nonnull ptr @f(ptr noundef nonnull readnone returned %x) unnamed_addr #0 {
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
check:7'1 ? possible intended match
8: start:
check:7'0 ~~~~~~~
9: ret ptr %x
check:7'0 ~~~~~~~~~~~~
10: }
check:7'0 ~~
11:
check:7'0 ~
12: ; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none) uwtable
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
13: define noundef nonnull ptr @g(ptr noundef nonnull readnone returned %x) unnamed_addr #0 {
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
14: start:
check:7'0 ~~~~~~~
15: ret ptr %x
check:7'0 ~~~~~~~~~~~~
16: }
check:7'0 ~~
17:
check:7'0 ~
18: ; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none) uwtable
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
19: define noundef nonnull ptr @h(ptr noundef nonnull readnone returned %x) unnamed_addr #0 {
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
20: start:
check:7'0 ~~~~~~~
21: ret ptr %x
check:7'0 ~~~~~~~~~~~~
22: }
check:7'0 ~~
23:
check:7'0 ~
24: attributes #0 = { mustprogress nofree norecurse nosync nounwind willreturn memory(none) uwtable "frame-pointer"="non-leaf" "probe-stack"="inline-asm" "target-cpu"="generic" "target-features"="+v8a,+outline-atomics" }
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
25:
check:7'0 ~
26: !llvm.module.flags = !{!0}
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~
27: !llvm.ident = !{!1}
check:7'0 ~~~~~~~~~~~~~~~~~~~~
28:
check:7'0 ~
29: !0 = !{i32 8, !"PIC Level", i32 2}
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
30: !1 = !{!"rustc version 1.94.0-nightly (f8d25d502 2025-12-13)"}
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
>>>>>>
------------------------------------------
error: verification with 'FileCheck' failed
status: exit status: 1
command: "/usr/lib/llvm-20/bin/FileCheck" "--input-file" "/checkout/obj/build/aarch64-unknown-linux-gnu/test/codegen-llvm/manually_drop_refs/manually_drop_refs.ll" "/checkout/tests/codegen-llvm/manually_drop_refs.rs" "--check-prefix=CHECK" "--allow-unused-prefixes" "--dump-input-context" "100"
stdout: none
--- stderr -------------------------------
/checkout/tests/codegen-llvm/manually_drop_refs.rs:7:11: error: CHECK: expected string not found in input
// CHECK: define noundef nonnull ptr @f(ptr noundef nonnull readnone returned captures(ret: address, provenance) %x) unnamed_addr
^
/checkout/obj/build/aarch64-unknown-linux-gnu/test/codegen-llvm/manually_drop_refs/manually_drop_refs.ll:1:1: note: scanning from here
; ModuleID = 'manually_drop_refs.f6bd3c5d90b64e2d-cgu.0'
^
/checkout/obj/build/aarch64-unknown-linux-gnu/test/codegen-llvm/manually_drop_refs/manually_drop_refs.ll:7:1: note: possible intended match here
define noundef nonnull ptr @f(ptr noundef nonnull readnone returned %x) unnamed_addr #0 {
^
Input file: /checkout/obj/build/aarch64-unknown-linux-gnu/test/codegen-llvm/manually_drop_refs/manually_drop_refs.ll
Check file: /checkout/tests/codegen-llvm/manually_drop_refs.rs
-dump-input=help explains the following input dump.
Input was:
<<<<<<
1: ; ModuleID = 'manually_drop_refs.f6bd3c5d90b64e2d-cgu.0'
check:7'0 X~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ error: no match found
2: source_filename = "manually_drop_refs.f6bd3c5d90b64e2d-cgu.0"
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
3: target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128-Fn32"
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
4: target triple = "aarch64-unknown-linux-gnu"
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
5:
check:7'0 ~
6: ; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none) uwtable
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
7: define noundef nonnull ptr @f(ptr noundef nonnull readnone returned %x) unnamed_addr #0 {
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
check:7'1 ? possible intended match
8: start:
check:7'0 ~~~~~~~
9: ret ptr %x
check:7'0 ~~~~~~~~~~~~
10: }
check:7'0 ~~
11:
check:7'0 ~
12: ; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none) uwtable
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
13: define noundef nonnull ptr @g(ptr noundef nonnull readnone returned %x) unnamed_addr #0 {
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
14: start:
check:7'0 ~~~~~~~
15: ret ptr %x
check:7'0 ~~~~~~~~~~~~
16: }
check:7'0 ~~
17:
check:7'0 ~
18: ; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none) uwtable
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
19: define noundef nonnull ptr @h(ptr noundef nonnull readnone returned %x) unnamed_addr #0 {
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
20: start:
check:7'0 ~~~~~~~
21: ret ptr %x
check:7'0 ~~~~~~~~~~~~
22: }
check:7'0 ~~
23:
check:7'0 ~
24: attributes #0 = { mustprogress nofree norecurse nosync nounwind willreturn memory(none) uwtable "frame-pointer"="non-leaf" "probe-stack"="inline-asm" "target-cpu"="generic" "target-features"="+v8a,+outline-atomics" }
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
25:
check:7'0 ~
26: !llvm.module.flags = !{!0}
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~
27: !llvm.ident = !{!1}
check:7'0 ~~~~~~~~~~~~~~~~~~~~
28:
check:7'0 ~
29: !0 = !{i32 8, !"PIC Level", i32 2}
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
30: !1 = !{!"rustc version 1.94.0-nightly (f8d25d502 2025-12-13)"}
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
>>>>>>
------------------------------------------
---- [codegen] tests/codegen-llvm/manually_drop_refs.rs stdout end ----
The job aarch64-gnu-llvm-20-1 failed! Check out the build log: (web) (plain enhanced) (plain)
Click to see the possible cause of the failure (guessed by this bot)
---- [codegen] tests/codegen-llvm/manually_drop_refs.rs stdout ----
------FileCheck stdout------------------------------
------FileCheck stderr------------------------------
/checkout/tests/codegen-llvm/manually_drop_refs.rs:7:11: error: CHECK: expected string not found in input
// CHECK: define noundef nonnull ptr @f(ptr noundef nonnull readnone returned captures(ret: address, provenance) %x) unnamed_addr
^
/checkout/obj/build/aarch64-unknown-linux-gnu/test/codegen-llvm/manually_drop_refs/manually_drop_refs.ll:1:1: note: scanning from here
; ModuleID = 'manually_drop_refs.f6bd3c5d90b64e2d-cgu.0'
^
/checkout/obj/build/aarch64-unknown-linux-gnu/test/codegen-llvm/manually_drop_refs/manually_drop_refs.ll:7:1: note: possible intended match here
define noundef nonnull ptr @f(ptr noundef nonnull readnone returned %x) unnamed_addr #0 {
^
Input file: /checkout/obj/build/aarch64-unknown-linux-gnu/test/codegen-llvm/manually_drop_refs/manually_drop_refs.ll
Check file: /checkout/tests/codegen-llvm/manually_drop_refs.rs
-dump-input=help explains the following input dump.
Input was:
<<<<<<
1: ; ModuleID = 'manually_drop_refs.f6bd3c5d90b64e2d-cgu.0'
check:7'0 X~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ error: no match found
2: source_filename = "manually_drop_refs.f6bd3c5d90b64e2d-cgu.0"
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
3: target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128-Fn32"
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
4: target triple = "aarch64-unknown-linux-gnu"
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
5:
check:7'0 ~
6: ; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none) uwtable
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
7: define noundef nonnull ptr @f(ptr noundef nonnull readnone returned %x) unnamed_addr #0 {
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
check:7'1 ? possible intended match
8: start:
check:7'0 ~~~~~~~
9: ret ptr %x
check:7'0 ~~~~~~~~~~~~
10: }
check:7'0 ~~
11:
check:7'0 ~
12: ; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none) uwtable
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
13: define noundef nonnull ptr @g(ptr noundef nonnull readnone returned %x) unnamed_addr #0 {
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
14: start:
check:7'0 ~~~~~~~
15: ret ptr %x
check:7'0 ~~~~~~~~~~~~
16: }
check:7'0 ~~
17:
check:7'0 ~
18: ; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none) uwtable
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
19: define noundef nonnull ptr @h(ptr noundef nonnull readnone returned %x) unnamed_addr #0 {
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
20: start:
check:7'0 ~~~~~~~
21: ret ptr %x
check:7'0 ~~~~~~~~~~~~
22: }
check:7'0 ~~
23:
check:7'0 ~
24: attributes #0 = { mustprogress nofree norecurse nosync nounwind willreturn memory(none) uwtable "frame-pointer"="non-leaf" "probe-stack"="inline-asm" "target-cpu"="generic" "target-features"="+v8a,+outline-atomics" }
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
25:
check:7'0 ~
26: !llvm.module.flags = !{!0}
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~
27: !llvm.ident = !{!1}
check:7'0 ~~~~~~~~~~~~~~~~~~~~
28:
check:7'0 ~
29: !0 = !{i32 8, !"PIC Level", i32 2}
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
30: !1 = !{!"rustc version 1.94.0-nightly (5f6ce249a 2025-12-13)"}
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
>>>>>>
------------------------------------------
error: verification with 'FileCheck' failed
status: exit status: 1
command: "/usr/lib/llvm-20/bin/FileCheck" "--input-file" "/checkout/obj/build/aarch64-unknown-linux-gnu/test/codegen-llvm/manually_drop_refs/manually_drop_refs.ll" "/checkout/tests/codegen-llvm/manually_drop_refs.rs" "--check-prefix=CHECK" "--allow-unused-prefixes" "--dump-input-context" "100"
stdout: none
--- stderr -------------------------------
/checkout/tests/codegen-llvm/manually_drop_refs.rs:7:11: error: CHECK: expected string not found in input
// CHECK: define noundef nonnull ptr @f(ptr noundef nonnull readnone returned captures(ret: address, provenance) %x) unnamed_addr
^
/checkout/obj/build/aarch64-unknown-linux-gnu/test/codegen-llvm/manually_drop_refs/manually_drop_refs.ll:1:1: note: scanning from here
; ModuleID = 'manually_drop_refs.f6bd3c5d90b64e2d-cgu.0'
^
/checkout/obj/build/aarch64-unknown-linux-gnu/test/codegen-llvm/manually_drop_refs/manually_drop_refs.ll:7:1: note: possible intended match here
define noundef nonnull ptr @f(ptr noundef nonnull readnone returned %x) unnamed_addr #0 {
^
Input file: /checkout/obj/build/aarch64-unknown-linux-gnu/test/codegen-llvm/manually_drop_refs/manually_drop_refs.ll
Check file: /checkout/tests/codegen-llvm/manually_drop_refs.rs
-dump-input=help explains the following input dump.
Input was:
<<<<<<
1: ; ModuleID = 'manually_drop_refs.f6bd3c5d90b64e2d-cgu.0'
check:7'0 X~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ error: no match found
2: source_filename = "manually_drop_refs.f6bd3c5d90b64e2d-cgu.0"
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
3: target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128-Fn32"
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
4: target triple = "aarch64-unknown-linux-gnu"
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
5:
check:7'0 ~
6: ; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none) uwtable
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
7: define noundef nonnull ptr @f(ptr noundef nonnull readnone returned %x) unnamed_addr #0 {
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
check:7'1 ? possible intended match
8: start:
check:7'0 ~~~~~~~
9: ret ptr %x
check:7'0 ~~~~~~~~~~~~
10: }
check:7'0 ~~
11:
check:7'0 ~
12: ; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none) uwtable
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
13: define noundef nonnull ptr @g(ptr noundef nonnull readnone returned %x) unnamed_addr #0 {
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
14: start:
check:7'0 ~~~~~~~
15: ret ptr %x
check:7'0 ~~~~~~~~~~~~
16: }
check:7'0 ~~
17:
check:7'0 ~
18: ; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none) uwtable
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
19: define noundef nonnull ptr @h(ptr noundef nonnull readnone returned %x) unnamed_addr #0 {
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
20: start:
check:7'0 ~~~~~~~
21: ret ptr %x
check:7'0 ~~~~~~~~~~~~
22: }
check:7'0 ~~
23:
check:7'0 ~
24: attributes #0 = { mustprogress nofree norecurse nosync nounwind willreturn memory(none) uwtable "frame-pointer"="non-leaf" "probe-stack"="inline-asm" "target-cpu"="generic" "target-features"="+v8a,+outline-atomics" }
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
25:
check:7'0 ~
26: !llvm.module.flags = !{!0}
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~
27: !llvm.ident = !{!1}
check:7'0 ~~~~~~~~~~~~~~~~~~~~
28:
check:7'0 ~
29: !0 = !{i32 8, !"PIC Level", i32 2}
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
30: !1 = !{!"rustc version 1.94.0-nightly (5f6ce249a 2025-12-13)"}
check:7'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
>>>>>>
------------------------------------------
---- [codegen] tests/codegen-llvm/manually_drop_refs.rs stdout end ----
The job aarch64-gnu-llvm-20-1 failed! Check out the build log: (web) (plain enhanced) (plain)
Click to see the possible cause of the failure (guessed by this bot)
---- [codegen] tests/codegen-llvm/manually_drop_refs.rs stdout ----
------FileCheck stdout------------------------------
------FileCheck stderr------------------------------
/checkout/tests/codegen-llvm/manually_drop_refs.rs:6:11: error: CHECK: expected string not found in input
// CHECK: define noundef nonnull ptr @f(ptr noundef nonnull readnone returned {{(captures\(ret: address, provenance\))?}} %x) unnamed_addr
^
/checkout/obj/build/aarch64-unknown-linux-gnu/test/codegen-llvm/manually_drop_refs/manually_drop_refs.ll:1:1: note: scanning from here
; ModuleID = 'manually_drop_refs.f6bd3c5d90b64e2d-cgu.0'
^
/checkout/obj/build/aarch64-unknown-linux-gnu/test/codegen-llvm/manually_drop_refs/manually_drop_refs.ll:7:1: note: possible intended match here
define noundef nonnull ptr @f(ptr noundef nonnull readnone returned %x) unnamed_addr #0 {
^
Input file: /checkout/obj/build/aarch64-unknown-linux-gnu/test/codegen-llvm/manually_drop_refs/manually_drop_refs.ll
Check file: /checkout/tests/codegen-llvm/manually_drop_refs.rs
-dump-input=help explains the following input dump.
Input was:
<<<<<<
1: ; ModuleID = 'manually_drop_refs.f6bd3c5d90b64e2d-cgu.0'
check:6'0 X~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ error: no match found
2: source_filename = "manually_drop_refs.f6bd3c5d90b64e2d-cgu.0"
check:6'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
3: target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128-Fn32"
check:6'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
4: target triple = "aarch64-unknown-linux-gnu"
check:6'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
5:
check:6'0 ~
6: ; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none) uwtable
check:6'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
7: define noundef nonnull ptr @f(ptr noundef nonnull readnone returned %x) unnamed_addr #0 {
check:6'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
check:6'1 ? possible intended match
8: start:
check:6'0 ~~~~~~~
9: ret ptr %x
check:6'0 ~~~~~~~~~~~~
10: }
check:6'0 ~~
11:
check:6'0 ~
12: ; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none) uwtable
check:6'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
13: define noundef nonnull ptr @g(ptr noundef nonnull readnone returned %x) unnamed_addr #0 {
check:6'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
14: start:
check:6'0 ~~~~~~~
15: ret ptr %x
check:6'0 ~~~~~~~~~~~~
16: }
check:6'0 ~~
17:
check:6'0 ~
18: ; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none) uwtable
check:6'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
19: define noundef nonnull ptr @h(ptr noundef nonnull readnone returned %x) unnamed_addr #0 {
check:6'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
20: start:
check:6'0 ~~~~~~~
21: ret ptr %x
check:6'0 ~~~~~~~~~~~~
22: }
check:6'0 ~~
23:
check:6'0 ~
24: attributes #0 = { mustprogress nofree norecurse nosync nounwind willreturn memory(none) uwtable "frame-pointer"="non-leaf" "probe-stack"="inline-asm" "target-cpu"="generic" "target-features"="+v8a,+outline-atomics" }
check:6'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
25:
check:6'0 ~
26: !llvm.module.flags = !{!0}
check:6'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~
27: !llvm.ident = !{!1}
check:6'0 ~~~~~~~~~~~~~~~~~~~~
28:
check:6'0 ~
29: !0 = !{i32 8, !"PIC Level", i32 2}
check:6'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
30: !1 = !{!"rustc version 1.94.0-nightly (e68ce10dd 2025-12-14)"}
check:6'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
>>>>>>
------------------------------------------
error: verification with 'FileCheck' failed
status: exit status: 1
command: "/usr/lib/llvm-20/bin/FileCheck" "--input-file" "/checkout/obj/build/aarch64-unknown-linux-gnu/test/codegen-llvm/manually_drop_refs/manually_drop_refs.ll" "/checkout/tests/codegen-llvm/manually_drop_refs.rs" "--check-prefix=CHECK" "--allow-unused-prefixes" "--dump-input-context" "100"
stdout: none
--- stderr -------------------------------
/checkout/tests/codegen-llvm/manually_drop_refs.rs:6:11: error: CHECK: expected string not found in input
// CHECK: define noundef nonnull ptr @f(ptr noundef nonnull readnone returned {{(captures\(ret: address, provenance\))?}} %x) unnamed_addr
^
/checkout/obj/build/aarch64-unknown-linux-gnu/test/codegen-llvm/manually_drop_refs/manually_drop_refs.ll:1:1: note: scanning from here
; ModuleID = 'manually_drop_refs.f6bd3c5d90b64e2d-cgu.0'
^
/checkout/obj/build/aarch64-unknown-linux-gnu/test/codegen-llvm/manually_drop_refs/manually_drop_refs.ll:7:1: note: possible intended match here
define noundef nonnull ptr @f(ptr noundef nonnull readnone returned %x) unnamed_addr #0 {
^
Input file: /checkout/obj/build/aarch64-unknown-linux-gnu/test/codegen-llvm/manually_drop_refs/manually_drop_refs.ll
Check file: /checkout/tests/codegen-llvm/manually_drop_refs.rs
-dump-input=help explains the following input dump.
Input was:
<<<<<<
1: ; ModuleID = 'manually_drop_refs.f6bd3c5d90b64e2d-cgu.0'
check:6'0 X~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ error: no match found
2: source_filename = "manually_drop_refs.f6bd3c5d90b64e2d-cgu.0"
check:6'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
3: target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128-Fn32"
check:6'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
4: target triple = "aarch64-unknown-linux-gnu"
check:6'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
5:
check:6'0 ~
6: ; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none) uwtable
check:6'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
7: define noundef nonnull ptr @f(ptr noundef nonnull readnone returned %x) unnamed_addr #0 {
check:6'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
check:6'1 ? possible intended match
8: start:
check:6'0 ~~~~~~~
9: ret ptr %x
check:6'0 ~~~~~~~~~~~~
10: }
check:6'0 ~~
11:
check:6'0 ~
12: ; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none) uwtable
check:6'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
13: define noundef nonnull ptr @g(ptr noundef nonnull readnone returned %x) unnamed_addr #0 {
check:6'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
14: start:
check:6'0 ~~~~~~~
15: ret ptr %x
check:6'0 ~~~~~~~~~~~~
16: }
check:6'0 ~~
17:
check:6'0 ~
18: ; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none) uwtable
check:6'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
19: define noundef nonnull ptr @h(ptr noundef nonnull readnone returned %x) unnamed_addr #0 {
check:6'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
20: start:
check:6'0 ~~~~~~~
21: ret ptr %x
check:6'0 ~~~~~~~~~~~~
22: }
check:6'0 ~~
23:
check:6'0 ~
24: attributes #0 = { mustprogress nofree norecurse nosync nounwind willreturn memory(none) uwtable "frame-pointer"="non-leaf" "probe-stack"="inline-asm" "target-cpu"="generic" "target-features"="+v8a,+outline-atomics" }
check:6'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
25:
check:6'0 ~
26: !llvm.module.flags = !{!0}
check:6'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~
27: !llvm.ident = !{!1}
check:6'0 ~~~~~~~~~~~~~~~~~~~~
28:
check:6'0 ~
29: !0 = !{i32 8, !"PIC Level", i32 2}
check:6'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
30: !1 = !{!"rustc version 1.94.0-nightly (e68ce10dd 2025-12-14)"}
check:6'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
>>>>>>
------------------------------------------
---- [codegen] tests/codegen-llvm/manually_drop_refs.rs stdout end ----