Skip to content

Issues: rust-lang/miri

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clear current search query, filters, and sorts
0 Open 756 Closed
0 Open 756 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Plan for external communication / isolation A-shims Area: This affects the external function shims C-project Category: a larger project is being tracked here, usually with checkmarks for individual steps
#800 by RalfJung was closed Dec 31, 2019
4 of 5 tasks
23 🚀 1
There's no mir in My Mir
#4 by Evil-Bot-Craython was closed Apr 14, 2016
2
slice indexing broken
#8 by oli-obk was closed May 9, 2016
2
handle small optimized Option values C-bug Category: This is a bug.
#76 by oli-obk was closed Nov 17, 2016
triggering assume in a small example that rustc compiles fine C-bug Category: This is a bug.
#77 by oli-obk was closed Nov 17, 2016
1
upstream to rustc
#105 by oli-obk was closed Mar 20, 2018
12
Document necessary environment variables for use without rustup A-docs Area: affects documentation C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#106 by aochagavia was closed Jun 9, 2019
16
Bitshift overflow doesn't panic
#151 by oli-obk was closed Mar 14, 2017
1
only the outer most value is frozen in constants C-bug Category: This is a bug.
#83 by oli-obk was closed Nov 19, 2016
1
large repeat expressions don't adhere to the execution limit C-bug Category: This is a bug.
#82 by oli-obk was closed Nov 19, 2016
1
substs order of drop impl from impl and not from the type C-bug Category: This is a bug.
#133 by oli-obk was closed Feb 10, 2017
@solson
1
bad substs for tuple-like constructor function pointer C-bug Category: This is a bug.
#119 by solson was closed Apr 21, 2017
1
1
multi-argument closure virtual calls are broken C-bug Category: This is a bug.
#114 by solson was closed Feb 7, 2017
1
recursive static initialization is broken C-bug Category: This is a bug.
#120 by solson was closed Feb 8, 2017
1
2
static muts deallocate their sub-allocations, making their pointers dangle C-bug Category: This is a bug.
#118 by solson was closed Feb 8, 2017
1
5
drop in Box<Box<T>> as Box<Trait> broken C-bug Category: This is a bug.
#129 by oli-obk was closed Feb 10, 2017
1
1
miri doesn't drop values moved into closures with let _ = x C-bug Category: This is a bug.
#135 by oli-obk was closed Feb 24, 2017
1
5
fn item as closure trait object "index out of bounds" C-bug Category: This is a bug.
#111 by solson was closed Feb 7, 2017
1
fn pointer as closure trait object "bad VtableFnPointer fn_ty: fn()" C-bug Category: This is a bug.
#112 by solson was closed Feb 7, 2017
1
ByValPair <-> ByVal transmutes can cause Miri to panic C-bug Category: This is a bug.
#113 by solson was closed Jul 12, 2017
1
refactor vtables
#124 by oli-obk was closed Feb 24, 2017
1
2
wrong field access on unsized types C-bug Category: This is a bug.
#123 by oli-obk was closed Feb 9, 2017
1
11
<i32 as Foo>::ID takes Foo::ID instead of ID from the impl Foo for i32 C-bug Category: This is a bug.
#130 by oli-obk was closed Feb 10, 2017
@solson
1
moving of uninitialized memory C-bug Category: This is a bug.
#95 by oli-obk was closed Dec 19, 2016
2
Box is deallocated before drop impl is run C-bug Category: This is a bug.
#79 by plietar was closed Nov 6, 2016
3
ProTip! Type g i on any issue or pull request to go back to the issue listing page.