Skip to content

debug assertion failure: self.reachable_blocks.contains(block) -Zvalidate-mir #96765

Closed as not planned
@matthiaskrgr

Description

@matthiaskrgr

Code

You need a rustc build with debug assertions enabled.

rustc ./96172.rs -Zvalidate-mir

#![feature(rustc_attrs)]
#[rustc_mir(borrowck_graphviz_postflow="hello.dot")]
fn main() {}

Meta

rustc --version --verbose:

rustc 1.62.0-nightly (30f386087 2022-05-05)
binary: rustc
commit-hash: 30f386087564243ab88a93c984c265290a31580b
commit-date: 2022-05-05
host: x86_64-unknown-linux-gnu
release: 1.62.0-nightly
LLVM version: 14.0.1

Error output

<output>

Metadata

Metadata

Assignees

No one assigned

    Labels

    C-bugCategory: This is a bug.F-rustc_attrsInternal rustc attributes gated on the `#[rustc_attrs]` feature gate.I-ICEIssue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.requires-debug-assertionsThis issue requires a build of rustc or tooling with debug-assertions in some wayrequires-internal-featuresThis issue requires the use of internal features.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions