mtsoltan
commented
1 year ago I'm not sure this is relevant (I hope it is), I tried cloning and building this specific commit on 1.71.0-nightly and got a different ICE:
cargo --version --verbose
cargo 1.71.0-nightly (569b648b5 2023-05-05)
release: 1.71.0-nightly
commit-hash: 569b648b5831ae8a515e90c80843a5287c3304ef
commit-date: 2023-05-05
host: x86_64-unknown-linux-gnu
libgit2: 1.6.3 (sys:0.17.0 vendored)
libcurl: 8.0.1-DEV (sys:0.4.61+curl-8.0.1 vendored ssl:OpenSSL/1.1.1t)
ssl: OpenSSL 1.1.1t 7 Feb 2023
os: Ubuntu 20.04 (focal) [64-bit]rustc --version --verbose
rustc 1.71.0-nightly (2f2c438dc 2023-05-08)
binary: rustc
commit-hash: 2f2c438dce75d8cc532c3baa849eeddc0901802c
commit-date: 2023-05-08
host: x86_64-unknown-linux-gnu
release: 1.71.0-nightly
LLVM version: 16.0.2RUST_BACKTRACE=full cargo buildCommand output with ICE
``` Compiling bootloader v0.11.0 warning: unused import: `println` --> kernel/src/hardware/harddisk.rs:11:29 | 11 | use crate::{serial_println, println, error::{Result, err}}; | ^^^^^^^ | = note: `#[warn(unused_imports)]` on by default warning: unused import: `println` --> kernel/src/process.rs:6:13 | 6 | use crate::{println, serial_println}; | ^^^^^^^ warning: unused imports: `BiosParameterBlock`, `Metadata` --> kernel/src/fs/fat.rs:3:15 | 3 | raw_fat::{BiosParameterBlock, Metadata, Name}, | ^^^^^^^^^^^^^^^^^^ ^^^^^^^^ warning: unused import: `Readable` --> kernel/src/fs/fat.rs:8:24 | 8 | hardware::{Device, Readable}, | ^^^^^^^^ warning: unused import: `boxed::Box` --> kernel/src/fs/fat.rs:11:13 | 11 | use alloc::{boxed::Box, vec::Vec}; | ^^^^^^^^^^ warning: unreachable statement --> kernel/src/process.rs:144:13 | 140 | / todo!( 141 | | "rax contains an int pointer, 142 | | and the kernel should dereferenced the value" 143 | | ); | |_____________- any code following this expression is unreachable 144 | saved_registers.rdi = self.curr_pid.0 as u64; | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unreachable statement | = note: `#[warn(unreachable_code)]` on by default warning: unused variable: `regs` --> kernel/src/process.rs:125:24 | 125 | fn exit(&mut self, regs: &mut Registers, ret_code: u64) { | ^^^^ help: if this is intentional, prefix it with an underscore: `_regs` | = note: `#[warn(unused_variables)]` on by default warning: variable does not need to be mutable --> kernel/src/process.rs:138:17 | 138 | let mut saved_registers = &mut parent_proc.saved_registers; | ----^^^^^^^^^^^^^^^ | | | help: remove this `mut` | = note: `#[warn(unused_mut)]` on by default warning: unused variable: `regs` --> kernel/src/process.rs:153:24 | 153 | fn kill(&mut self, regs: &mut Registers, pid: isize, signal_name: isize) { | ^^^^ help: if this is intentional, prefix it with an underscore: `_regs` warning: unused variable: `pid` --> kernel/src/process.rs:153:46 | 153 | fn kill(&mut self, regs: &mut Registers, pid: isize, signal_name: isize) { | ^^^ help: if this is intentional, prefix it with an underscore: `_pid` warning: unused variable: `signal_name` --> kernel/src/process.rs:153:58 | 153 | fn kill(&mut self, regs: &mut Registers, pid: isize, signal_name: isize) { | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_signal_name` warning: field `channels` is never read --> kernel/src/process.rs:54:5 | 50 | pub struct KernelState { | ----------- field in this struct ... 54 | channels: VecSame error is exhibited even with --release.
Code
The code can be found at https://git.eleves.ens.fr/jcaspar/nicos/-/tree/filesystem, at commit
7d450c48843ca9978f2ea60a77bec88211381677, however I couldn't reproduce after removing thetargetdirectory, so I guess this is related to incremental compilation and not to the code itself.I have kept the
targetdirectory as an archive, but it's quite heavy (~100M) so I didn't upload it on the git repo. If you are interested in that archive, tell me and I'll find a way to upload it somewhere else and give you a link.Also note that, even with the right
targetdirectory, I could only trigger this bug with a normal build, not with a release build.Meta
rustc --version --verbose:Error output
Backtrace
```thread 'rustc' panicked at 'attempted to read from stolen value: rustc_middle::mir::Body', compiler/rustc_mir_transform/src/check_unsafety.rs:501:36 stack backtrace: 0: rust_begin_unwind at /rustc/d6f99e535a301a421dfee52a7c25bb4bdf420344/library/std/src/panicking.rs:575:5 1: core::panicking::panic_fmt at /rustc/d6f99e535a301a421dfee52a7c25bb4bdf420344/library/core/src/panicking.rs:64:14 2: rustc_mir_transform::check_unsafety::unsafety_check_result 3:>::call_once
4: ::with_deps::::{closure#1}, &rustc_middle::mir::query::UnsafetyCheckResult>
5: rustc_query_system::query::plumbing::try_load_from_disk_and_cache_in_memory::
6: rustc_query_system::query::plumbing::try_execute_query::
7: ::unsafety_check_result
8: rustc_mir_transform::check_unsafety::check_unsafety
9: ::time::<(), rustc_interface::passes::analysis::{closure#3}>
10: rustc_interface::passes::analysis
11: >::with_task::>
12: rustc_query_system::query::plumbing::try_execute_query::
13: ::analysis
14: ::enter::>
15: rustc_span::with_source_map::, rustc_interface::interface::run_compiler, rustc_driver::run_compiler::{closure#1}>::{closure#0}::{closure#0}>
16: >::set::, rustc_driver::run_compiler::{closure#1}>::{closure#0}, core::result::Result<(), rustc_errors::ErrorGuaranteed>>
note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace.
```