ICE in is_refutable, at rust/hir/tree/rust-hir-patte... | Rust-GCC/gccrs

Nobody has claimed this yet.

auto-reduced (treereduce-rust):

//@compile-flags: -frust-incomplete-and-experimental-compiler-do-not-use -frust-crate-attr=no_core
enum Foo<'a> {
    Bar { field: &u64 },
}

fn in_let() {
    let y = 22;
    let foo = Foo::Bar { field: &y };

    let Foo::Bar::<'static> { field: _z } = foo;
}

original:

enum Foo<'a> {
    Bar { field: &u64 }
}

fn in_let() {
    let y = 22;
    let foo = Foo::Bar { field: &y };
    //~^ ERROR `y` does not live long enough
    let Foo::Bar::<'static> { field: _z } = foo;
}

fn in_match() {
    let y = 22;
    let foo = Foo::Bar { field: &y };
    //~^ ERROR `y` does not live long enough
    match foo {
        Foo::Bar::<'static> { field: _z } => {
        }
    }
}

fn main() { }

Version information:

c539964b8cc842e871d77b45150df6a5882335fb

Command:
/home/matthias/vcs/github/gccrs/gccrs-build/gcc/crab1 -frust-incomplete-and-experimental-compiler-do-not-use -frust-crate-attr=no_core -frust-crate-attr=feature(no_core)

Program output

crab1: internal compiler error: in is_refutable, at rust/hir/tree/rust-hir-pattern-abstract.cc:287
0x32edd17 internal_error(char const*, ...)
	../../gcc/diagnostic-global-context.cc:787
0xc847b9 fancy_abort(char const*, int, char const*)
	../../gcc/diagnostics/context.cc:1813
0x927fe6 Rust::HIR::StructPattern::is_refutable(Rust::TyTy::BaseType const&) const
	../../gcc/rust/hir/tree/rust-hir-pattern-abstract.cc:287
0x1199a59 Rust::Analysis::PatternChecker::visit(Rust::HIR::LetStmt&)
	../../gcc/rust/checks/errors/rust-hir-pattern-analysis.cc:702
0x1199593 Rust::Analysis::PatternChecker::visit(Rust::HIR::BlockExpr&)
	../../gcc/rust/checks/errors/rust-hir-pattern-analysis.cc:281
0x119a4e3 Rust::Analysis::PatternChecker::go(Rust::HIR::Crate&)
	../../gcc/rust/checks/errors/rust-hir-pattern-analysis.cc:46
0xecc43b Rust::Session::compile_crate(char const*)
	../../gcc/rust/rust-session-manager.cc:815
/home/matthias/vcs/github/gccrs/gccrs-build/gcc/crab1 /tmp/icemaker_global_tempdir.Kh0eHSMMkvzv/rustc_testrunner_tmpdir_reporting.iJly6HyW3yNc/mvce.rs -o/tmp/icemaker_global_tempdir.Kh0eHSMMkvzv/rustc_testrunner_tmpdir_reporting.iJly6HyW3yNc/binaryname -frust-incomplete-and-experimental-compiler-do-not-use -frust-crate-attr=no_core -frust-crate-attr=feature(no_core)
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.

Reproduce the reduced Rust case with the provided crab1 command, then inspect StructPattern::is_refutable in gcc/rust/hir/tree/rust-hir-pattern-abstract.cc around line 287 and its caller in rust-hir-pattern-analysis.cc. Done means the case no longer triggers an internal compiler error and instead handles the shown pattern and lifetime diagnostic normally.

Written by the indexing model from the issue text.

ICE in is_refutable, at rust/hir/tree/rust-hir-pattern-abstract.cc:287

Description

Contributor guide

First steps

Research direction

Assessment