Search results

Log more info about reborrows which cause writes to become invalid under TB

A-aliasingArea: This affects the aliasing model (Stacked/Tree Borrows)Area: This affects the aliasing model (Stacked/Tree Borrows)

A-diagnosticserrors and warnings emitted by mirierrors and warnings emitted by miri

C-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancement

Status: Open.

#4386 In rust-lang/miri;

· apodolsk opened on Jun 8, 2025

Backtraces stop at thread boundaries

A-diagnosticserrors and warnings emitted by mirierrors and warnings emitted by miri

C-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancement

E-good-first-issueA good way to start contributing, mentoring is availableA good way to start contributing, mentoring is available

Status: Open.

#4066 In rust-lang/miri;

· oli-obk opened on Nov 29, 2024

Clearer error message for unsupported flags: print names of flags (if possible)

A-diagnosticserrors and warnings emitted by mirierrors and warnings emitted by miri

C-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancement

Status: Open.

#3642 In rust-lang/miri;

· tiif opened on May 28, 2024

Start/stop verbose tracing dynamically

A-diagnosticserrors and warnings emitted by mirierrors and warnings emitted by miri

C-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancement

Status: Open.

#3353 In rust-lang/miri;

· RalfJung opened on Mar 4, 2024

Make it possible to hide certain functions in MIRI_LOG output

A-diagnosticserrors and warnings emitted by mirierrors and warnings emitted by miri

C-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancement

Status: Open.

#3349 In rust-lang/miri;

· RalfJung opened on Mar 3, 2024

Tree Borrows pointer tag tracing does not show when a tag gets disabled

A-aliasingArea: This affects the aliasing model (Stacked/Tree Borrows)Area: This affects the aliasing model (Stacked/Tree Borrows)

A-diagnosticserrors and warnings emitted by mirierrors and warnings emitted by miri

C-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancement

Status: Open.

#3342 In rust-lang/miri;

· RalfJung opened on Mar 2, 2024

Stacked Borrows "is this argument" diagnostics go wrong for protected in-place function arguments

A-aliasingArea: This affects the aliasing model (Stacked/Tree Borrows)Area: This affects the aliasing model (Stacked/Tree Borrows)

A-diagnosticserrors and warnings emitted by mirierrors and warnings emitted by miri

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

Status: Open.

#3051 In rust-lang/miri;

· RalfJung opened on Sep 5, 2023

Bad diagnostic when pointer used for deallocation has insufficient Stacked Borrows provenance

A-aliasingArea: This affects the aliasing model (Stacked/Tree Borrows)Area: This affects the aliasing model (Stacked/Tree Borrows)

A-diagnosticserrors and warnings emitted by mirierrors and warnings emitted by miri

C-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancement

Status: Open.

#2781 In rust-lang/miri;

· rrichardson opened on Feb 8, 2023

Make it easier to debug weak memory emulation induced bugs

A-diagnosticserrors and warnings emitted by mirierrors and warnings emitted by miri

A-weak-memoryArea: emulation of weak memory effects (store buffers)Area: emulation of weak memory effects (store buffers)

C-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancement

Status: Open.

#2313 In rust-lang/miri;

· RalfJung opened on Jul 2, 2022

Reduce redundancy in our error messages

A-diagnosticserrors and warnings emitted by mirierrors and warnings emitted by miri

C-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancement

Status: Open.

#2200 In rust-lang/miri;

· RalfJung opened on Jun 6, 2022

Miri diagnostics: Show location of creation/invalidation in own code

A-aliasingArea: This affects the aliasing model (Stacked/Tree Borrows)Area: This affects the aliasing model (Stacked/Tree Borrows)

A-diagnosticserrors and warnings emitted by mirierrors and warnings emitted by miri

C-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancement

Status: Open.

#2185 In rust-lang/miri;

· Noratrieb opened on Jun 3, 2022

Documentation for reading Miri's output

A-diagnosticserrors and warnings emitted by mirierrors and warnings emitted by miri

A-docsArea: affects documentationArea: affects documentation

C-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancement

Status: Open.

#2066 In rust-lang/miri;

· nicholasbishop opened on Apr 16, 2022