Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

ICE: internal compiler error[E0391]: cycle detected when computing function signature of impl #132430

Open
matthiaskrgr opened this issue Oct 31, 2024 · 2 comments
Open

ICE: internal compiler error[E0391]: cycle detected when computing function signature of impl #132430

matthiaskrgr opened this issue Oct 31, 2024 · 2 comments
Labels
A-ABI Area: Concerning the application binary interface (ABI) A-diagnostics Area: Messages for errors, warnings, and lints C-bug Category: This is a bug. F-cmse_nonsecure_entry `#![feature(cmse_nonsecure_entry)]` I-cycle Issue: A query cycle occurred while none was expected I-ICE Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️ S-bug-has-test Status: This bug is tracked inside the repo by a `known-bug` test. S-has-mcve Status: A Minimal Complete and Verifiable Example has been found for this issue T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.

Comments

@matthiaskrgr
Copy link
Member

auto-reduced (treereduce-rust):

//@compile-flags: --edition=2018 --crate-type=lib
#![feature(cmse_nonsecure_entry)]
struct Test;

impl Test {
    pub async unsafe extern "C-cmse-nonsecure-entry" fn test(val: &str) {}
}

original:

struct Test;

impl Test {
    pub async unsafe extern "C-cmse-nonsecure-entry" fn test(val: &str) {

    }
}

Version information

rustc 1.84.0-nightly (a0d98ff0e 2024-10-31)
binary: rustc
commit-hash: a0d98ff0e5b6e1f2c63fd26f68484792621b235c
commit-date: 2024-10-31
host: x86_64-unknown-linux-gnu
release: 1.84.0-nightly
LLVM version: 19.1.1

Command:
/home/matthias/.rustup/toolchains/master/bin/rustc -Zcrate-attr=feature(cmse_nonsecure_entry) --edition=2018 --crate-type=lib

Program output 

warning: struct `Test` is never constructed
 --> /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:1:8
  |
1 | struct Test;
  |        ^^^^
  |
  = note: `#[warn(dead_code)]` on by default

warning: associated function `test` is never used
 --> /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:4:57
  |
