Skip to content
New issue

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

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

Already on GitHub? # to your account

ICE when building regex-syntax with -Zvalidate-mir #116382

Closed
saethlin opened this issue Oct 3, 2023 · 1 comment · Fixed by #116415
Closed

ICE when building regex-syntax with -Zvalidate-mir #116382

saethlin opened this issue Oct 3, 2023 · 1 comment · Fixed by #116415
Labels
C-bug Category: This is a bug. I-ICE Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️ 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

@saethlin
Copy link
Member

saethlin commented Oct 3, 2023

Code

Build regex-syntax-0.7.5 (or any crate that uses regex, which is a lot) with -Zvalidate-mir.

Meta

rustc --version --verbose:

rustc 1.75.0-dev
binary: rustc
commit-hash: unknown
commit-date: unknown
host: x86_64-unknown-linux-gnu
release: 1.75.0-dev
LLVM version: 17.0.2

🤔 that seems wrong. This is a compiler built from eb0f3ed.

I think this ICE might not have hit nightly yet.

Error output

error: internal compiler error: compiler/rustc_const_eval/src/util/compare_types.rs:68:13: Map<core::slice::Iter<'static, (&'static str, &'static [(char, char)])>, {closure@src/unicode.rs:684:49: 684:64}>, Map<core::slice::Iter<'_, (&str, &[(char, char)])>, {closure@src/unicode.rs:684:49: 684:64}>

Backtrace doesn't fit in a GitHub issue.

rustc-ice-2023-10-03T13:28:20.766588558Z-162599.txt

@saethlin saethlin added 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. C-bug Category: This is a bug. labels Oct 3, 2023
@rustbot rustbot added the needs-triage This issue may need triage. Remove it if it has been sufficiently triaged. label Oct 3, 2023
@Noratrieb Noratrieb removed the needs-triage This issue may need triage. Remove it if it has been sufficiently triaged. label Oct 3, 2023
@Luk-ESC
Copy link
Contributor

Luk-ESC commented Oct 4, 2023

Minimized to:

fn ages() -> Option<impl Iterator> {
    None::<std::slice::Iter<()>>
}

fn main(){}

@saethlin saethlin added the S-has-mcve Status: A Minimal Complete and Verifiable Example has been found for this issue label Oct 4, 2023
@saethlin saethlin linked a pull request Oct 5, 2023 that will close this issue
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
C-bug Category: This is a bug. I-ICE Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️ 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
Development

Successfully merging a pull request may close this issue.

4 participants