Search results

<code>match</code> on uninhabited type does not trigger UB in Miri

A-MIRArea: Mid-level IR (MIR) - https://blog.rust-lang.org/2016/04/19/MIR.htmlArea: Mid-level IR (MIR) - https://blog.rust-lang.org/2016/04/19/MIR.html

A-miriArea: The miri toolArea: The miri tool

A-patternsRelating to patterns and pattern matchingRelating to patterns and pattern matching

C-bugCategory: This is a bug.Category: This is a bug.

T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.

Status: Open.

#142394 In rust-lang/rust;

· theemathas opened on Jun 12, 2025

Can we get rid of the <code>lib.miri.rs</code> hack now?

A-miriArea: The miri toolArea: The miri tool

C-cleanupCategory: PRs that clean code up or issues documenting cleanup.Category: PRs that clean code up or issues documenting cleanup.

T-bootstrapRelevant to the bootstrap subteam: Rust's build system (x.py and src/bootstrap)Relevant to the bootstrap subteam: Rust's build system (x.py and src/bootstrap)

Status: Open.

#137479 In rust-lang/rust;

· RalfJung opened on Feb 23, 2025

<code>miri</code> is incorrectly built with jemalloc on some targets

A-miriArea: The miri toolArea: The miri tool

C-bugCategory: This is a bug.Category: This is a bug.

O-AArch64Armv8-A or later processors in AArch64 modeArmv8-A or later processors in AArch64 mode

T-bootstrapRelevant to the bootstrap subteam: Rust's build system (x.py and src/bootstrap)Relevant to the bootstrap subteam: Rust's build system (x.py and src/bootstrap)

Status: Open.

#133748 In rust-lang/rust;

· pitust opened on Dec 2, 2024

<code>clippy-driver +stage1</code> doesn't work: <code>error while loading shared libraries: librustc_driver-2731d3486cc92946.so</code>

A-clippyArea: ClippyArea: Clippy

A-miriArea: The miri toolArea: The miri tool

C-bugCategory: This is a bug.Category: This is a bug.

T-bootstrapRelevant to the bootstrap subteam: Rust's build system (x.py and src/bootstrap)Relevant to the bootstrap subteam: Rust's build system (x.py and src/bootstrap)

Status: Open.

#113109 In rust-lang/rust;

· ComputerDruid opened on Jun 27, 2023

Run Miri on tests (ui? stdlib? vote now on your phones)

A-miriArea: The miri toolArea: The miri tool

A-testsuiteArea: The testsuite used to check the correctness of rustcArea: The testsuite used to check the correctness of rustc

T-bootstrapRelevant to the bootstrap subteam: Rust's build system (x.py and src/bootstrap)Relevant to the bootstrap subteam: Rust's build system (x.py and src/bootstrap)

T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.

Status: Open.

#107974 In rust-lang/rust;

· saethlin opened on Feb 13, 2023

box syntax creates Box&lt;T&gt; where T is not yet initialized

A-boxArea: Our favorite opsem complicationArea: Our favorite opsem complication

A-MIRArea: Mid-level IR (MIR) - https://blog.rust-lang.org/2016/04/19/MIR.htmlArea: Mid-level IR (MIR) - https://blog.rust-lang.org/2016/04/19/MIR.html

A-miriArea: The miri toolArea: The miri tool

C-bugCategory: This is a bug.Category: This is a bug.

Status: Open.

#97270 In rust-lang/rust;

· matthiaskrgr opened on May 22, 2022

FakeRead is semantically meaningful to miri (but gets optimized away)

A-mir-optArea: MIR optimizationsArea: MIR optimizations

A-miriArea: The miri toolArea: The miri tool

C-bugCategory: This is a bug.Category: This is a bug.

T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.

T-opsemRelevant to the opsem teamRelevant to the opsem team

Status: Open.

#97092 In rust-lang/rust;

· nikomatsakis opened on May 16, 2022

Miri engine logging: strange log tail after interpreter failure

A-miriArea: The miri toolArea: The miri tool

Status: Open.

#78436 In rust-lang/rust;

· RalfJung opened on Oct 27, 2020

Semantics of MIR function calls

A-MIRArea: Mid-level IR (MIR) - https://blog.rust-lang.org/2016/04/19/MIR.htmlArea: Mid-level IR (MIR) - https://blog.rust-lang.org/2016/04/19/MIR.html

A-miriArea: The miri toolArea: The miri tool

T-langRelevant to the language teamRelevant to the language team

Status: Open.

#71117 In rust-lang/rust;

· RalfJung opened on Apr 14, 2020

Semantics of MIR assignments, around aliasing, ordering, and primitives.

A-MIRArea: Mid-level IR (MIR) - https://blog.rust-lang.org/2016/04/19/MIR.htmlArea: Mid-level IR (MIR) - https://blog.rust-lang.org/2016/04/19/MIR.html

A-miriArea: The miri toolArea: The miri tool

T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.

T-langRelevant to the language teamRelevant to the language team

Status: Open.

#68364 In rust-lang/rust;

· eddyb opened on Jan 19, 2020

rpath is incorrect when crate links against compiler libraries

A-miriArea: The miri toolArea: The miri tool

C-bugCategory: This is a bug.Category: This is a bug.

T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.

Status: Open.

#58343 In rust-lang/rust;

· RalfJung opened on Feb 10, 2019

miri interpretation of large array initialization is slow

A-const-evalArea: Constant evaluation, covers all const contexts (static, const fn, ...)Area: Constant evaluation, covers all const contexts (static, const fn, ...)

A-MIRArea: Mid-level IR (MIR) - https://blog.rust-lang.org/2016/04/19/MIR.htmlArea: Mid-level IR (MIR) - https://blog.rust-lang.org/2016/04/19/MIR.html

A-mir-optArea: MIR optimizationsArea: MIR optimizations

A-miriArea: The miri toolArea: The miri tool

C-enhancementCategory: An issue proposing an enhancement or a PR with one.Category: An issue proposing an enhancement or a PR with one.

C-optimizationCategory: An issue highlighting optimization opportunities or PRs implementing suchCategory: An issue highlighting optimization opportunities or PRs implementing such

I-compiletimeIssue: Problems and improvements with respect to compile times.Issue: Problems and improvements with respect to compile times.

I-slowIssue: Problems and improvements with respect to performance of generated code.Issue: Problems and improvements with respect to performance of generated code.

T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.

Status: Open.

#49199 In rust-lang/rust;

· oli-obk opened on Mar 20, 2018