3 | impl Test {
  | --------- associated function in this implementation
4 |     pub async unsafe extern "C-cmse-nonsecure-entry" fn test(val: &str) {}
  |                                                         ^^^^

warning: `extern` fn uses type `str`, which is not FFI-safe
 --> /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:4:67
  |
4 |     pub async unsafe extern "C-cmse-nonsecure-entry" fn test(val: &str) {}
  |                                                                   ^^^^ not FFI-safe
  |
  = help: consider using `*const u8` and a length instead
  = note: string slices have no C equivalent
  = note: `#[warn(improper_ctypes_definitions)]` on by default

warning: `extern` fn uses type `impl Future<Output = ()>`, which is not FFI-safe
 --> /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:4:5
  |
4 |     pub async unsafe extern "C-cmse-nonsecure-entry" fn test(val: &str) {}
  |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ not FFI-safe
  |
  = note: opaque types have no C equivalent

warning: 4 warnings emitted

note: no errors encountered even though delayed bugs were created

note: those delayed bugs will now be shown as internal compiler errors

error: internal compiler error[E0391]: cycle detected when computing function signature of `<impl at /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:3:1: 3:10>::test`
 --> /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:4:5
  |
4 |     pub async unsafe extern "C-cmse-nonsecure-entry" fn test(val: &str) {}
  |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  |
  = note: ...which requires computing layout of `<impl at /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:3:1: 3:10>::test::{opaque#0}`...
  = note: ...which requires normalizing `<impl at /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:3:1: 3:10>::test::{opaque#0}`...
note: ...which requires computing type of `<impl at /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:3:1: 3:10>::test::{opaque#0}`...
 --> /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:4:5
  |
4 |     pub async unsafe extern "C-cmse-nonsecure-entry" fn test(val: &str) {}
  |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
note: ...which requires computing type of opaque `<impl at /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:3:1: 3:10>::test::{opaque#0}`...
 --> /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:4:5
  |
4 |     pub async unsafe extern "C-cmse-nonsecure-entry" fn test(val: &str) {}
  |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
note: ...which requires type-checking `<impl at /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:3:1: 3:10>::test`...
 --> /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:4:5
  |
4 |     pub async unsafe extern "C-cmse-nonsecure-entry" fn test(val: &str) {}
  |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
note: ...which requires computing the opaque types defined by `<impl at /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:3:1: 3:10>::test`...
 --> /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:4:5
  |
4 |     pub async unsafe extern "C-cmse-nonsecure-entry" fn test(val: &str) {}
  |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  = note: ...which again requires computing function signature of `<impl at /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:3:1: 3:10>::test`, completing the cycle
note: cycle used when checking that `<impl at /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:3:1: 3:10>::test` is well-formed
 --> /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:4:5
  |
4 |     pub async unsafe extern "C-cmse-nonsecure-entry" fn test(val: &str) {}
  |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  = note: see https://rustc-dev-guide.rust-lang.org/overview.html#queries and https://rustc-dev-guide.rust-lang.org/query.html for more information
note: delayed at compiler/rustc_query_system/src/query/job.rs:596:16 - disabled backtrace
 --> /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:4:5
  |
4 |     pub async unsafe extern "C-cmse-nonsecure-entry" fn test(val: &str) {}
  |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

error: internal compiler error[E0391]: cycle detected when computing function signature of `<impl at /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:3:1: 3:10>::test`
 --> /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:4:5
  |
4 |     pub async unsafe extern "C-cmse-nonsecure-entry" fn test(val: &str) {}
  |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  |
  = note: ...which requires computing layout of `<impl at /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:3:1: 3:10>::test::{opaque#0}`...
  = note: ...which requires normalizing `<impl at /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:3:1: 3:10>::test::{opaque#0}`...
note: ...which requires computing type of `<impl at /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:3:1: 3:10>::test::{opaque#0}`...
 --> /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:4:5
  |
4 |     pub async unsafe extern "C-cmse-nonsecure-entry" fn test(val: &str) {}
  |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
note: ...which requires computing type of opaque `<impl at /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:3:1: 3:10>::test::{opaque#0}`...
 --> /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:4:5
  |
4 |     pub async unsafe extern "C-cmse-nonsecure-entry" fn test(val: &str) {}
  |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
note: ...which requires type-checking `<impl at /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:3:1: 3:10>::test`...
 --> /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:4:5
  |
4 |     pub async unsafe extern "C-cmse-nonsecure-entry" fn test(val: &str) {}
  |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  = note: ...which again requires computing function signature of `<impl at /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:3:1: 3:10>::test`, completing the cycle
note: cycle used when checking that `<impl at /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:3:1: 3:10>::test` is well-formed
 --> /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:4:5
  |
4 |     pub async unsafe extern "C-cmse-nonsecure-entry" fn test(val: &str) {}
  |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  = note: see https://rustc-dev-guide.rust-lang.org/overview.html#queries and https://rustc-dev-guide.rust-lang.org/query.html for more information
note: delayed at compiler/rustc_query_system/src/query/job.rs:596:16 - disabled backtrace
 --> /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:4:5
  |
4 |     pub async unsafe extern "C-cmse-nonsecure-entry" fn test(val: &str) {}
  |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

error: internal compiler error[E0391]: cycle detected when computing function signature of `<impl at /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:3:1: 3:10>::test`
 --> /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:4:5
  |
4 |     pub async unsafe extern "C-cmse-nonsecure-entry" fn test(val: &str) {}
  |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  |
  = note: ...which requires computing layout of `<impl at /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:3:1: 3:10>::test::{opaque#0}`...
  = note: ...which requires normalizing `<impl at /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:3:1: 3:10>::test::{opaque#0}`...
note: ...which requires computing type of `<impl at /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:3:1: 3:10>::test::{opaque#0}`...
 --> /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:4:5
  |
4 |     pub async unsafe extern "C-cmse-nonsecure-entry" fn test(val: &str) {}
  |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
note: ...which requires computing type of opaque `<impl at /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:3:1: 3:10>::test::{opaque#0}`...
 --> /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:4:5
  |
4 |     pub async unsafe extern "C-cmse-nonsecure-entry" fn test(val: &str) {}
  |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
note: ...which requires borrow-checking `<impl at /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:3:1: 3:10>::test`...
 --> /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:4:5
  |
4 |     pub async unsafe extern "C-cmse-nonsecure-entry" fn test(val: &str) {}
  |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
note: ...which requires promoting constants in MIR for `<impl at /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:3:1: 3:10>::test`...
 --> /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:4:5
  |
4 |     pub async unsafe extern "C-cmse-nonsecure-entry" fn test(val: &str) {}
  |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
note: ...which requires checking if `<impl at /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:3:1: 3:10>::test` contains FFI-unwind calls...
 --> /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:4:5
  |
4 |     pub async unsafe extern "C-cmse-nonsecure-entry" fn test(val: &str) {}
  |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
note: ...which requires building MIR for `<impl at /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:3:1: 3:10>::test`...
 --> /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:4:5
  |
4 |     pub async unsafe extern "C-cmse-nonsecure-entry" fn test(val: &str) {}
  |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  = note: ...which again requires computing function signature of `<impl at /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:3:1: 3:10>::test`, completing the cycle
note: cycle used when checking that `<impl at /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:3:1: 3:10>::test` is well-formed
 --> /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:4:5
  |
4 |     pub async unsafe extern "C-cmse-nonsecure-entry" fn test(val: &str) {}
  |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  = note: see https://rustc-dev-guide.rust-lang.org/overview.html#queries and https://rustc-dev-guide.rust-lang.org/query.html for more information
note: delayed at compiler/rustc_query_system/src/query/job.rs:596:16 - disabled backtrace
 --> /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:4:5
  |
4 |     pub async unsafe extern "C-cmse-nonsecure-entry" fn test(val: &str) {}
  |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

error: internal compiler error[E0391]: cycle detected when computing function signature of `<impl at /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:3:1: 3:10>::test`
 --> /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:4:5
  |
4 |     pub async unsafe extern "C-cmse-nonsecure-entry" fn test(val: &str) {}
  |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  |
  = note: ...which requires computing layout of `<impl at /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:3:1: 3:10>::test::{opaque#0}`...
  = note: ...which requires normalizing `<impl at /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:3:1: 3:10>::test::{opaque#0}`...
note: ...which requires computing type of `<impl at /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:3:1: 3:10>::test::{opaque#0}`...
 --> /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:4:5
  |
4 |     pub async unsafe extern "C-cmse-nonsecure-entry" fn test(val: &str) {}
  |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
note: ...which requires computing type of opaque `<impl at /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:3:1: 3:10>::test::{opaque#0}`...
 --> /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:4:5
  |
4 |     pub async unsafe extern "C-cmse-nonsecure-entry" fn test(val: &str) {}
  |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
note: ...which requires borrow-checking `<impl at /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:3:1: 3:10>::test`...
 --> /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:4:5
  |
4 |     pub async unsafe extern "C-cmse-nonsecure-entry" fn test(val: &str) {}
  |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
note: ...which requires promoting constants in MIR for `<impl at /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:3:1: 3:10>::test`...
 --> /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:4:5
  |
4 |     pub async unsafe extern "C-cmse-nonsecure-entry" fn test(val: &str) {}
  |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
note: ...which requires checking if `<impl at /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:3:1: 3:10>::test` contains FFI-unwind calls...
 --> /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:4:5
  |
4 |     pub async unsafe extern "C-cmse-nonsecure-entry" fn test(val: &str) {}
  |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  = note: ...which again requires computing function signature of `<impl at /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:3:1: 3:10>::test`, completing the cycle
note: cycle used when checking that `<impl at /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:3:1: 3:10>::test` is well-formed
 --> /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:4:5
  |
4 |     pub async unsafe extern "C-cmse-nonsecure-entry" fn test(val: &str) {}
  |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  = note: see https://rustc-dev-guide.rust-lang.org/overview.html#queries and https://rustc-dev-guide.rust-lang.org/query.html for more information
note: delayed at compiler/rustc_query_system/src/query/job.rs:596:16 - disabled backtrace
 --> /tmp/icemaker_global_tempdir.q2k4BBLCKuN9/rustc_testrunner_tmpdir_reporting.5aASWsrfzxJL/mvce.rs:4:5
  |
4 |     pub async unsafe extern "C-cmse-nonsecure-entry" fn test(val: &str) {}
  |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

note: we would appreciate a bug report: https://github.com/rust-lang/rust/issues/new?labels=C-bug%2C+I-ICE%2C+T-compiler&template=ice.md

note: please make sure that you have updated to the latest nightly

note: rustc 1.84.0-nightly (a0d98ff0e 2024-10-31) running on x86_64-unknown-linux-gnu

note: compiler flags: -Z crate-attr=feature(cmse_nonsecure_entry) --crate-type lib -Z dump-mir-dir=dir

query stack during panic:
end of query stack

@rustbot label +F-cmse_nonsecure_entry
@matthiaskrgr matthiaskrgr added C-bug Category: This is a bug. I-ICE Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️ T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. labels Oct 31, 2024
@rustbot rustbot added needs-triage This issue may need triage. Remove it if it has been sufficiently triaged. F-cmse_nonsecure_entry `#![feature(cmse_nonsecure_entry)]` labels Oct 31, 2024
@matthiaskrgr
Copy link
Member Author

#130747

@matthiaskrgr matthiaskrgr added the S-bug-has-test Status: This bug is tracked inside the repo by a `known-bug` test. label Nov 7, 2024
@jieyouxu jieyouxu added S-has-mcve Status: A Minimal Complete and Verifiable Example has been found for this issue A-diagnostics Area: Messages for errors, warnings, and lints I-cycle Issue: A query cycle occurred while none was expected A-ABI Area: Concerning the application binary interface (ABI) and removed needs-triage This issue may need triage. Remove it if it has been sufficiently triaged. labels Nov 11, 2024
@jieyouxu
Copy link
Member

jieyouxu commented Nov 11, 2024 •
edited
Loading

cc @folkertdev in case you want to look into it

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
A-ABI Area: Concerning the application binary interface (ABI) A-diagnostics Area: Messages for errors, warnings, and lints C-bug Category: This is a bug. F-cmse_nonsecure_entry `#![feature(cmse_nonsecure_entry)]` I-cycle Issue: A query cycle occurred while none was expected I-ICE Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️ S-bug-has-test Status: This bug is tracked inside the repo by a `known-bug` test. S-has-mcve Status: A Minimal Complete and Verifiable Example has been found for this issue T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@matthiaskrgr @jieyouxu @rustbot