Skip to content

Wrong demangling under miri #307

@karolzwolak

Description

@karolzwolak

The demangling is wrong when run under miri. This might be a bug in miri.

A lot of demangling tests fail when run under miri.
To reproduce:

  • install miri rustup +nightly component add miri (see using miri)
  • run some tests under miri: cargo +nightly miri test --no-fail-fast demangle (filtering tests because they are slow under miri)

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions