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

Add tests for untagged unions
#92 by solson was closed Jan 12, 2017
1
immutable static with raw pointer to mutable static makes mutable static immutable C-bug Category: This is a bug.
#90 by oli-obk was closed Feb 8, 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
Box is deallocated before drop impl is run C-bug Category: This is a bug.
#79 by plietar was closed Nov 6, 2016
3
reading invalid discriminant in derived PartialOrd impl C-bug Category: This is a bug.
#78 by oli-obk was closed Nov 6, 2016
1
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
handle small optimized Option values C-bug Category: This is a bug.
#76 by oli-obk was closed Nov 17, 2016
Update miri for the latest nightly
#71 by solson was closed Nov 1, 2016
handle packed structs C-bug Category: This is a bug.
#66 by oli-obk was closed Feb 4, 2017
1
Match on char panics C-bug Category: This is a bug.
#63 by bjorn3 was closed Sep 27, 2016
Eval error with Rc C-bug Category: This is a bug.
#62 by bjorn3 was closed Sep 27, 2016
1
5
check all uses of usize and isize in miri
#61 by oli-obk was closed Nov 19, 2016 Upstream to rustc
1
running miri on rustc's test suite (run-pass) A-tests Area: affects our test suite or CI C-proposal Category: a proposal for something we might want to do, or maybe not; details still being worked out
#55 by oli-obk was closed Apr 23, 2023
46
Forbid modification of constant memory and vtables C-bug Category: This is a bug.
#51 by oli-obk was closed Sep 11, 2016
1
use StorageLive and StorageDead to allocate/deallocate stack memory C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#49 by oli-obk was closed Jun 2, 2017
5
Implement trait object vtables. C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#45 by eddyb was closed Sep 11, 2016 Upstream to rustc
Add configurable resource limits C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#37 by solson was closed Jul 7, 2016
1
1
Support floating point types f32 and f64 C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#35 by gnzlbg was closed Jul 7, 2016
1
1
add checks to the transmute intrinsic to only allow "safe" transmutes C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#33 by oli-obk was closed Jan 28, 2017
11
Use rustc's compiler error macros.
#32 by solson was closed Sep 7, 2016 Upstream to rustc
1
Implement the char primitive type. C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#30 by solson was closed Jun 21, 2016
3 tasks done
1
Memory should use the target data layout information from rustc C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#29 by solson was closed Jul 25, 2016
3 tasks done
Implement the rest of the possible casts C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#26 by solson was closed Sep 11, 2016
4 tasks done
Upstream to rustc
Handle recursive field drop and user-defined destructors C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#25 by solson was closed Feb 24, 2017
1
3
ProTip! Adding no:label will show everything without a label.