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.

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

test the unleashed Miri #67580

Merged
merged 4 commits into from
Dec 26, 2019
Merged

test the unleashed Miri #67580

merged 4 commits into from
Dec 26, 2019

Conversation

RalfJung
Copy link
Member

In particular, test what happens when we try to drop something. Cc rust-lang/const-eval#17

r? @oli-obk

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Dec 24, 2019
@@ -6,31 +6,31 @@
use std::sync::atomic::AtomicUsize;
use std::sync::atomic::Ordering;

const BOO: &usize = { //~ ERROR undefined behavior to use this value
const REF_INTERIOR_MUT: &usize = { //~ ERROR undefined behavior to use this value
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

You don't like my useless variable names? 🙃

If we'd had the _ name feature back when I wrote the test I'dve used that

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'd argue readable names are better even than _ ;)

};

// Make sure we catch executing bad drop functions.
// The actual error is located in `real_drop_in_place` so we can't capture it with the
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

you can use error-pattern on the file or whatever that comment tag is called.

But in general I think it would be useful to have //~ LABEL annotations that just check for any sub-span on an error

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

But in general I think it would be useful to have //~ LABEL annotations that just check for any sub-span on an error

That would be a new compiletest feature, right, nothing I can do now?

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

yea it was just random musings

@RalfJung
Copy link
Member Author

@oli-obk I think I addressed all comments.

@oli-obk
Copy link
Contributor

oli-obk commented Dec 25, 2019

@bors r+

@bors
Copy link
Contributor

bors commented Dec 25, 2019

📌 Commit 40b8b7c has been approved by oli-obk

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Dec 25, 2019
@bors
Copy link
Contributor

bors commented Dec 26, 2019

⌛ Testing commit 40b8b7c with merge b13d65a...

bors added a commit that referenced this pull request Dec 26, 2019
test the unleashed Miri

In particular, test what happens when we try to drop something. Cc rust-lang/const-eval#17

r? @oli-obk
@bors
Copy link
Contributor

bors commented Dec 26, 2019

☀️ Test successful - checks-azure
Approved by: oli-obk
Pushing b13d65a to master...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Dec 26, 2019
@bors bors merged commit 40b8b7c into rust-lang:master Dec 26, 2019
@RalfJung RalfJung deleted the miri-unleash-tests branch December 26, 2019 12:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
merged-by-bors This PR was explicitly merged by bors. S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants