Rust-GCC / Rust-GCC/gccrs

ICE in visit, at rust/typecheck/rust-hir-type-check-enumitem.cc:98

Open
#3,584 0 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

bug
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

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. 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

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.