ICE in visit, at rust/typecheck/rust-hir-type-check-enumitem.cc:98
Nobody has claimed this yet.
- Dominant language
- C++
- Stars
- 2.9k
- Forks
- 231
- Avg merge
- 19h 55m
- Merged PRs (30d)
- 67
Description
auto-reduced (treereduce-rust):
enum E {
A = {
enum E {
B,
}
0
},
}
original:
// check-pass
enum E {
A = {
enum E { B }
0
}
}
fn main() {}
Version information:
34b0a681598d52de442a0a21c3a7df20bf1485bc
Possibly related line of code:
https://github.com/Rust-GCC/gccrs/blob/34b0a681598d52de442a0a21c3a7df20bf1485bc/gcc/rust/typecheck/rust-hir-type-check-enumitem.cc#L92-L104
Command:
crab1 -Warray-bounds -mtune=generic -march=x86-64 -O0 -L/lib/x86_64-linux-gnu -L/lib/../lib64 -L/usr/lib/x86_64-linux-gnu -L/usr/lib/../lib64 -frust-incomplete-and-experimental-compiler-do-not-use
Program output
crab1: internal compiler error: in visit, at rust/typecheck/rust-hir-type-check-enumitem.cc:98
0x86b4c9 Rust::Resolver::TypeCheckEnumItem::visit(Rust::HIR::EnumItem&)
../../gcc/rust/typecheck/rust-hir-type-check-enumitem.cc:98
0xf2fbba Rust::Resolver::TypeCheckEnumItem::Resolve(Rust::HIR::EnumItem&, long)
../../gcc/rust/typecheck/rust-hir-type-check-enumitem.cc:39
0xef2a61 Rust::Resolver::TypeCheckItem::visit(Rust::HIR::Enum&)
../../gcc/rust/typecheck/rust-hir-type-check-item.cc:352
0xeed5f7 Rust::Resolver::TypeCheckItem::Resolve(Rust::HIR::Item&)
../../gcc/rust/typecheck/rust-hir-type-check-item.cc:59
0xf2935b ???
../../gcc/rust/typecheck/rust-hir-type-check-stmt.h:39
0xf29915 Rust::Resolver::TypeCheckStmt::Resolve(Rust::HIR::Stmt&)
../../gcc/rust/typecheck/rust-hir-type-check-stmt.cc:34
0xf1b454 Rust::Resolver::TypeCheckExpr::visit(Rust::HIR::BlockExpr&)
../../gcc/rust/typecheck/rust-hir-type-check-expr.cc:594
0xf19cb8 Rust::Resolver::TypeCheckExpr::Resolve(Rust::HIR::Expr&)
../../gcc/rust/typecheck/rust-hir-type-check-expr.cc:47
0xf2bf09 Rust::Resolver::TypeCheckEnumItem::visit(Rust::HIR::EnumItemDiscriminant&)
../../gcc/rust/typecheck/rust-hir-type-check-enumitem.cc:114
0xf2fb8f Rust::Resolver::TypeCheckEnumItem::Resolve(Rust::HIR::EnumItem&, long)
../../gcc/rust/typecheck/rust-hir-type-check-enumitem.cc:51
0xef2a61 Rust::Resolver::TypeCheckItem::visit(Rust::HIR::Enum&)
../../gcc/rust/typecheck/rust-hir-type-check-item.cc:352
0xeed5f7 Rust::Resolver::TypeCheckItem::Resolve(Rust::HIR::Item&)
../../gcc/rust/typecheck/rust-hir-type-check-item.cc:59
0xe84f0b Rust::Resolver::TypeResolution::Resolve(Rust::HIR::Crate&)
../../gcc/rust/typecheck/rust-hir-type-check.cc:75
0xc5c313 Rust::Session::compile_crate(char const*)
../../gcc/rust/rust-session-manager.cc:685
Please submit a full bug report, with preprocessed source (by using -freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start with the reduced Rust reproducer in the issue and reproduce the ICE using the provided command. Inspect rust/typecheck/rust-hir-type-check-enumitem.cc around line 98 and the related enum-item stack frames, then verify that the example remains check-pass without an internal compiler error.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- cpp, rust
- Domain
- compilers
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 38/100