Skip to content
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

Jump to bottom

get cargo miri to work with a full mir libstd #338

Closed
oli-obk opened this issue Sep 14, 2017 · 4 comments
Closed

get cargo miri to work with a full mir libstd #338

oli-obk opened this issue Sep 14, 2017 · 4 comments
Labels
C-bug Category: This is a bug.

Comments

@oli-obk
Copy link
Contributor

oli-obk commented Sep 14, 2017

currently no matter what sysroot flags I pass, I still get missing MIR errors.
@oli-obk oli-obk added the C-bug Category: This is a bug. label Sep 14, 2017
@eddyb
Copy link
Member

eddyb commented Sep 14, 2017

False positives from FFI?

@oli-obk
Copy link
Contributor Author

oli-obk commented Sep 14, 2017

No, things like String methods. It's exactly what I'd expect from using the wrong libstd.

@dwrensha
Copy link
Contributor

RUSTFLAGS="-Z always-encode-mir" xargo miri works for me

@RalfJung
Copy link
Member

This is now being tested on CI so I will assume that it works.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
C-bug Category: This is a bug.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@eddyb @RalfJung @oli-obk @dwrensha